eater than v?
False
Let a = 1252 + -652. Do 599 and a have different values?
True
Let t = 317 - 225. Suppose -18*c - t = -14*c. Let z = c - -26. Is z less than 1/7?
False
Suppose 4*u = -2*u + 48. Suppose -v - 73 = 5*d, 3*v - u*v = 5*d + 405. Is v at least as big as -84?
True
Suppose -37*g - 3*j = -34*g + 1413, 2*j = 2*g + 934. Is g less than or equal to -469?
True
Let l be (26 + 8)*(-3)/2. Let s be 0 - 1 - (48 - -3). Are s and l equal?
False
Suppose -12 = -4*u + 8. Suppose -u*q + 9 = -2*q. Let r(j) = -8*j + 6. Let g be r(q). Is -18 greater than g?
False
Let o = -8 - -20. Suppose 0 = -o*i + 15*i. Let s be -4 - (i/4 + -3). Is s equal to -1/3?
False
Let s(i) = i**3 + 13*i**2 - 14*i + 17. Let p be s(-14). Let v(m) = -m**2 + 17*m + 3. Let f be v(p). Let x(w) = -3*w + 5. Let o be x(f). Is -4 bigger than o?
False
Let x(a) = -10*a + 40. Let s be x(4). Is 2/923 not equal to s?
True
Let u(o) = 7*o**2 - 2*o - 4. Let k be u(-2). Suppose 6*w - 2*w = k. Which is bigger: 3 or w?
w
Let g = -3 - 8. Let x = -10 - g. Suppose 2*p + 0*p + 3*c - 5 = 0, 3*p = 4*c - x. Is -1/5 smaller than p?
True
Suppose -4*q - 2*a = -458, -q - 4*a = -0*q - 125. Which is smaller: q or 337/3?
337/3
Let a be (-54)/21 - ((-24)/(-7) - 4). Let j = 15 + -23. Is j at most a?
True
Let p = 258 + -254. Do p and 96 have the same value?
False
Let x(t) = -27*t**3 - 10*t**2 - 21 + 50*t**3 - 6*t - 3*t - 22*t**3. Let l be x(11). Which is smaller: 1/12 or l?
1/12
Suppose -5*i - 53 - 50 = 3*y, -5*y - 209 = -i. Is y at most -42?
False
Suppose -14 - 4 = -18*q. Which is bigger: q or 10/59?
q
Let o = -95.36 + 99.36. Let w = 2 + 3. Let u = -8 + w. Is u > o?
False
Suppose -111*j = -89*j - 418. Suppose 4*l + 0*l = 68. Is l greater than or equal to j?
False
Let t(q) = 2*q + 13. Let h(o) = o + 6. Let a(y) = -5*h(y) + 2*t(y). Let b be a(-6). Let w = -2795/6 + 467. Is w at most b?
True
Let d be (-6)/(-10) + (-12)/(-30). Let j = 1/332 + -49/2490. Which is smaller: j or d?
j
Let k be (-6)/4*(-72)/378. Is 0.9 at most as big as k?
False
Suppose -w + 0*s = 3*s + 7, 12 = 4*w + 2*s. Suppose w*a = 2*u + 9, 2*a + 8 = 4*u - 9*u. Is u bigger than -6?
True
Suppose -216*w = -223*w - 497. Which is smaller: -494/7 or w?
w
Let v(n) = -7*n**2 + 3*n + 2. Let q be v(-2). Let l be (q/20)/(28/(-10)). Let t = 0 + 0. Which is smaller: l or t?
t
Let y = 25 + -49. Let s = y - -30. Which is greater: 19/3 or s?
19/3
Let n(f) = 6*f - 9. Let i be n(-9). Let q be i/(-2)*(-56)/21. Let y be q/(-91) + (1 - 2). Which is smaller: -1 or y?
-1
Let w(y) = -y**3 + 3*y + 2. Let c be w(3). Suppose 5*v = -21 + 1, 0 = 4*a - 5*v - 12. Let k be (-4 - -2)/(a/(-16)). Is c at most as big as k?
True
Let z = -4883 - -53807/11. Is 9 >= z?
True
Let v(m) = 13*m**2 + 6*m - 12. Let n be v(2). Let y = -73 + n. Is -43/2 >= y?
False
Let z be -1*(2 + 1) - (-76 + 113). Which is smaller: -41 or z?
-41
Let d = 10885 + -10886. Let w = -7/16 + -1/8. Which is smaller: w or d?
d
Let n = -50 - -53. Suppose -10 = -2*a + 3*o - 6*o, n*a - o = 4. Which is greater: -8 or a?
a
Let r = 209 - 208.952. Is r >= -1?
True
Let g = -4 - -4.1. Let x = -0.9 - g. Let b = -9.2 - -2.2. Is b greater than x?
False
Suppose -8 = 4*o + 4*x, 4*x + 8 = o - 2*o. Suppose -f - 12 = 3*d + 2*f, -4*d + 5*f = -20. Is d at least o?
True
Let h = 313/10 - 134/5. Suppose -22 + 67 = 9*m. Which is smaller: m or h?
h
Suppose -3*i - 3*p + 45 = 0, 5*i - 5*p = -4*p + 87. Let w(j) = -46*j - 2. Let k be w(-2). Suppose -k = -6*f + f. Is i greater than or equal to f?
False
Let w = -53723 + 12624943/235. Let h = 4/141 - w. Suppose 2*t + 2*t = 0. Are t and h equal?
False
Let s = -26 + 25.8. Let t = 0.15 - 15.15. Let c = -15.5 - t. Is c at most s?
True
Let i = 2986 - 9040/3. Does -27 = i?
False
Let j be (-3 - -1) + -16 + 205. Suppose -3*q - j = 23. Are q and -69 nonequal?
True
Let o be (-1 - ((-72)/28 + -6)) + -7. Let u = -0.09 - 0.91. Which is smaller: o or u?
u
Suppose 16 = 2*v - 10. Let n(o) = o + 3. Let y be n(9). Is y equal to v?
False
Let j = 33 - 35. Let r be (-17)/(-14) - ((2 - j) + -3). Suppose 0 = -0*s + s. Is s != r?
True
Suppose -x + 3 = 4*b - 4, 13 = 3*x + 4*b. Let q be (-4 - (x + 530/(-76)))*-2. Which is bigger: q or -1?
q
Let z(x) = 2*x**3 + 37*x**2 - 21*x - 38. Let o be z(-19). Which is greater: -1 or o?
o
Suppose -3 - 14 = 3*l - 2*p, 2*p - 2 = 0. Suppose -3*h + 15*h = -36. Is h greater than or equal to l?
True
Let s = -0.1679 + 23.2679. Which is smaller: s or 3/4?
3/4
Let n(g) = 2*g - 5. Let y be n(-11). Let i = y + 27. Let q be 2/(-39*(3 - 2)). Which is smaller: i or q?
q
Let f be ((-20)/550*-11)/((-1)/(-80)). Is -3/2 != f?
True
Let h be 3 - ((-2 - -1) + (-41 - -3)). Let g = h + -376/9. Are g and 0 unequal?
True
Let l = 19.2 + -19.3. Does l = -2/37?
False
Suppose 8*a = 7*a - h + 7, a = -4*h - 5. Suppose -5*b + a = -3*o - 6, 0 = 5*o + 4*b - 21. Are o and 5/4 equal?
False
Let v be 2/4 - (-4)/8. Let u = -143695/7 - -76877371/3745. Let s = u - 4/321. Is v not equal to s?
True
Let w be (-2)/(32/(-46))*-2. Let g be (19/2 - 9)*(-50)/4. Let z = w - g. Which is bigger: 0 or z?
z
Suppose -2*o + 521 - 5 = 0. Are o and 259 equal?
False
Let j = -0.071 - 0.029. Let d = j - 0.9. Is d bigger than -14?
True
Let o = -0.228 + 4.348. Let v = -0.12 + o. Which is greater: v or 1/5?
v
Let g = -311.6 + 311. Is -3 at least as big as g?
False
Let a be 4 - 3/(9/(-6)). Let y be 64/a*(-33)/(-6). Let x = 58 - y. Which is smaller: 3/5 or x?
x
Let b(i) = 4*i**2 + 43*i - 22. Let w be b(-10). Is w at least as big as -45?
False
Let q be 12228/22 - 12/(-66). Is q less than or equal to 556?
True
Suppose -2*i + 3 = 5*o, 9 = 3*i + 2*o - 1. Suppose -y = 2*f - 0*y, 4*f + 8 = -i*y. Suppose 0 = -5*l - 1 + 6. Is l greater than f?
False
Let o be (-1)/((-25)/(-7))*(-20)/70. Let t = 7 + -8. Are o and t nonequal?
True
Suppose -2*r + 16 = 4*d - 2, -5*d - 5 = -3*r. Let n = -6 + 14. Let j be 3/((-30)/(-16))*4/n. Is j greater than d?
False
Let j = 134 + -386/3. Is 6 at least j?
True
Suppose -117 = 5*r - 107. Suppose -4*a - 5 = -2*v - 1, 4*v - 8 = -2*a. Which is smaller: a or r?
r
Suppose 3*r - 14 = 37. Suppose -3*m + 2*w = 6*w, -2*m + w = -11. Suppose 4*h + m*p = -0*p + 72, 5*h = -2*p + 84. Do r and h have different values?
True
Let u = -2/33 - 95/66. Let w(y) = y**3 + 4*y**2. Let k be w(-4). Suppose 3*h - 2*p - 5 + 1 = k, 3*h = 4*p + 14. Is h < u?
True
Let i = -0.7 + -35.3. Let r = i - -35.43. Is r bigger than 0.1?
False
Let x = -416771/454 + 918. Is x at least as big as -1/2?
True
Let g = 57 - 87. Let p be (-7 - -6)*1442/(-7). Let l be p/g + (-8)/10. Which is smaller: -8 or l?
-8
Let k(i) = i**2 + 4*i - 7. Let m be k(2). Let g be (-1 + 1)/(-1 - 1). Suppose m*w + 7 = j - g*j, 5*j = -5*w + 5. Which is smaller: w or -5/7?
w
Let b = -534 + 516. Is b smaller than 1?
True
Let c = 275 + -307. Is -32 equal to c?
True
Let i = 1426 - 1424. Which is greater: i or -0.047?
i
Let l(f) = f**2 - 149*f + 294. Let y be l(2). Which is smaller: -2/3119 or y?
-2/3119
Suppose -9*d + 3*d - 24 = 0. Let k = -608/3 - -200. Is d smaller than k?
True
Suppose -2*a - q + 14 = 0, -a - 2*a + 11 = -q. Suppose -2*b = -b + 99. Let k = b - -102. Which is smaller: a or k?
k
Suppose 16 = 4*i, -4*a - i - 7 = -3. Let t be (2 + (-1 - a))*1/2. Let p = 5 + -8. Do t and p have the same value?
False
Let c = -4 - -4. Suppose c = l - 5*l + 80. Let g be l/(-30)*(-1)/(-1). Is 0 at most g?
False
Suppose 0*h + 5*h = 5*b + 10, 0 = -2*b - 3*h - 24. Let g be ((-8)/b)/((-26)/(-234)). Is g at most 11?
False
Let l(b) = -b**3 + 4*b**2 + 5*b - 1. Let t(o) = o**2 + 7*o - 9. Let q be t(-9). Suppose y + 4 = q. Let g be l(y). Which is greater: g or 2/15?
2/15
Let u = 488.943 - 489. Does u = -7?
False
Suppose -2*a - 24 = -5*a. Let j = a + 2. Let m(f) = f**2 + 7*f + 9. Let b be m(-7). Which is bigger: j or b?
j
Let t = 1 - -4. Let g = t + 0. Suppose 1 = g*o - 4*j, -4*o - 3*j - 2 = 22. Are o and -4 unequal?
True
Let g be ((-6)/(-9))/(2/(-12)). Let t be 1*(g - (-3 + 127)). Let a be ((-24)/t)/(6/4). Which is smaller: a or -1?
-1
Let f(u) = -u**3 - 5*u + 10. Let c be f(2). Is -3/14 greater than or equal to c?
True
Let x = 1 - -8. Let k(l) = -2*l - 26. Let v be k(-10). Let w be v/4*10*(-10)/15. Is w at most as big as x?
False
Let z = -12.03 - -12. Let d = -6.03 - z. Let v = -2 - d. Which is bigger: 1 or v?
v
Let m be (-5