ave different values?
True
Suppose 0 = 4*p - p. Let s(f) = f**2 + 115*f + 943. Let c be s(-106). Are p and c non-equal?
True
Suppose 2*x + 2*s + 16 = 7*x, -22 = -5*x - s. Suppose -w - w = 5*h, -x*w + h = 0. Suppose 2*z - 4*d + d + 4 = w, 0 = -z + 2*d - 2. Which is bigger: z or -52?
z
Let g be (-27)/(-18)*6704/(-8)*(-9 + 3). Is 7542 bigger than g?
False
Suppose 834704 = -160*a - 1618847 + 447951. Which is greater: -12534 or a?
-12534
Let f be 3/36*6*-10*(-4)/(-50). Which is smaller: -843.6 or f?
-843.6
Suppose -k + 8 = 4*j, 2*j + 3 - 7 = -2*k. Suppose w + j = -5*c + 4*c, 5*w = 2*c + 11. Which is smaller: 21 or w?
w
Let t = 45/17 - 3358/1275. Suppose -6*v = -5*v. Suppose v = -0*g - g - h - 2, -4 = 4*g + 2*h. Is g >= t?
False
Let y be ((-210)/285)/7 + (-170)/(-171). Which is smaller: y or -37?
-37
Let g be (4/(-8))/((-1)/78). Let r = g - 587/15. Let l = -8/15 + r. Is l less than -1?
False
Let t(h) = -h**3 - 5*h**2 + 9*h + 15. Let z be t(4). Is -59 less than or equal to z?
False
Let q = -104.5 + 1.5. Which is smaller: q or 16?
q
Suppose 4*g - 2*p = 12, g + 5*p = -g - 6. Suppose -46 = -0*w + g*w. Let o be (w/2)/(6/(-12)). Does 23 = o?
True
Let t(q) = -7*q + 13. Let l be t(2). Let u be ((-2)/(-2))/l - 1826/(-1958). Is u greater than or equal to 0?
False
Suppose 3902 = -134*r - 49698. Which is smaller: -396 or r?
r
Suppose 0 = -13*j + 17*j + 4*k + 16, 4*k = -12. Is j <= 1/893?
True
Let x = -30 + 44. Suppose i + 11*g - 6*g - 28 = 0, -2*i + 4*g = 0. Let d be 3 + -5 + x/i. Which is smaller: d or -2/21?
d
Let x(f) = 3*f + 58. Let u be x(-5). Suppose 196 = -u*c - 6*c. Which is smaller: 6/7 or c?
c
Suppose -2*q = 4*i - 0*q + 1610, 0 = -3*q + 9. Let h be (-4)/10 - (i/10 + 4). Suppose 2*s = -5*z - h - 30, 5*s - 24 = z. Is -12 at most as big as z?
False
Let j(p) = -7*p**3 + 164*p**2 - 66*p + 20. Let u be j(23). Which is smaller: 87 or u?
87
Let p = 12600 + -12570. Let k = 13 - 8. Let r = k + p. Are -1 and r nonequal?
True
Let x = 26412259/395363 - 2739/41. Which is bigger: -0.1 or x?
x
Let o be ((-40)/25 - -2)/((-4)/8). Let l = 0.11 - -5.89. Which is greater: o or l?
l
Let d = 37.52 - 39.52. Which is smaller: 64.4 or d?
d
Let p(c) = c**3 + 8*c**2 - 32*c - 73. Let t be p(-11). Let x be ((-8)/5150)/(t - -82). Which is bigger: x or 0?
x
Let z = 769 + -692. Suppose -z*j + 9 = -68*j. Which is smaller: 5/77 or j?
5/77
Suppose -3*z - 6 = -4*g, 11 = -0*z + z + 3*g. Let c be (z/3 + 140/(-204))*-9. Let d be (2/5)/((-7)/5). Which is greater: d or c?
c
Suppose -14*q - 2*q = -98*q - 27060. Which is smaller: -297 or q?
q
Let d be -6 + -16 - 2*-2. Let h be (16/(-1))/((-22)/(-22)). Is d > h?
False
Let s be (-2)/(-6) + 1600/60. Let t = -20 + s. Suppose -t*n - 3 = 18. Are -12/7 and n non-equal?
True
Let t(m) be the third derivative of m**4/12 - 10*m**3/3 + 17*m**2. Let w be t(16). Suppose w = s - 4*s, -3*d = -s - 4. Is -6/29 at least d?
False
Let a = 4319 - 4278. Which is bigger: a or -0.117?
a
Let p = 6795 + -6904. Which is bigger: p or -441/4?
p
Let y(p) be the third derivative of 7/2*p**3 + 7*p**2 + 0*p - 1/4*p**4 + 2. Let c be y(6). Is c at least as big as -16?
True
Suppose -39*d + 580 = -395. Is 704/27 > d?
True
Let p be (-8)/2 - 177903/(-2121). Let v = -559/7 + p. Is -1 bigger than v?
False
Suppose 3*z - 42*s = -45*s + 38310, -38280 = -3*z + 3*s. Is 12764 at least as big as z?
False
Let z = 24.02 - -6. Let j = 0.02 - z. Let h = 30.2 + j. Which is smaller: -6 or h?
-6
Let c = -69187 - -623291/9. Is 68 greater than or equal to c?
True
Suppose 0 = 2*m + 2*w + 1192, -4*m - 16*w = -11*w + 2390. Is -587 bigger than m?
True
Let c be ((-1)/(-2))/(2/(-12)). Let i(d) = -d - 6. Let o be i(c). Suppose 457*t - 66 = 424*t. Which is bigger: o or t?
t
Let j(v) = 4*v + 66. Let r be j(0). Let g = r - 65. Let k = 44/7 - 6. Which is smaller: g or k?
k
Let m be (0 - 2 - -2) + 13/(-182). Let y = 0.09 + 0.01. Which is smaller: m or y?
m
Let x(r) = -r**3 + 10*r**2 + 3*r + 29. Let l be 3*238/105 - (-1)/5. Suppose -3*a + 28 = -k, -a - 4*k + 11 + l = 0. Let o be x(a). Which is bigger: 57 or o?
o
Let q = 140 + 236. Let g = -206 + q. Suppose 0*n - 5*n - g = 0. Is -33 less than n?
False
Let j = -121 + 130. Let m be (15/18)/(21/j - 2). Let t(x) = -x**2 + 3*x + 2. Let u be t(3). Which is smaller: u or m?
u
Let g = -17 + 2. Let o = -11 - g. Suppose -m = -o*r, 0*r - 3*r - 30 = 3*m. Are m and -8 equal?
True
Suppose s = -3*r + 2034, -2*r + 859 = -s + 2898. Let g = s + -67241/33. Which is greater: g or -2?
g
Let o be (-746051)/(-138) + 15 - (26/12 + -2). Is o equal to 5420?
False
Let n = 9105/7 - 1301. Let j = 41 - 41.01. Which is bigger: j or n?
j
Let i be 68/18 - 48/(-216). Suppose 63 = -i*x - 5*p, -22 = x - 10*p + 5*p. Which is smaller: x or -103/6?
-103/6
Let g be (-354)/14 + (3 - 95/35). Let b = -23 - g. Let l be (169/(-39))/(b/(-7 + 1)). Which is greater: 51/4 or l?
l
Suppose 85 - 99 = -14*u. Let p = 10 + -9. Let s be p/4 - (-1547)/(-5964). Is u <= s?
False
Suppose -3*u + 2*t = 9, 12 = -u + 5*t - 4. Is 2/2315 <= u?
False
Let j = 73/4 + -18. Suppose 13*o - 23*o = 2970. Let r = o - -585/2. Is j equal to r?
False
Suppose 0 = 2*h - 2*y + 14 - 90, -4*y + 48 = h. Let j = h - -19. Are j and 60 nonequal?
True
Let d be (((-475)/228)/(-25))/(6/(-16)). Which is bigger: -3/1214 or d?
-3/1214
Let y = 5 + -3. Let r(m) = -2*m - 95. Let z be r(-50). Which is smaller: z or y?
y
Let c be (-1027)/26*-12*2. Suppose 4*r - c = -0*r. Suppose 0 = -3*f + 3*t + r, -3*t - 396 = -5*f - 5. Do f and 77 have different values?
False
Let i be -3 - (6/3 + -7). Let w(c) = -9*c + 1. Let a be w(i). Suppose -p - 7*h - 25 = -2*h, -3*h - 36 = 2*p. Is p smaller than a?
False
Suppose 167*t = 191*t - 120. Suppose 656 = -t*l + 661. Is l != 150?
True
Let d(q) = -298*q**3 - 2*q**2 - q + 1. Let b be d(-1). Let c = b - 595/2. Is c != -10/13?
True
Let k = -25348 - -25347. Is 12/305 not equal to k?
True
Suppose 9 = w + 2. Let b(u) = 7*u - 87. Let g be b(w). Which is smaller: g or -39?
-39
Let y = 8426 - 8491. Is y bigger than -34?
False
Suppose 0 = -0*a + a - 3. Suppose a*h - 2*o = 36, 4*h - o - 31 = -4*o. Let d be (0 + h/85)*1/2. Is d at least as big as 0?
True
Let j = -37090711/30 + 1236502. Let a = 145 - j. Let f = a + 13/60. Is f greater than 3?
False
Let c be (-8 + 4)/4*(-6 - -4). Suppose 2*t = b + 9, c*b + 22 = -48*t + 53*t. Let a be (-2)/7 + (-267)/(-910). Is a greater than or equal to b?
True
Let k = -77171/66 - -4215/22. Is -979 bigger than k?
False
Let v = 160/3 + -54. Let q = 21793/18690 + 2/3115. Is q not equal to v?
True
Suppose 2*l - 2 = 4*r + 5*l, 2*r = 4*l + 10. Let j be 1 + -70 + r/5. Let p = 69 + j. Is p <= 0?
False
Let x(q) = q**3 - 2*q**2 - 2*q. Let y be x(3). Let r be ((-1)/5)/((-6)/(-18))*-5. Suppose -3*w - r*p = -7*p - 19, -w - 5*p = 0. Which is bigger: y or w?
w
Let z be (-15132)/873*(-3 - (0 + 0)). Is -0.024 greater than z?
False
Let p = -69 + 173. Let r = -103.7 + p. Which is greater: r or 0.09?
r
Let a = -759/4 + 195. Let j be ((-99)/66)/((-1)/(-8)*-3). Is a less than j?
False
Let o(h) = -328*h + 1111. Let t be o(12). Which is smaller: -2824 or t?
t
Suppose -a - 4*a + 2*s + 29 = 0, 2*a - 4*s - 18 = 0. Suppose c - 76 = a*c. Let i be (-23 - c)/(68/(-14)). Are i and 0 non-equal?
True
Let k be (-1202)/(-30) - (-82)/(-123). Let x = -75 - -113. Which is smaller: k or x?
x
Let v be (12/15)/((-2)/(-10)). Let w = 2092 + -2056. Suppose -v*h = 4*r + w, -3*r + 2*r + 5 = 0. Is h < -63/5?
True
Suppose -65*f = -27*f - 18 + 56. Is 15.31 at most f?
False
Let y = 75033 + -75618.131. Let j = 585 + y. Which is smaller: j or 1/4?
j
Let s(o) = 2*o**2 - 7*o. Let a be s(3). Let p be (4 - 5037/(-42)) + a. Let q = p - 121. Is 0 > q?
True
Let b be ((-504)/100)/(-7) + (-2)/5. Let s = b - -77/150. Suppose 6 = 4*o - 3*h + h, 1 = h. Are o and s non-equal?
True
Let m = -2465 + 2466. Is 16.46 smaller than m?
False
Let i = 82 + -80. Suppose -4*g = 20, 0*g - i*g - 13 = -b. Suppose 0*o = 3*t - o + 31, -b*t = -3*o + 27. Is t smaller than -15?
False
Let m = 0.797 + 0.003. Let h = 26.8 - m. Let z = 0.09 + -0.19. Are h and z non-equal?
True
Let r = -348 + 221. Which is smaller: -131 or r?
-131
Let l = 87 + -72. Suppose 0 = 2*r - 2*k + 6, l = -3*r + 4*k + k. Let p be 2 + r - 62/28. Which is greater: 1 or p?
1
Let s(p) = 5*p**3 - p**2 - 9*p - 26. Let y be s(9)