 w. Are f and l unequal?
True
Let j be (-4)/6*-3 + -10. Let x = j - -10. Suppose x*a + 0*a - 20 = 0. Is a != 10?
False
Let b(c) = c**2 - 9*c - 64. Let o be b(17). Let v = 17 + 56. Which is smaller: v or o?
o
Let l(b) = -b**3 - 7*b**2 + 8*b - 11. Let v be 4/(((-15)/(-6))/(-5)). Let g be l(v). Are g and -8 equal?
False
Let p be 1 - (-1)/(6 + (-2 - 3)). Which is greater: 3/20 or p?
p
Let n = -0.36 - 3.04. Let k = -3.2 - n. Is k equal to 2/13?
False
Let k(q) = -q**3 - 7*q**2 - 28*q + 3. Let b(p) = p**3 + 8*p**2 + 28*p - 4. Let s(j) = -4*b(j) - 3*k(j). Let u be s(-6). Which is bigger: -7 or u?
u
Let r = -747/8 - -94. Let p = r + -59/56. Which is smaller: 1 or p?
p
Let v = 4310599971/2275 + -1894769. Let z = -2/91 - v. Which is smaller: -1 or z?
-1
Let y = -2 + 6. Suppose -4*f = -3*a + 16, -3 = f - y*a + 14. Let n be f*2 - (-12)/4. Is n >= -0.2?
True
Let a(w) = -w - 5. Let z be a(-4). Let l = -2 + 4. Let u be (z*(3 - l))/(-3). Is u at most as big as -1?
False
Let k = -0.2 - 0.6. Let i = 71.6 + -51. Let r = 21.6 - i. Is k equal to r?
False
Let k = 4.06 + -0.06. Suppose -5*s - 42 = -3*s. Let v be -3 - (-7)/(s/(-6)). Are v and k equal?
False
Suppose 0 = -n + 5*x - 24, -2*n - x - x = 12. Let g be 190/(-4)*n/45. Let y(o) = 2*o**2 + 4*o + 3. Let j be y(-3). Which is smaller: j or g?
j
Let c = 1208 + -1193. Is 3 at most as big as c?
True
Let p(r) = 16*r**3 - r**2 - 1. Let z be p(-2). Let s be (-4)/(-10)*(-70)/z. Which is greater: s or 0?
s
Let r = -521 + 559. Let b = -71/6 - -23/2. Is r <= b?
False
Let w = 31 + -34. Let s be (-50)/6 - 3/(-9). Let k = s + 4. Is k greater than w?
False
Let z = 5.2 + -6. Let l = 16.7 - 15.67. Let x = l + -0.93. Which is smaller: z or x?
z
Let q = 5/43 + 195/172. Let j be -1 + 9/(18/(-88)). Let r = -44 - j. Which is greater: q or r?
q
Let i = 575 + -1032. Let j be i/(-46) + -5 + -5. Which is bigger: j or 1?
1
Let g be ((-1*1)/((-14)/770))/1. Is 61 greater than or equal to g?
True
Let n = 1 + 0. Let a = -14 - -811/58. Is n < a?
False
Let x be ((-18)/(-35) + 24/84)*5. Let h be 138/9 - (x - (-22)/(-6)). Which is greater: 13 or h?
h
Suppose 0 = 4*s - 4*m - 128, -2*s + m + 88 = 29. Which is smaller: 25 or s?
25
Suppose -6*b + 37*b = 4836. Is -1 >= b?
False
Let j = -487 + 486.84. Is -2/3 at most as big as j?
True
Let l(z) = -2*z**2 - 4*z + 7. Let t be l(-3). Suppose 4 = -2*v + 3*v. Suppose 2*b = v*b + 3*i, b - 1 = -i. Are t and b equal?
False
Let c = -9 - -6. Suppose -3 + 15 = -3*s. Let b be s/(-14) - 46/14. Is b at least as big as c?
True
Let u = -51 - -50.97. Is -6 at most as big as u?
True
Let c(y) = -151*y**2 + 8*y - 17. Let q be c(2). Is q greater than -606?
True
Let x = -277 - -1383/5. Which is smaller: 1.3 or x?
x
Let j be (8/20*-12 - -5)*13. Which is smaller: 0.04 or j?
0.04
Let w(y) = -y**3 - 9*y**2 - 7*y - 2. Let c be w(-8). Let l be c*2/4*1. Which is smaller: l or -15/4?
l
Suppose -9 = -36*f + 37*f - 3*a, a = -f - 25. Which is smaller: f or -25?
-25
Let d be 2/5 + (-322)/(-70). Let s = d - 4. Which is smaller: s or 1/10?
1/10
Suppose -32*i + 9808 = -16*i. Is 612 smaller than i?
True
Let q(l) = 2*l - 35. Let m(z) = -1. Let a(n) = -m(n) - q(n). Let j be a(18). Which is smaller: j or 4?
j
Let k = -5 + 3. Let z be 5/(-9)*(-4 + 66/12). Which is greater: z or k?
z
Let n = 2450 - 2443. Let a be (-130)/(-14) - (-2)/(-7). Which is smaller: a or n?
n
Let y(h) = -10*h**2 + 0*h**3 + 5*h**3 - 6*h**3 - 24 - 7*h + 36. Let c be y(-9). Suppose 3 = -3*n - 18. Which is bigger: n or c?
c
Suppose 0 = q - 3*q + 8. Suppose q = -0*y + y. Suppose 0 = 3*i + i - y. Are i and 1/16 nonequal?
True
Let p = 89/7 + -1063/28. Is p greater than or equal to -26?
True
Suppose 23*i - 44*i + 47 = -37. Let a = 97 - 61. Let f be 2 - (-3)/a*-26. Which is greater: i or f?
i
Let t = 68 - 47. Let c = -47 - -26. Let p = t + c. Which is greater: 2 or p?
2
Let i = -84 - -86. Suppose -2*x + 4*k - 28 = 2*x, i*k = 0. Which is smaller: 0.1 or x?
x
Let q = 0 - -4. Suppose 20 = 4*z - 2*z - q*h, -3*z = 2*h + 10. Let t be 4 - 42/10 - (-1)/1. Is z at least as big as t?
False
Let g = -5739/35 - -164. Suppose -l = -a + 1, 2*a + 2 = l + 5. Are l and g nonequal?
True
Suppose -3*w = -5*w - 18. Let y be 0 + (-3)/(w/7). Let k be (-2)/7 + 112/49. Is k smaller than y?
True
Let r be 16/15 - (-8)/(-20). Is 390 not equal to r?
True
Suppose 2*p - 2*n = 10, -12 = p - 5*n + 3. Suppose 6*f = p - 40. Which is bigger: 5 or f?
5
Suppose 0 = -3*s - 2*b + 41, 2*s + 5*b - 35 = -s. Suppose -4*v - 5*l + 12 = 0, 0 = -2*v + 4*v - 3*l + 16. Is s < v?
False
Let f be (1 + 1)/(-10 + 12). Let v be (-2)/(0 + -19 + f). Does 0 = v?
False
Let b(h) = -h**2 - h + 67. Let d be b(-8). Which is smaller: 0 or d?
0
Let o = -127 + 136. Which is smaller: 88/9 or o?
o
Suppose 0 = 5*n + 2*y + 3, -3*n + 3*y + 2*y + 23 = 0. Let i be 3/(-20)*1047/(-495). Let v = i - 21/44. Which is smaller: n or v?
v
Let k = 73 + -63. Let g = -1.34 + 0.24. Let x = 1 + g. Which is smaller: k or x?
x
Let k be 7022/16 + (-5)/(20/(-16)). Let p = 442 - k. Is -2 < p?
True
Let p be -2 + 1 + 1 + -3. Let o(f) be the first derivative of -f**3/3 + 9*f**2/2 - 12*f + 5. Let t be o(8). Which is greater: t or p?
p
Let f = -3 + -2. Let y be 12 - (1 - (-1 + -4 + 3)). Suppose 0 = 3*h - y*h - 24. Which is smaller: f or h?
f
Let b = 13 + -13. Let o be 0/3 + 24/4 + -7. Are b and o nonequal?
True
Suppose 4*q - 144 - 56 = 0. Suppose 41*m = -1151 + 3160. Which is greater: m or q?
q
Let z be 0 + -10 - 943/(-82). Let p be (-8)/(-9)*1/4. Which is smaller: p or z?
p
Let g be (-7464)/(-616) + (-36)/(-84). Which is greater: g or 13?
13
Let c = 2 + 2. Suppose -3*h + 12 = 2*j, c*j - 3*h - 2 = 4. Suppose j*z + 4 = 2*z. Is -3 != z?
True
Let q = -452 - -1354/3. Let u = 1.9 + -2. Do q and u have different values?
True
Let p be -7 + 4/144 - -8. Is p at most 1?
False
Let p = 37 - 31. Let k be (-20)/(-6) + 12/18. Suppose y = k*y - 9. Which is greater: p or y?
p
Let u = 74/295 + -3/59. Suppose 4*w + 72 = 4*q, -21 = -3*q + 5*w + 37. Let y be (-3 - (-44)/q)/((-1)/(-4)). Are u and y equal?
False
Let b = 43 + -43. Suppose -2*v + b*v - 152 = -5*c, 0 = -3*v - 3. Is 31 at most as big as c?
False
Let s be (1/(-2))/((-28897)/74). Which is smaller: s or -1?
-1
Let a be (3 - -1 - (-4496)/4512) + -5. Is a smaller than -1?
False
Let f = -602 + 1293. Is 0.1 >= f?
False
Let z = 231 + -225. Let k(c) = -2*c - 4. Let o be k(-4). Is z greater than or equal to o?
True
Let g be ((-306)/66 + 5)/(0 + 2). Which is bigger: g or 1?
1
Let f = 466 + -2328/5. Which is greater: 3/19 or f?
f
Let f = -474 + 490. Is 2/9 <= f?
True
Let i be (-2)/8*58 + 2/4. Which is smaller: -1 or i?
i
Let v = 452.64 + -440. Let n = v - 0.64. Is -1/2 > n?
False
Let o(i) = 2*i - 4. Let b be o(4). Let m = 13 + -13. Suppose 2 = 2*g - m. Do b and g have the same value?
False
Let w = -5 - -5. Suppose -4*k = 2*y - 10, 0*y + 7 = 3*k + y. Let z be (11 - -7)*k/6. Is z not equal to w?
True
Let w(f) = -f**3 + 9*f**2 - 8*f. Suppose 0 = 5*j - 20, 5*j + 6 = 4*r - 6. Let p be w(r). Let m = 436/7 - 62. Which is bigger: p or m?
m
Let i = -553 - -555. Is i less than or equal to -351?
False
Suppose 5*n + 11 = -4*p - 2, n - 2*p - 3 = 0. Let l = -127 - -163. Let z be ((-4)/102)/(8/l). Is z greater than n?
True
Let h(j) = -24*j - 120. Let q be h(-5). Let k = -31 + 185/6. Which is greater: k or q?
q
Let p = -1300 + 1300. Is p less than -36/59?
False
Let f be -1*(-2 + 1) - 2. Let a be ((-6)/5)/(f/5). Let d be (8/12)/(a/9). Which is greater: -1/3 or d?
d
Let l = 600 - 602. Is -5/3 at most as big as l?
False
Let h = -785 + 949. Which is greater: h or 163?
h
Let i(h) = -2*h**3 - 4*h**2 - 2*h + 1. Let j be i(-2). Let o = -2 + j. Suppose -6 = -2*a + 5*v, -o*a + 3*v = -0*v - 18. Is a <= 0.1?
False
Let h(b) = -2*b + 19. Let y be h(8). Let j be (y - 0) + (-2 - (1 - -2)). Which is bigger: 6 or j?
6
Let l(j) = -j**3 - 16*j**2 + 27*j + 227. Let o be l(-13). Which is greater: -630 or o?
-630
Let b(v) = 2*v**2 - 4*v - 4. Let t be b(-2). Let d be 2/t + 2120/(-48). Let r = 27 + d. Which is smaller: -18 or r?
-18
Suppose -5*m + 1 + 24 = 0. Suppose m*z - 4 = 9*z. Is z at most as big as 1/11?
True
Suppose 2*z = 5*z + 75. Let y be (1 - (-15)/5) + z. Is -21 <= y?
True
Let d = -103 - -91. Is d greater than or equal to -2?
False
Let o be 623/77 + -1*1/11. Are o and 14 une