ave different values?
True
Suppose -749*s = -1174*s - 1145*s. Suppose -r - 5*z = 30, -6 = 3*r - 2*r - z. Let t be 111/(-255) + (-4)/r. Which is smaller: s or t?
t
Suppose 0 = 3*b - 3*w + 15, -4*b - 3 = w + 2. Let k be 272/(-64) - b/8. Does -16/5 = k?
False
Let n = -267 - -5603/21. Suppose -15*z + 119 = 7*z + 97*z. Is z less than n?
False
Let w be (-17108)/(-1170) + 5/30 + 14/(-36). Which is bigger: 13 or w?
w
Let i = -4168 - -4167. Is i equal to 2/3149?
False
Suppose t - 1 = 3. Let p be (-3)/(-12)*t + 137. Let r be 3 - (p/(-8))/3. Which is greater: r or 0?
r
Let n be 107/105 - (-10 + 11). Suppose 0 = 9*s - 12 + 3. Is n != s?
True
Let r be (-21)/105 + (2/(-5))/((-12)/(-6434)). Is r smaller than -214?
True
Let o be (-5)/5*17/((-10)/6 + 2). Which is smaller: -81 or o?
-81
Suppose -2*j = 2*g + g - 4, 8 = -2*g + 4*j. Which is smaller: g or -0.0939?
-0.0939
Let v = -40 - -67. Let i(p) = 22*p - 1424. Let k be i(66). Which is greater: v or k?
k
Let m(g) = -g + 5. Let i be m(5). Suppose -2*t + 2*k - 170 = i, -3*t + 47 - 272 = 3*k. Is t > -80?
False
Let x = 1.6055 - 11.4355. Which is greater: x or -3?
-3
Let l be (-314604)/(-1620) - 6/5. Is l != 169?
True
Let s be (-5)/4 - ((-13379)/(-700))/(-17). Is 0 at least s?
True
Let v = -6733 - -114455/17. Let q(d) = 3*d - 3. Let s be q(2). Suppose -w - 10 = -5*n, -s*n = -5*w + 5 - 11. Is w equal to v?
False
Let b = 68 - 34. Suppose -51*x - 46*x = 14*x - 3219. Is x less than or equal to b?
True
Let s = 20106 + -4202206/209. Is s > 0?
False
Suppose -6*m = -2*m + 4, -f + 7 = -3*m. Suppose 0 = 3*k - 2*k - y + 5, -k + 5*y - 9 = 0. Let d be 2 + (k - 1) + f. Which is greater: d or 3?
3
Suppose 7 = -4*h - 9, -94 = -2*l + h. Let u be (-18)/15*((-215)/l + 5). Is 3 < u?
False
Let o be -4*8/30 + -1. Let s be (-2)/8 - (-429)/260. Let j = o + s. Is -2 smaller than j?
True
Let v = 10183.3 + -9973. Which is smaller: 3 or v?
3
Let x = 18510 + -721892/39. Is x at most 3/5?
True
Let g be (5 - 4)*34/2. Let k be g/((-102)/(-108)) + -1. Which is greater: 55/3 or k?
55/3
Let h be 2/4 + 1170/20. Suppose x - 3*o = -1, 0 = 5*x + 3*o - h + 10. Let t be ((-4)/(-3))/(0 - (-30)/162). Is x <= t?
False
Let a be 600778/150054 + (-4)/2*2. Are 0.3 and a non-equal?
True
Suppose -20*z = 41*z + 244. Let p = 32.6 - 0.9. Let x = 31 - p. Which is greater: z or x?
x
Let t(y) = -y**3 + 15*y**2 + 43*y - 127. Let n be t(21). Is -1871 bigger than n?
False
Suppose 91*k + 88*k - 156*k = -123993. Is k less than -5391?
False
Let v = -129.19 - -2.19. Let j = -127.11 - v. Let k = -6 + 8. Is j > k?
False
Suppose -o + 5*o + 523 = 5*k, -o - 208 = -2*k. Let b = -97 + k. Suppose z = 11 - b. Is z less than 7?
True
Let z be 27/(-15) - 336390/(-186925). Is z at most 1?
True
Let u = -90 + 96. Let x = -14 + u. Let a be 4 - (0 - x/(16/(-4))). Is 5 > a?
False
Suppose 68*x = 25*x - 83463. Do x and -1939 have the same value?
False
Suppose 8 = 2*j, -2*i + 364 = 2*j + 358. Let h = 4359/439582 - 2/4147. Which is bigger: i or h?
h
Let f = -163 + 165. Suppose -3*l = -f*k, 0*l + 1 = k - l. Is k less than or equal to 1?
False
Let n be (-50)/(-18) - 2 - 1. Suppose -5*j + 25 = -2*f, 3*j + 4*f - 15 = -0. Suppose o = -2*a - 3, -j*a - o = 6 - 0. Is n less than a?
False
Suppose -3*j + 3*s + 12 = -2*j, 0 = 5*s + 25. Let h(x) = 5*x - 16. Let l(p) = p + 1. Let b(c) = j*l(c) + h(c). Let y be b(9). Is y at least as big as 1?
False
Let s = 319 + 24. Let g = -343 + s. Which is smaller: g or -6/73?
-6/73
Let j = -5237/2 + 2194. Which is bigger: -426 or j?
j
Let u = 109.8 - 42.9. Let y = 3.1 + u. Which is smaller: y or 1/2?
1/2
Suppose 2*n - 88 - 260 = 0. Let t be ((-1365)/468 - (-4)/(-48))*(-3)/(-1). Let f be 3 - (t/12 - n/(-8)). Which is bigger: 0 or f?
0
Let d(j) = 164*j + 4965. Let u be d(-32). Is u < -288?
False
Let o be 0/(-3) - (-31)/31. Which is smaller: -2/885 or o?
-2/885
Suppose -648 = -22*p + 452. Let l be 1 - ((-2 - -1) + 1). Is p less than l?
False
Let u be 78*7/(154/(-1023)). Which is bigger: -3626 or u?
-3626
Let q be 6/(-36) - (1 + -1). Let k = 13.4 + -9.1. Let y = k - 5.3. Is q less than or equal to y?
False
Suppose 2*m - 5*h + 6 = 0, -3*m + 4*h + 0*h = 9. Let i be (-3 - m - 0)/(-2). Suppose 2*u + 102 = 5*u + 3*s, 2*u - 2*s - 76 = i. Is u >= 35?
True
Let k = -75721/87626 - -19/22. Does k = 4?
False
Let h = -2.39 + 2.594. Let o = h + -162.204. Which is smaller: -1 or o?
o
Let p be 498/(((-140)/5)/(-2)) - (2 - -3). Is p at most -1/4?
False
Let u = 28528 + -76520. Let d be (-4)/(-14) + u/(-3528). Is d less than 13?
False
Let j be (-20)/(-884) - 4/(-26). Let m be -5 + 5 + (-2 - (0 + -1)). Let g(o) = o**3 + o**2 + o. Let f be g(m). Which is greater: f or j?
j
Let d be (930/372)/(5/(-6938)). Which is smaller: d or -3468?
d
Suppose -5*h - s = -23, -9*h + 7*h + 3*s = -16. Let l be -378 + (3 + h)*2/(-4). Which is greater: l or -383?
l
Let k be (946/55)/((-4)/20). Is -89 greater than k?
False
Let r(l) = 2*l + 38. Let p be r(-23). Let z be 1/(7/86) - p/(-28). Let g(d) = -d + 9. Let m be g(z). Is 1 > m?
True
Let u(o) = -5*o + 7. Let d(t) = 6*t - 8. Let r(q) = 6*d(q) + 7*u(q). Let c be r(11). Let k(b) = b**2 - 15*b + 3. Let f be k(c). Which is smaller: -32 or f?
f
Let v be (-1)/4 + (-177)/(-740). Let s = -46/41263 - 30261512/22900965. Let g = v + s. Which is greater: g or -2?
g
Let r = 7200 - 7559. Which is smaller: -361 or r?
-361
Suppose -3*r + 8*r = -4*l + 86, -85 = -5*r - 5*l. Suppose 5*x - 1906 = 21*z - 18*z, 4*x - 1520 = 4*z. Let y = 399 - x. Is y less than or equal to r?
True
Let k = 266 + 190. Are 456 and k equal?
True
Suppose 28 = 9*a - 71. Let d(g) = g + 1. Let i be d(a). Is 13 greater than i?
True
Let a = 11111 - 11595. Is -486 at least a?
False
Suppose 499 = 4*k + 491. Suppose -3*a = 2*h + h - 9, -4*a + 36 = -k*h. Which is bigger: -19 or a?
a
Let h = 10 + -11. Let g = 1 + h. Let j be ((-272)/24 - -12)/((-112)/36 + 0). Which is bigger: g or j?
g
Let z = 2/3053 - 6316/320565. Let h = 14 + -12. Let s be h*2*7/28. Which is smaller: s or z?
z
Let o = 1538 - 1537. Which is smaller: 2/16761 or o?
2/16761
Suppose 0 = 22*l - 9765 - 6471. Is 2/3 > l?
False
Suppose 5*l - 5*p - 2515 = 3080, 5*p = -2*l + 2266. Is -6 less than or equal to l?
True
Suppose 0 = -49*l + 5*l - 449 - 158743. Which is smaller: l or -3615?
l
Let a be ((-2)/(-2))/(2/(-14)). Let y be (10/(-4))/(-13 - ((-99)/22 + -9)). Which is smaller: a or y?
a
Let a = 3313 - 3332. Which is smaller: a or -20?
-20
Let n = 276 + -404. Let d = n - -129. Is d at most as big as -157?
False
Let n = 19207/116739 - 19/1071. Let c = -3437/22672 + n. Is 0 bigger than c?
True
Let f be 6/(-9) - 5/15. Let m be 3982/(-627) + 7 + 5/(-6). Which is smaller: m or f?
f
Let q(j) = 4*j - 7. Let u(o) = -5*o + 8. Let r(h) = -4*q(h) - 3*u(h). Let w be r(3). Let k be (17/(-102))/(((-33)/2)/11). Which is greater: k or w?
w
Let z = -106.53 + 1688.53. Which is greater: 5/6 or z?
z
Suppose 4*g - 6 = 4*w - 7*w, 2 = 2*w + 2*g. Let q be (-19)/(-342)*32/w. Let f(m) = m**3 + 14*m**2 + 13*m - 1. Let d be f(-13). Is q at least as big as d?
True
Let f(j) = 806*j - 6. Let g be f(1). Suppose -g = -3*w + 181. Which is greater: -1 or w?
w
Let f = -109406.882 - -109520. Let g = -0.118 + f. Are -1 and g nonequal?
True
Let f = 134.061 - 134. Let i = -0.497 + -0.503. Is f > i?
True
Suppose 5*o - 619 = -2*u, 0 = 5*o - 3*u - 942 + 308. Let s = -226 + o. Is s >= -104?
True
Suppose 5 + 3 = -4*o. Let d = 318/559 - 84/43. Which is smaller: o or d?
o
Let x = 3172 - 3171.63. Which is bigger: 0.1 or x?
x
Let c = 5179 - 5159. Let m be -1*21*(0 - -1). Let g = c + m. Which is greater: g or 1/46?
1/46
Let r(n) = -n**2 + 4. Let g be r(6). Let m be (-3)/(-2)*g/3. Let d be m/(-6)*42/(-70). Are -2 and d non-equal?
True
Let r = -13/139 + -8731/278. Let k be (36/54)/((-2)/93). Are r and k unequal?
True
Let s = 216 + -212. Suppose s = -3*q + k, 0 = -7*q + 2*q - 3*k + 12. Are q and -7/13 nonequal?
True
Let w = -10 + 15. Suppose w*m - 19 = -2*g, 4*m + 5*g = 4 + 1. Suppose -6*q = -17 + m. Are 3 and q nonequal?
True
Suppose -14 = -2*o - n, -2*o = -3*o + 2*n + 2. Let l be 4 + o + -7 + -4. Which is smaller: -2/85 or l?
l
Let h be (-1 + 792/783)/(5/1770). Which is greater: 5 or h?
5
Let k = -10217 - -4924587/482. Is 1 greater than k?
True
Let l be (-4)/6 - ((-2366)/21)/13. Suppose 10*m - 228 = -l. Is m 