 Are g and w unequal?
True
Let f = -55 + 55. Let p = -613.98 + 624. Let a = -0.02 + p. Is f greater than or equal to a?
False
Let p(s) be the first derivative of -31*s**3/3 + s**2/2 + s - 30. Let n be p(1). Let u = n + 23. Is u greater than -5?
False
Let r = -72 + 105. Let v = r - 32.88. Let m = 287 - 285. Is m equal to v?
False
Let y = -0.282 + -2.198. Let k = -2.38 - y. Which is bigger: k or 1/4?
1/4
Let l be 8/32 + (-7)/(-4). Let i be -1*(-8)/(-16) + (1332/40)/9. Is i less than l?
False
Let x be 58/551 + (-3605)/133. Is -557/21 equal to x?
False
Let q be (-10)/((-40)/(-18))*18*1. Let n be q/18*(-3 - -2 - -3). Let o be 2/(-4)*-7*-2. Which is smaller: n or o?
n
Let d be (-10472)/84 - 1/3. Let r = -125 - d. Let h = 2 + 2. Is h bigger than r?
True
Let w = 6969179/20 - 348576. Let f = 117 + w. Suppose u - 11 = 32*z - 27*z, 13 = 3*u - 5*z. Which is greater: f or u?
u
Let p(j) be the second derivative of -11*j**5/120 - 5*j**4/12 - 7*j**3/2 + 13*j. Let d(w) be the second derivative of p(w). Let c be d(4). Is c at least -55?
True
Let t = -72 - -75. Let w be (318/(-9))/(1 + (-7)/t). Let p = 27 - w. Is -2/3 at least as big as p?
False
Let z = -7585 - -13635. Let w = z - 54515/9. Is -6 smaller than w?
False
Let z = 44 + -34. Suppose 3*n - 20 = 5*b, 2*n = z - 0. Which is smaller: -2/761 or b?
b
Let y be (-453)/15 + 1/(-25)*-5. Let b be (8/(-20))/(3/y). Suppose -6*c + 4*c = -b. Is c at most -0.7?
False
Let o(l) = -25*l**2 - 527*l - 41. Let g be o(-21). Which is smaller: 8/573 or g?
8/573
Suppose -b = 3*b - 2820. Suppose -7*q = -12*q - b. Do q and -142 have different values?
True
Let w = 2775.7989 - 2776. Let t = -0.0289 + w. Are 3 and t equal?
False
Suppose -10 = -5*c + 2*b, 14 = c - 0*c + 2*b. Let t(o) = 16*o + c + 8 - 15*o. Let j be t(-9). Which is smaller: j or 2?
2
Suppose 5*x + 574 + 417 = 4*a, -2*x + 4*a = 406. Let j = x - -120. Let z be j/(-20) + -1 - -3. Which is smaller: 7 or z?
z
Let v = -19 + 16.97. Let b = -0.13 - v. Let c = 4942 - 24708/5. Which is smaller: b or c?
c
Let t be 2 - (2 - 1 - 10906/133). Is t <= -1/3?
False
Let u = -253 - -246. Let n = 67 + -48. Let b = n + -25. Which is bigger: b or u?
b
Let o be 50/154 - 14*(-12)/(-924). Is o bigger than -356?
True
Let a(h) = 9*h**2 - 9*h + 7. Let y be a(14). Let p = -202334/123 + y. Is 2/5 < p?
False
Suppose 14*x = 3*x + 2684. Let v = x + -243. Let o = 4/477 + 782/20511. Which is bigger: v or o?
v
Let p(v) = 30*v - 60. Let f be p(2). Is 2/895 <= f?
False
Let y = -37865 + 37848.757. Let t = y + -3.947. Let z = t + -0.81. Which is bigger: z or 1/4?
1/4
Let u = -27 + 33. Suppose 5 = -k + u*k. Suppose 0 = -t - 0*t - 10. Which is smaller: k or t?
t
Suppose -4 + 16 = t. Let j be (0 - (-8466)/14085) + t/(-20). Let d = j - -3439/3756. Is d bigger than 2?
False
Let h = -861.67 - -4.67. Let v = h + 903.7. Let i = 3.3 + v. Is i >= 0?
True
Let d = 4265/248248 + 3/4433. Do -2/9 and d have the same value?
False
Suppose 5*k + 2*t - 23 = 56, 3*t - 81 = -5*k. Suppose 0 = k*s - 20*s + 25. Suppose -30 = 4*j - s*j. Which is smaller: 28 or j?
28
Let c = 34.09 - 228.19. Let u = 194 + c. Which is smaller: u or 1/33?
u
Let s be 6/(-14) - (-250)/518. Let b = -338/777 + s. Let k = 11/84 + b. Which is smaller: 20 or k?
k
Let q = 69 - 123. Let c = -54.08 - q. Let x = c - 0.42. Is -1/3 less than x?
False
Let o = -113 - -114. Let h be 2/((6*o/9)/3). Suppose 0 = -5*c + 5*v - 15, -2*c - h = -5*v. Which is greater: c or 0?
0
Let w(g) = g**2 - g + 17. Let o be w(-12). Let b = -112 + o. Is 61 less than or equal to b?
True
Suppose -5*v + 2*v + 6 = 0. Suppose -2*d = -r - 11, -4*d = v*r - 2*d + 22. Let m be 2/(-13) - (-222)/(-78). Which is smaller: r or m?
r
Suppose -2*j = -j - 2. Suppose 5*h = j*h - 3. Let x be 2 + 1*6/((-612)/258). Do x and h have different values?
True
Let g = 119 - 125. Let l(j) = -j**3 - 6*j**2 - j - 2. Let n be l(g). Suppose -w = n*p + 84, 0*p - 5*p + 4*w = 126. Is p less than -23?
False
Let l be (-17)/85 + (((-192344)/70)/4 - -1). Is -687 at least l?
False
Let y = -99406 - -3992542585/40164. Is y smaller than -1?
False
Let w be -2 + -2 + (-31)/(-7). Let u be (-7320)/140 + (-2)/1 + 0. Let c = -54 - u. Is c smaller than w?
True
Let c = -248 - -253. Suppose g = -4*g, 0 = 5*h - g - c. Is -8/43 < h?
True
Let k = -3142 + 4415. Which is bigger: 1274 or k?
1274
Let f = 237 - 132. Let g = -113 + f. Which is greater: -14 or g?
g
Suppose 18*s - 19*s - 1743 = 2*u, 5*s + 25 = 0. Is -869 equal to u?
True
Let k = -198 - -229. Let a = -48.5 - -48.6. Which is smaller: k or a?
a
Suppose 68 = 4*i - 4*b, -2*i + 8*b - 7*b = -31. Suppose -2*a = 5*a + i. Suppose -8 = -4*u - 0*j + 4*j, 0 = -u + 4*j + 14. Is u >= a?
True
Suppose f - 5*u - 566 + 3462 = 0, 5*u = 2*f + 5802. Which is smaller: -2907 or f?
-2907
Let t = 41 + -26. Let z be (t/(-220))/(9/16). Do z and 0 have different values?
True
Suppose -14 = 36*u - 29*u. Suppose -20 + 11 = 9*a. Is a less than u?
False
Let b be 88/594*-9*3/2. Is b not equal to -78/125?
True
Let y = -5 + 7. Suppose 0 = -0*v + y*v. Let g be 0/(((-1)/(-56)*7)/((-2)/16)). Is v equal to g?
True
Let d = -42.037 - -0.037. Let j = 675 + -675. Which is bigger: d or j?
j
Suppose 284 = -17*a - 447. Let n(q) be the first derivative of -q**3 + 7*q**2/2 - 3*q + 6. Let f be n(5). Is f smaller than a?
False
Let q = -14.34 + -11.06. Does -1/2 = q?
False
Let w = 77.7 + -62.7. Let o = -0.21 + -0.59. Let s = o + 0.9. Which is smaller: s or w?
s
Suppose -182*z = 181*z - 346*z. Does 7/648 = z?
False
Suppose -432 = 2*a + 4*a. Let h = a + 70. Let z be (h/5)/(11/(-5)). Are z and 0 unequal?
True
Let y(h) = 28*h + 14. Let m be y(-6). Let k be (-56)/m - (-2)/(-4). Let l = -578 + 578. Which is bigger: k or l?
l
Let s = -0.183 - -147.183. Let f = s - -88. Which is greater: f or 2/3?
f
Let u = 148 + -52. Let y = u + -91. Does 17 = y?
False
Let j = 58981/424 - 1113/8. Suppose -g = -4*g. Which is smaller: j or g?
j
Let y = -98 - -99. Let v be ((-344)/(-6))/((-90)/(-189)). Let k = -120 + v. Is y greater than k?
True
Suppose 2*x - 3*w + 1562 = 0, 4*x - w - w = -3132. Are -784 and x equal?
True
Let s = -18434/23 - -294829/368. Suppose 4*n - 8 = 0, -7 = -l - 5*n - 0*n. Let z be 1/(-3) + (-4)/l. Is z at most as big as s?
False
Suppose 28*r - 852 = -768. Which is greater: 70/19 or r?
70/19
Let c = 2/5269 - 2060185/15807. Let w = 20726/159 + c. Is w > 0?
True
Suppose 64*p - 356*p + 291 - 1751 = 0. Let k(u) = 2*u + 7. Let l be k(-6). Are p and l unequal?
False
Let s be (318/(-14) + 0)*-7. Let j = 473/3 - s. Is j at least -1?
False
Let m = -3411489963021 - -11800344000625798/3459. Let r = 63179 - m. Which is bigger: r or 1?
1
Let p = 8563 - 8563.35. Is 174 less than or equal to p?
False
Let a be (-70)/(-490)*4877*1/13. Let v = 380/7 - a. Which is bigger: v or 2?
2
Let w be 4 + (-99)/(-54)*-2. Let l = 1/18 + -5/18. Which is smaller: w or l?
l
Let a(c) = -c**3 + c**2 + 305*c - 898. Let i be a(3). Which is greater: i or -3449?
i
Let q be (-174)/(-9) + -13 - 3*2. Is q > 42/223?
True
Let q = 13276 - 13275. Which is greater: -2/36849 or q?
q
Let a = 0.912 + 0.088. Let d be -16*1 - 4/(-2). Let y be (-19)/d + (-6)/4. Which is smaller: y or a?
y
Let s = 1200 - 1086.1. Which is greater: s or -3?
s
Let t = -426245.797 + 426520. Let x = t - 274. Which is smaller: -0.1 or x?
-0.1
Suppose 4*v + 14 = 3*i, 0*v + 3*v + 2*i + 2 = 0. Let b be 4 + (17 - 2) + 5 + -4. Let o be (-3)/(-1) + 15/b + v. Is 2 bigger than o?
True
Let j(d) = 124*d - 4810. Let r be j(38). Let b(c) = -c - 95. Let g(x) = -1. Let m(s) = b(s) + 3*g(s). Let t be m(0). Does r = t?
True
Let p = -3/22 - -1043/66. Do -0.35 and p have different values?
True
Suppose q - 17719 = 30*q. Which is smaller: -1223/2 or q?
-1223/2
Let p(t) = 8*t - 56. Let d(q) = -13*q - 87. Let z be d(-6). Let w be p(z). Which is smaller: w or -129?
-129
Let b(z) = -54*z**2 + 317*z - 946. Let x be b(3). Is -488 <= x?
True
Let k(j) = 3*j - j**3 + j**2 - 1 - j + 0*j. Let z be k(2). Let m = -20821 + 20823. Is z smaller than m?
True
Let m be (-4)/5*(-1)/8. Suppose 5*s - 2*s = -0*s. Which is smaller: s or m?
s
Let z = 15707 + -15766. Which is smaller: -414/7 or z?
-414/7
Let c be 3*(1 + 2 - 4). Let s = 14674 - 190670/13. Let l = -681/65 + s. Is c < l?
False
Let f = -4841 - -14522/3. Is f at most as big as -9066?
False
Suppose