90 + t. Are s and -54 equal?
False
Let v = -32298 + 32298. Which is greater: v or 6/4663?
6/4663
Suppose -134*c = -139*c - 40. Let z be ((-15)/(-20))/((-6)/(-32)). Which is smaller: c or z?
c
Let s be ((-38)/(-6))/((-1)/3). Which is smaller: 8 or s?
s
Suppose -4*a - 9 = 3*u + 3, -3*a - 3*u - 9 = 0. Let d be 5 + a + (-294)/96. Which is bigger: d or -2?
d
Let x be (((-2)/(-6))/((-5093)/(-66)))/((-1)/27). Is x equal to 1?
False
Suppose -5*x - 35 = -0*v - 2*v, -2*v - x = -5. Suppose -5*f + 2 = -v*n - 33, -3*n = 4*f - 7. Suppose -5*s = -f*q - 48, 17 = 4*s + 2*q - 37. Is s != 8?
True
Let g = 0.63 - -0.14. Let p = 0.23 + g. Is -33 > p?
False
Let v = -4737/22 + 1560/11. Let o = -74 - v. Which is bigger: o or -1?
o
Let x = 224.1 - 241.3. Is x bigger than -9?
False
Suppose -17*x = -15*x + 10, 5*x = 5*f + 25685. Is -5142 at most f?
True
Let m = -1378 - -833. Let q = m + 548. Which is smaller: -0.09 or q?
-0.09
Suppose 5*u + 4*x + 12414 = -6854, 0 = -5*u + 4*x - 19292. Is u less than or equal to -3855?
True
Let o = 24 + -33. Let r = o - 13. Let m = r + 32. Is -1 greater than or equal to m?
False
Let k be (-7)/(-84)*0*1*(-2 - -3). Which is smaller: k or 3/4034?
k
Let i = -329 - -898. Suppose -22*r = -487 - i. Are r and 48 unequal?
False
Let f = -10913 + 10911. Which is smaller: f or -0.575?
f
Let s be 291 - ((-8)/(-3))/((-24)/36). Let r be 6/4 + s/(-177). Which is smaller: r or 0.18?
r
Let d(k) = -k**2 - 5*k + 41. Let i be d(-9). Let s = -116447069/174 + 669241. Let h = -33/29 + s. Is i equal to h?
False
Let l(a) = -9 - 8 + 31*a - 14*a**2 - 2*a**3 - 6*a**3 + 7*a**3. Let h be l(-16). Is h greater than 18/41?
False
Let a = -0.0053 - 93.2947. Let q = 93 + a. Is 5/11 >= q?
True
Let c be ((-1245)/(-239870))/((-762)/(-4)). Is c greater than or equal to -1?
True
Let c = -20951.617 - -20965. Let k = c - 0.383. Is k < 3?
False
Suppose -6*w = x - 2*w + 7, 0 = 4*x - 5*w + 133. Let q be (-1221)/45 + 0 + 21/(-2 + -103). Which is smaller: x or q?
q
Suppose -24 = -12*a + 16*a. Let o(b) = 2*b**2 + 12*b - 3. Let v be o(a). Are v and -6 unequal?
True
Let h = -14.4 - -14.741. Let a = 61 - 60. Is a greater than h?
True
Let b(p) = p**3 + 16*p**2 + 306*p - 30. Let r be b(-17). Is r less than -5520?
True
Suppose -3*b + 105 = 3*p, 7*b + p = 2*b + 159. Suppose 0 = -b*u + 32*u - 47. Which is smaller: u or 48?
u
Let u = -0.7 - -1. Suppose w + 303*w = 0. Which is smaller: w or u?
w
Let t = -2408 + 2362. Let n = 327.8 - 282. Let h = n + t. Which is smaller: h or 7?
h
Let i(v) = v**3 - 1. Let d(z) = 2*z**3 - 12*z**2 + 18*z - 30. Let f(t) = d(t) - 3*i(t). Let r be f(-14). Is r less than 114?
True
Suppose 236 + 853 = 9*s. Let j be ((-352)/s + 3)*(-4)/(-38). Which is bigger: 0 or j?
j
Let q(x) = -x**3 - 16*x**2 + 6*x + 75. Let y be q(-6). Which is greater: y or -2.8?
-2.8
Let t be 2 - (291080/508 + -3 + 3). Let g = 571 + t. Does -1 = g?
False
Let k = -5653 - -5729. Which is smaller: 72 or k?
72
Let i = 0.1 - 0.22. Let h = -121 + 119.88. Let v = i - h. Which is greater: -14 or v?
v
Let x(b) = -22*b**3 - 17*b**2 - 7*b + 18. Let s(p) = 10*p**3 + 8*p**2 + 3*p - 9. Let z(h) = 13*s(h) + 6*x(h). Let d be z(-2). Is 21 at least as big as d?
True
Suppose p + 1083 = 20*p. Suppose w - 1 = 0, w + 10 = -2*y + p. Is 20 >= y?
False
Suppose 4*t = t + 24. Suppose t*k = 12*k. Suppose -m - 22 = -k*m. Which is smaller: m or -23?
-23
Let p = 5 - 5. Suppose -106 = 5*j - 266 - 110. Which is smaller: j or p?
p
Let p be (14/21)/(1/3). Suppose -p*l + 44 = 2*l. Let t be 4 - (l - 3 - 4). Is t equal to 2/13?
False
Suppose -2*w + 4*w + 19 = 3*t, -17 = -5*t - 4*w. Let m = -67.53 + 62.3. Let y = m + 5.15. Which is bigger: y or t?
t
Let p(d) = -51*d**3 + 5*d**2 + 18*d + 64. Let r be p(-4). Is r at most as big as 3339?
True
Let x = -1157 + 1156. Let m(k) = -7*k + k**2 + 0*k**2 + 4 - 1 + 3. Let u be m(6). Which is smaller: x or u?
x
Let f be (-6)/(-4) - 25/200*-12. Which is bigger: f or 454/125?
454/125
Let h be (465/434)/(510/(-175)). Is h smaller than -1?
False
Let z = -397/108 - -1/108. Suppose -10*k = -8*k - 4. Let f be (-2 - (8 - k)) + 4. Is z >= f?
True
Suppose 0 = 3*d + 4*y - 101, 0*d - 4*d - 4*y + 128 = 0. Let a be 1*d*56/(-6). Is a equal to -251?
False
Suppose -360*m + 3*x + 456 = -362*m, 5*x - 176 = m. Which is bigger: m or -197?
-197
Let m be (-8)/(-14) - 57/(-152)*76. Which is bigger: 28 or m?
m
Let r = 29 + -15. Let w be (-198)/(-77) + 6/r. Suppose 0 = -w*j - 32 - 19. Which is smaller: -16 or j?
j
Let v = -55 - 59. Let k be ((-63)/v)/7*4/(-78). Do k and 1 have different values?
True
Suppose -29*i - 136 - 299 = 0. Let d be ((-27)/9)/i*9. Which is smaller: d or 3?
d
Let q = 0.201 + 0.197. Let g = 0.602 + q. Is g equal to -12/5?
False
Suppose -6*u + 1116 = 3*u. Let j be u/20 + (-4)/4. Which is smaller: j or 6?
j
Let r = 188416/77 - 2447. Let y be -2*(21/7)/(-6). Which is bigger: r or y?
y
Let j = -47 + 193/4. Suppose 0 = 313*a - 311*a - 4. Let u be 3/((-9)/3) + a. Which is smaller: u or j?
u
Suppose -2*v = -6*v. Suppose v = 10*j + 98 + 52. Let b be (j/5)/3 + 0. Which is smaller: -5/18 or b?
b
Let y(o) = -o**2 - 18*o - 46. Let d be y(-14). Suppose 0 = -d*x - 10*x + 760. Is 0.3 >= x?
False
Let f = 0.62 - 695.62. Are -1/4 and f non-equal?
True
Suppose -9 = 3*r - 54. Suppose -r*g = -4*g - 11. Which is smaller: 8/7 or g?
g
Let n(f) = 5*f + 5. Let m be n(32). Let b = 166 - m. Let j be 2 + -4 + 17/7. Is b smaller than j?
False
Let g be (16/40)/(2/1670). Let y = 2003/6 - g. Which is smaller: y or 1.6?
y
Suppose 79*u - 3 = 2*g + 76*u, -3*g - 2*u + 2 = 0. Let o be (-10)/3*(-2)/(-24). Which is smaller: o or g?
o
Let g = 122.43 + -122.48. Let p be 17/6 - 2/4. Which is greater: g or p?
p
Let y = -47.62 - -47.53. Is 86 at most y?
False
Let p = -144 + 99. Let k = 5002 - 5003. Is p greater than k?
False
Let q = -47 - -53. Let o(p) = 6*p - 20. Let r be o(q). Suppose 5*z + u - 54 = r, 44 = 3*z + u. Which is greater: 11 or z?
z
Let k = -751 + 750. Let d = 2043/7 + -92033/315. Is d less than k?
False
Let g be 66/(5*168/1155). Is 90 at most as big as g?
True
Let t(j) = 4*j + 3*j - 48 - 8*j. Let c be t(4). Do c and -52 have the same value?
True
Let x(s) = -405*s - 2835. Let w be x(-7). Which is greater: w or -2/591?
w
Let x = -1735 - -4652. Is x greater than 2919?
False
Let n = -8 + 11. Let y = 94 - 81. Let d(t) = t**2 - 14*t + 12. Let h be d(y). Which is greater: n or h?
n
Let h(u) = 658*u**3 + 3*u**2 + 2*u. Let w be h(-1). Let q = 492 + w. Is -166 equal to q?
False
Let g = -1018.8 - -1019. Which is greater: g or -2000?
g
Let r = -10694338/25 + 427704. Let j = -348/5 - r. Suppose 5*u - 10 = -2*g, 2*g - 7 = -2*u - 3. Which is greater: g or j?
g
Let d = 57 + -55. Suppose d*i - 5*c + 5 = 1, 0 = -2*i - 4*c + 14. Let w be -1 + (-6)/7 - (-6 + i). Do 0.1 and w have different values?
True
Let t = 7272235/1884 + -3860. Which is greater: -1 or t?
t
Suppose -125 = -256*j + 255*j. Let i = j - 30. Which is smaller: i or 94?
94
Let k = -95 + 107. Suppose 4*s = s + 24. Suppose s*m - k = 12. Is m smaller than 4?
True
Let p = -12 + 17. Suppose -7 = 4*w - 2*w + 3*l, w - p*l = 29. Let m = 202 + -198. Is w less than m?
False
Let h(p) = -p**3 - 5*p**2 + 5*p - 1. Let f be h(-6). Let w = f - 5. Let x = 19 + -229/12. Is w bigger than x?
True
Let p = -27708.4 + 27707. Which is greater: p or 88?
88
Let m = 0.12 + -0.1. Let z = 178.0547 - 178. Let g = z - 4.0547. Which is smaller: m or g?
g
Let f = 818.9 - 819. Is -10.92 at least f?
False
Let o = 1.1626 - -1.9674. Is -1/4 smaller than o?
True
Suppose 0 = 58*c - 18*c + 40. Which is smaller: -89/81 or c?
-89/81
Let m = -40068 - -40032. Which is smaller: m or 266/5?
m
Let q = 0.4912 + -1898.4912. Is 2/5 greater than q?
True
Let t(o) be the third derivative of 19*o**6/30 + o**4/24 - o**3/3 - 23*o**2. Let v be t(1). Suppose 5*y - 10*y = -v. Is 16 less than y?
False
Let r = 0.9872 - 1.1872. Let q = 151 - 416. Is r greater than q?
True
Let v(n) = -4*n - 61. Let c(y) = -y**3 + 5*y**2 + y + 15. Let t be c(6). Let x be v(t). Is x > -18/79?
False
Let f = 57/7 - 6562/805. Let q(c) = -c + 94 - 120 - 4*c. Let t be q(-5). Which is smaller: t or f?
t
Let t = -72 - -72.4. Let a = 0.2 + -0.5. Let n = a + t. Is n greater than 23?
False
Let p = -11430 + 11154. Which is smaller: p or -19?
p
Let h = 506 + -34. Suppose 146*w - 1