> a?
False
Let j(f) = 5*f. Let h(t) = -2*t**2 - 5*t + 7. Let i be h(-5). Let g = i - -17. Let x be j(g). Which is bigger: 0 or x?
0
Suppose -229*c + 225*c = -8. Suppose h + 4 = 3*h. Suppose 0 = -0*q + h*q - 10, -5*q = -3*f - 16. Is f at most as big as c?
False
Let t be (-2 + -10)/(-1 + 0). Suppose -3*q = -t, 5 = x + 4*q - 25. Suppose 0 = 2*z - 3*z + 15. Is x at most as big as z?
True
Suppose 0 = -39*f + 41*f + 24. Which is bigger: -2/65 or f?
-2/65
Let x(v) = v**3 + 12*v**2 + 28*v - 17. Let j be x(-4). Is j bigger than 2/15?
False
Let t = -122 - -86. Let o = -55 - t. Is o smaller than -19?
False
Let g = 68615 + -1166133/17. Which is smaller: 18 or g?
18
Let k(t) = t**2 - 28*t + 65. Let h be k(3). Suppose -4*j + 3*j = -3. Let s be h + (1 - 0) - j. Which is greater: -13 or s?
s
Let a(k) = -14*k - 49. Let l be a(-14). Is 147 less than l?
False
Let q = -66 + 36. Let o be q/(-99)*15/(-10). Which is smaller: 1 or o?
o
Let a = 25 + -26. Suppose 5*x - 13 + 38 = 0. Let k be (x/15)/(50/12). Which is smaller: a or k?
a
Let v(h) = -2*h**2 - 97*h - 261. Let f be v(-48). Do f and -212 have the same value?
False
Let i be (5 - 4)*(61 + 2). Is i smaller than 63?
False
Let h be (92/6)/(10/30). Let b = 41 - h. Are -5 and b nonequal?
False
Let g(x) = -x + 13. Let k be g(10). Suppose 5*f + 226 = 4*o, k*f - 5*o + 0*o + 133 = 0. Let m = f - -33. Which is smaller: m or -12?
m
Let i = -888 - -882. Which is greater: -62/9 or i?
i
Suppose 4*u - 92 = -0*u. Suppose -5*x - 27 = -b, 0 = 5*b + 2*x + x - u. Suppose 0 = 3*z - 5*f - 14, -5*z - b - 19 = 4*f. Which is greater: -4/7 or z?
-4/7
Let j = -203 + 86. Let h be 4 + j/354*12. Which is smaller: 1 or h?
h
Let z = -79 + 80. Let r be 12/(-45)*(-3)/2. Which is bigger: z or r?
z
Let w = 115.5 - -20.5. Let p = w + -133. Is -1 at least as big as p?
False
Let z = 12130/201 - 181/3. Which is smaller: z or -6?
-6
Suppose -3*a = -l + 135, -2*a + 0*a - 3*l - 90 = 0. Are a and -40 unequal?
True
Let n(s) = -s**3 - 4*s**2 + 18*s + 8. Let w be n(-6). Which is bigger: w or -490/17?
w
Let m = 37.8 + -38. Which is greater: m or 0.07?
0.07
Let g be (12/(-8))/(9/(-48)). Suppose r + 3*o = 4 + g, 4*o = -4*r + 16. Suppose -2*p - 2 = -r*p. Which is smaller: p or 0?
p
Let j be ((-850)/(-88))/(-5) + 1 + 1. Let l(v) = 2*v**2 + 5*v - 2. Let x be l(-3). Which is greater: x or j?
x
Let l = 6 - -3. Suppose -s + 2*s = -2*c + l, 0 = 2*c + 3*s - 11. Suppose -40 = -0*j + c*j. Is -9 >= j?
True
Let x be 10/(-8)*(-10)/(-5). Is x > -2?
False
Let o = 14.35 + -0.35. Let j = o + -8. Let w = 6.4 - j. Is 2 greater than or equal to w?
True
Let h = 330 + -795. Let d = h - -10697/23. Is -1 less than d?
True
Let y = 28 - 15. Let f be -3 + 0 + 416/32. Is y less than f?
False
Let a = 25141/5752 - -3/719. Is 5 < a?
False
Let y be (5 - 268/52)*-13. Let f be (4/6)/(6/9). Which is greater: f or y?
y
Let k = -0.1 + 11.1. Let b = 21 - k. Let a = 10.1 - b. Which is smaller: 4 or a?
a
Let n = -23 - -14. Let b(g) = g**2 - 4*g - 3. Let w(v) = -5*v**2 + 16*v + 13. Let r(i) = n*b(i) - 2*w(i). Let c be r(-4). Which is smaller: -1 or c?
-1
Let b be 3 - 6*822/(-4). Suppose b = 7*o - o. Let y = 2057/10 - o. Is 0.1 greater than y?
True
Let d(r) = 11*r + 18. Let b be d(7). Suppose 20*f - b = 25*f. Are -1 and f equal?
False
Let j be 2/(-10) + 5/25. Suppose j*f - 2*f = 0. Suppose 8*m = 5*m. Is f at most m?
True
Let m be 2 + 32/(-11) - 4. Let s = 347/55 + m. Is 0 less than s?
True
Let y = 19 - -21. Let a = 45 - y. Which is bigger: a or -1/6?
a
Let v = -1.794 + -0.206. Let m be 1/(-6)*-2*-3. Let k be 1/(-11)*-13 + m. Which is greater: k or v?
k
Let d(y) = y**3 - 3*y**2 - 5*y + 4. Let c be d(4). Suppose c = -5*v + j, 3*v - 4*j = v + 18. Let z be v - (-1 + (-3)/9). Which is greater: -1 or z?
z
Let r = 42614/5 - 60639716/7115. Let b = r - -11732581/64035. Let f = b + -183. Which is bigger: f or -0.1?
f
Let z(g) = g + 12. Let q be z(-6). Suppose 4 = s + q. Is s greater than -1?
False
Let x(q) = 20 - q**2 + 27*q + 0*q**2 - 34*q. Let n be x(-9). Which is greater: n or 4/7?
n
Suppose 5*x + 108 = -67. Let b be 10/x - 29/(-77). Suppose -3*t = -2*l + 4, 0 = 2*l - 4*t + 1 - 7. Which is bigger: b or l?
b
Let m(q) = 2 + 9 - 4 - q - 1. Let t be m(0). Suppose -b + 4*b + t = 0. Which is smaller: b or -1?
b
Let u(g) = 4*g**2 + 4*g - 1. Let f be u(-4). Suppose -1 = -f*v + 46*v. Which is smaller: v or -2/7?
-2/7
Let n = -35 - -1. Which is bigger: n or -2?
-2
Let k be (-10)/(((-855)/(-18))/(-19)). Let g be 7*1 - (2 + -3). Is k at most g?
True
Let f be (-10)/10 + 1*(11 + 0). Suppose -3*u + 5*u + f = 0. Which is bigger: u or -6?
u
Let l = -3/344 - 245/11352. Suppose -5*v + 15 = -3*f, -f + 25 = 3*v - 6*f. Is l bigger than v?
False
Let a(f) = 16*f - 2. Let y be a(1). Suppose y + 2 = 4*n. Is n >= 14/5?
True
Suppose 2*f = -8 - 0. Let n be (2/12)/((-119)/3570). Is f at least n?
True
Let q = 0.35 + -0.05. Let o = -10 + 15. Is q != o?
True
Let y be 1*3/(-27)*-1. Suppose -n + 2*n = 0. Which is smaller: y or n?
n
Let x(b) = -b - 8. Let l be x(-6). Let o be 5 + l + -3 + (-8)/28. Let y = -3 - -3. Is o >= y?
False
Suppose -14*x = -16*x - 2. Let u be ((-128)/(-320))/(x - (-4)/10). Are -21 and u unequal?
True
Let h(s) = -s**3 - 11*s**2 - 9*s + 9. Let y be h(-10). Suppose -2*n + 2*v = -7*n - 20, 28 = -3*n + 2*v. Is n > y?
False
Suppose -6*k + 194 - 50 = 0. Suppose 0 = -7*t + 2*t + 110. Let d = k - t. Is -14 bigger than d?
False
Suppose -52*s + 2 = 439 - 21. Let m = -11 - -2. Are m and s equal?
False
Suppose 0 = -0*j + j + 16. Let m be (48/9)/(-4)*-3. Suppose m*s - 5*r + 10 = 0, -5*s + 6 = 3*r - 0. Is s >= j?
True
Let d be 12/(-5)*(-30)/(-84). Let k = 0.5 + -0.7. Which is greater: k or d?
k
Let t(y) = -20*y - 119. Let s be t(-6). Is -1 smaller than s?
True
Let j(p) = -67*p**3 - p**2. Let y be j(1). Let x be (1 + 4 + 1)*-11 - (-12 - -15). Which is smaller: y or x?
x
Let c = 0.1571 + 0.0329. Which is smaller: -0.1 or c?
-0.1
Let v = -25 + -5. Let x be (1/2)/(10 + 2324/(-232)). Which is smaller: x or v?
v
Let x be -8 + 1*124/16. Which is greater: 559 or x?
559
Let h = 13 + -11. Let r be h - 39/(-6)*-2. Let o = r + -1. Is -13 at least as big as o?
False
Let o be ((-18)/(-8))/(1/4). Let d(z) = -z**3 + 7*z**2 + 12*z - 24. Let j be d(8). Let q = o - j. Is q >= 1/3?
True
Let x = -0.1 + 0.1. Let g be 95/(-9690)*(-4)/(-1). Is g less than x?
True
Let l = 41 + 61. Is l < 102?
False
Let g = 734 - 734. Which is smaller: 4/27 or g?
g
Suppose -2*n + 2 + 2 = -c, 5*c = -4*n + 22. Let u be 60/20 + (34/(-10) - 0). Is c >= u?
True
Let x = 232479/964 - 99/241. Are 241 and x non-equal?
True
Suppose -1607*c = -1619*c + 12. Let k = 789/11 + -166501/2321. Which is bigger: k or c?
c
Let t = 2.1 + -1.66. Let z = -0.54 + t. Is -0.17 <= z?
True
Let p = -10 - -10. Let b be -1 - p - ((-20)/15 - 3). Is b at least as big as 3?
True
Let g = -1565.97 - -1566. Is 6/13 > g?
True
Suppose -2*x = -6, -3*a = -2*a + x - 115. Suppose 3*c = a + 35. Suppose 5*i = 5*u - 3*u + c, u = -4*i + 47. Do i and 10 have the same value?
False
Let v(r) = -r**3 - 2*r**2 + 52*r + 36. Let g be v(-8). Let j = 603 + -1793/3. Which is smaller: j or g?
g
Let b = -0.1855 + 0.0855. Is 212 at least as big as b?
True
Let i = 5/3 + -101/84. Let k be ((-125)/(-35) - 3)/(-2 - -4). Let t = i + k. Is t < 0?
False
Let j = 0 + -1. Let m = 4/1265 - 2566/11385. Which is greater: j or m?
m
Let f = -0.0246 + -0.0754. Is f < 0.0454?
True
Let f = -255/7918 - -2/107. Suppose 3*v + 0*r = -5*r - 13, -2*v + 5*r + 8 = 0. Which is bigger: f or v?
f
Let k = 57 + -57. Suppose -6*f - 4*f - 80 = k. Are f and -7 unequal?
True
Let q = -367349/10455 + 527/15. Which is smaller: 1 or q?
q
Let a = -6887/4186 - -124/91. Is a not equal to -1?
True
Let w = 20425/16 - 1277. Which is smaller: 1 or w?
w
Let h = -38 - -37. Let l be h + (-142)/(-46) + -2. Let b be (-1)/2*(-1 - -1). Is b > l?
False
Let t = -381 - -387. Which is smaller: t or 19?
t
Let b be 3/6 + (-238)/(-4). Suppose -5*f - b = -0*f. Let a be (-40)/f - 6/(-9). Is a greater than 1?
True
Let l be 2/(-9) + (-76)/(-18). Suppose 3*o = -2*m + 31, -2 + 17 = 5*o - l*m. Let z(h) = 2*h - 1. Let q be z(4). Is o equal to q?
True
Let s be -2 + 3*(-5)/2955 + 2. Which is smaller: s or 0?
s
Let m = 189639 + -951376/5. Let r = -634 - m. Which is smaller: 2 or r?
2
Let k be 259/91 + -