*s + 207*s + z. Are s and 3/34 nonequal?
True
Let m = 107 + 0. Let v = m + -119. Let c be 5*-2*v/20. Which is bigger: c or 2?
c
Let o(y) = 21*y**2 + 54*y + 720. Let f be o(-15). Which is smaller: f or 4636?
f
Let w be (-31)/((-868)/357) - 15. Let t = 2 + -1.9. Which is bigger: t or w?
t
Suppose -5*r - 67 = v, 3*v = -3*r + 5*v - 35. Suppose 3 = -40*u + 35*u - d, 0 = 5*u - 2*d - 6. Which is smaller: r or u?
r
Let g(q) = -7 + 2*q**3 - 56*q + 10*q**2 + 58*q - q**2. Let b be g(-4). Which is smaller: b or -2/33?
-2/33
Let y(i) = -i**3 - 10*i**2 + 25*i + 6. Let z be y(-12). Are -112 and z equal?
False
Suppose -8*j + 66 = 14*j. Suppose 4 = f - 5*d - 0*d, 3*f + j*d = -6. Are -13/14 and f unequal?
True
Let p = 2603 + -2601. Is -388 at least p?
False
Let y be (4 + (-60)/18)*-2286. Which is bigger: -10678/7 or y?
y
Let c be 3*(28/(-12) + 3) + -2. Let y = c + 22. Let k = y + -25. Is -4 > k?
False
Let n = 15803/3 + -5267. Which is bigger: n or -0.0698?
n
Let p = 188 - 167. Suppose p = -3*j - 6. Which is greater: -10 or j?
j
Let b(m) = 5 - 21*m + 9*m - 21. Let k be b(-5). Let f = 627 + -583. Is k less than or equal to f?
True
Let f = -32.92 + -0.08. Let d = -14.2 + 45.2. Let l = f + d. Is -2.7 equal to l?
False
Let b = -845 - -592. Let o = b - -254. Which is smaller: o or 2/61?
2/61
Let k(m) = m**3 - 3*m - 7*m**2 - 12*m**2 - 12 + 15*m**2. Let r be k(7). Suppose -34 = 2*n - r. Is n at most 39?
False
Suppose 32*c + 37*c = 1 - 1. Does c = 2/8173?
False
Let h be (-20)/15 + (-55)/(-21) + -1. Let f = -104/85 + 14/17. Are f and h non-equal?
True
Let h be (((-2)/15)/(80/(-100)))/((-1)/2). Are 23.8 and h unequal?
True
Let q be (36/(-27) + 1)*0. Which is bigger: q or -389?
q
Let b = 2394 + -2402. Do 0.609 and b have the same value?
False
Let n = -7222 + 7174. Is -530/11 >= n?
False
Let d be 8/(-10) - (-10388)/560. Let w = d + -3345/188. Is w less than or equal to 0?
True
Let n be (70/(-175) - (-2306238)/(-411830)) + 3 + 3. Are 1 and n non-equal?
True
Suppose 11*y = 14*y - 5*h - 3450, -5760 = -5*y + 5*h. Let f be (-2337)/y - 4/14. Let r = f - -12/5. Is r >= -3/2?
True
Let y = 716581/2457924 + -178/609. Are 1 and y unequal?
True
Let x = 1/10181 + -4815631/183258. Is x at least -27?
True
Let a = 23 - 22. Let c be (-1)/22*8/10. Which is bigger: a or c?
a
Let r = 8.3 - 8.83. Let j = 81 + -81. Let m = j - r. Which is greater: m or -1?
m
Let o = 15901 + -16167. Are -24 and o equal?
False
Let f be (-2)/4 - (-13962)/52. Which is bigger: f or 2?
f
Let q be -1 - (0 + -6 - 2). Let x be -8 + q + -5 + 2. Let j be 1*(32/100)/x. Which is greater: 1 or j?
1
Let w be (44 - -26)/(4/(-124)). Is w bigger than -2168?
False
Let n be (-105 - -4)/(-1*1). Let v = 29337 - 29238. Which is bigger: n or v?
n
Let d be ((-11)/26)/(2/48). Let f be -1 - (10 + (1 - 1 - (77 + -76))). Is d bigger than f?
False
Let a be ((-22400)/1405)/(-4) - 4. Is a greater than or equal to 1?
False
Suppose 9*m = -7*m + 80. Suppose 0 = -5*i + 5*x - 115, m*i - 34 = 8*i + 4*x. Which is smaller: i or 0?
i
Let u = -3.1 + 6.1. Let w = -2.2 - -4.98. Let n = 0.22 + w. Is n less than u?
False
Let z = 7841/3 + -2613. Which is bigger: -30 or z?
z
Let z be -2*(3 - (-18)/(-4)). Let m be (260/(-88) + z)*3560. Let p = -162 + m. Which is smaller: 2 or p?
p
Let n be 12/(-8)*1362/(-9). Let o(r) = 236*r**2 - 10*r + 1. Let t be o(1). Is n less than or equal to t?
True
Let l = 111129/2 + -55564. Let p = 27.21719 + -0.04719. Let c = p + -27. Is l less than c?
False
Let x = -32217 - -19063. Let y = x - -66333/5. Let l = y - 113. Is -29 not equal to l?
True
Let g(h) = -11*h**2 + 136*h - 124. Let s be g(1). Let a be (-2 - (0 + -1))/236. Which is smaller: a or s?
a
Suppose 2*k - 3*a = 37, -4*k + 5*a = 3*a - 62. Let s be (1*-1)/((-10)/40). Suppose 3*l = s*r + r - 87, 2*l + 23 = r. Which is smaller: r or k?
k
Let a = -45 - -48. Suppose -5*k + 6*k + 4 = a*h, 0 = -h + 3. Let x be (-1 + -6)*(0 - 1). Which is bigger: k or x?
x
Let a = 220 + -222.396. Which is smaller: a or 1?
a
Let b = 70636/39 + -8565/13. Let x = 1190 - b. Are 39 and x nonequal?
True
Let j = -137034936685/174 + 787553897. Let f = j - -6421/2. Do f and 0 have different values?
True
Let u be (83697/92*(-4)/(-6))/((-4)/(-16)). Which is greater: 4851/2 or u?
u
Let h be (6/(-4))/((-36)/96). Suppose -f - 12 = -h*f. Suppose f*a = -t + 12, -12 - 3 = 5*t - 5*a. Which is bigger: t or -4?
t
Suppose 2541 - 957 = 18*o. Is o > 78?
True
Let w be (-3 - (-4 - 27))/(-1). Let o = w + 34. Let g be 33/(-26) - (-9)/o. Is g greater than or equal to 1?
False
Let d = -97 + 206. Let b = d + -109. Which is bigger: b or -119?
b
Let o be (-2 + (-12)/(-4 + 8))/(-1). Suppose -3324 = -11*n + o*n. Is n <= 554?
True
Let b(p) = -p + 35. Let g be (-6 + 5 + 2)*(-5 - -1). Let h(o) = 2*o - 70. Let u(w) = g*h(w) - 7*b(w). Let m be u(11). Is 23 not equal to m?
True
Let r be 1 - (-183)/(-56) - (-5)/(-20). Let x = r - -13/56. Which is bigger: -2 or x?
-2
Let d(b) = -5*b**2 - 5*b + 3. Let w be d(2). Let n = 33 + w. Let p be (-5)/(-12)*(2 + n). Which is smaller: p or 2?
2
Let h be 1*-1 + (-471568)/63720. Let x = 1/1593 + h. Is -7 less than x?
False
Let u(t) = -t**3 - 6*t**2 + 1. Let b be u(-6). Suppose 17*f - 90 = 7*f. Suppose 20 + f = 29*q. Do b and q have different values?
False
Let i = -223786 + 6938082/31. Is i at most as big as 22?
False
Let s be (-624)/(-3*(-30)/(-36)). Let d = 250 - s. Let z be -1 + -1 + 24/10. Are d and z nonequal?
False
Let b(v) = 80*v + 1627. Let o be b(-22). Which is greater: -930/7 or o?
-930/7
Let d = 8.903 + -9.103. Which is greater: d or -2686?
d
Let c = -243.7 + 241. Let d = -9 - -37/4. Which is smaller: c or d?
c
Let w = -4574 - -4575. Does w = -88/19?
False
Let g = -20 - -80. Let m = 66.6 - g. Let r = -46.1 + 46. Is r less than m?
True
Suppose -3*i = -3*k - 53 + 32, 0 = 5*i + 2*k + 7. Which is bigger: 6/197 or i?
i
Suppose 5*t - 66 = m, m - 2*t = -5*t - 42. Let u = 7.453 - 3.453. Which is smaller: m or u?
m
Let k = 6744 + -6743.9. Is 260.4 != k?
True
Let r = -26/5 + 27/10. Let a be 0/(3*(-4)/(-12)). Let l(x) = -7*x - 4. Let t be l(a). Which is greater: r or t?
r
Let c = 67576 - 38610. Which is greater: 28965 or c?
c
Let x = 32552/5 - 6490. Suppose -7*a = -18*a + 220. Is a at least as big as x?
False
Let s = -102.7 - -205.6. Let o = -18.9 + s. Which is greater: o or 1/2?
o
Let c = 1.537 - 711.537. Let j = 699 + c. Is -4 not equal to j?
True
Let r(k) = -k**3 + 16*k**2 + 130*k + 66. Let z be r(-11). Is 1903 greater than or equal to z?
True
Let v = 297 + 1750. Let d = -857695/419 + v. Is 1 > d?
True
Let w be 2/44 + 346270/4092. Suppose 208 - 36 = 2*b. Are w and b non-equal?
True
Let a be 225/(-108)*15 - (-2)/8. Let i = -72 - -44. Is a != i?
True
Let b = 6582 - 125027/19. Is 1 smaller than b?
True
Suppose 6966*u - 6987*u + 51198 = 0. Are u and 2436 non-equal?
True
Let a = 142 + -92. Suppose -104*k = -109*k - a. Suppose 4*i + 37 = -3. Is k less than or equal to i?
True
Let z = 434.56 + -422.7. Which is greater: -1/3 or z?
z
Suppose 29*j - 28*j = -5*b - 11, 3*j - 4*b = 5. Are j and 635 equal?
False
Let g = 916285/4 + -230690. Which is greater: g or -1618?
-1618
Let t(g) = g**2 + 5*g - 19. Let p be t(-10). Let z(s) = -4*s + 14. Let q be z(6). Let h = q + p. Is h < 21?
False
Let s = -713 - -712. Suppose 18 = 3*c + 9. Suppose c*z = 2*h - 0*h - 16, 5*z + 4*h + 34 = 0. Is s greater than or equal to z?
True
Let q = 98.6 + -73.28. Let z = q - 25.1. Which is smaller: 1 or z?
z
Let p = 115 - 125. Let q be 14 + p - (-38 + 0). Let u = -51 + q. Is u less than or equal to -2?
True
Let g(f) = 5*f + 75. Let r be g(-15). Let y be -214 + 7 - -1*(r - 2). Is -209 > y?
False
Suppose 9*d - 39 = 6*d. Suppose -12*t - t = -65. Suppose -x = -2*s - 6*x + 12, 3*s + t*x = d. Is 2 greater than s?
True
Let d = -15 + 30. Let k(n) = 38 - 4*n + 65 - 87. Let b be k(0). Which is bigger: d or b?
b
Let d = 496362782/7465 - 66492. Which is bigger: d or 1?
1
Let f = 996.899 + -931.34. Let w = f - -0.441. Which is smaller: w or 1?
1
Let i = 2723 - 2826. Is i > -101?
False
Let v be (-21 - (-1209)/62)*(-2)/(-3). Is 8/205 not equal to v?
True
Let q(d) = 120*d**3 - 4*d**2 + 2*d + 1. Let f be q(1). Suppose -17 - f = -17*v. Let i = -2 - -4. Is v less than or equal to i?
False
Let o = -4676 - -303936/65. Which is greater: o or -1?
o
Let g be