ost as big as 1/248?
True
Let j(u) = -47*u**2 + 8. Let d be j(4). Let x = 2182/3 + d. Let o = x + 16. Which is smaller: -1 or o?
-1
Let d = 20 + -47. Let n = -30 - d. Let w = n - -4. Which is greater: 0.6 or w?
w
Let d = -0.0182 - -1.0182. Is 48.2 at most as big as d?
False
Let p = 9 - 20. Let f be 64/5 - p/55. Which is greater: 35/3 or f?
f
Let q(s) = s**3 - 5*s**2 + 2. Let z be 3/6 - (-9)/2. Let m be q(z). Let l = 3.73 + -2.73. Which is bigger: m or l?
m
Suppose 31*r = 41*r - 1260. Which is greater: 121 or r?
r
Let v(f) = 4*f**2 + 60*f + 3. Let n be v(-15). Which is smaller: 95 or n?
n
Let m = 15 - 11. Let i be 265/(-20) + 1/m. Is i smaller than -3?
True
Let i be 8/52*(0 + -6). Let w be (-16)/(640/30)*(-16)/(-6). Is i greater than or equal to w?
True
Let z be 24/54*6/(-44). Suppose -i - i + 4 = b, 5*i + b - 10 = 0. Suppose -2*j - 2 - 9 = p, -2*p + i*j = -8. Is p not equal to z?
True
Suppose 22*r + 400 = 12*r. Do -40 and r have different values?
False
Let j = -2/111 - -115/222. Is j smaller than -5.7?
False
Let q(l) = l + 11. Let s be q(-10). Let r be -1 + s + -1 + 327. Let k = r - 1951/6. Which is smaller: k or 0?
0
Suppose 0 = -2*g + 5*m - 256, -22*g = -21*g - 3*m + 127. Are g and -131 nonequal?
True
Suppose 4*i + 5967 = i. Let g be i/(-7)*(3 + -4). Let j = -285 - g. Which is smaller: -1 or j?
-1
Let u be -364 - (1 + (10 - 7)). Which is bigger: -370 or u?
u
Suppose 78*c - 108 = 74*c. Let p = -133/5 + c. Which is bigger: p or -1?
p
Let u(q) = -q - 2. Let p = 3 - 5. Let g be u(p). Let x be (-5)/4 - ((-6321)/(-168))/(-43). Which is smaller: g or x?
x
Let l = 23.405 - -0.195. Let u = -21.1 + l. Let g(z) = -z - 1. Let d be g(0). Which is greater: u or d?
u
Let z = -883/9 - -98. Let d be (-4)/(-2) + 2*1/(-1). Which is smaller: d or z?
z
Let t = -0.359 + 0.959. Is -40 <= t?
True
Let n be (6/48*4)/(2/(-1)). Is n < -56?
False
Let g(w) = 4. Let c(m) = m**2 - 1. Let l(z) = 20*c(z) + 5*g(z). Let j be l(-1). Let v = 24 - j. Which is smaller: 5 or v?
v
Let h be (-42)/(-273) + (-15)/13. Let v(p) = -p**3 + 6*p**2 - 4*p - 4. Let j be v(6). Let c = 533/19 + j. Which is smaller: c or h?
h
Suppose 0 = -2*p + 10, 4*p = a + 2 + 7. Let f = 80 + -70. Is f not equal to a?
True
Let v = 4 + -4. Let f = 1 - v. Suppose -27 = -2*m - 3*m + 3*z, -2*z = 2*m + 2. Which is smaller: f or m?
f
Let c = 7738.6 + -7739. Suppose 0 = -4*g + 4*x - 12, 2*x + 7 + 15 = -5*g. Is c >= g?
True
Let q(m) = -m**2 - 5*m + 4. Let t be q(-5). Suppose -t*j - j - 26 = -3*h, 0 = -5*j - h - 18. Which is bigger: j or -6/11?
-6/11
Let w = -1378.9 - -1379. Let u = -51 - -19. Is u greater than w?
False
Let z be (-66)/(-135) + (-9)/15. Let r = 25.5 + -27. Let l = r + 0.5. Is l less than z?
True
Let v(b) = 2*b**3 + 24*b**2 - 3*b + 5. Let y be v(-10). Which is bigger: 436 or y?
436
Suppose -4*m + 5*b = -330, 0 = -4*m - 0*b - 2*b + 344. Suppose -5*c + m = 230. Are c and -30 nonequal?
True
Let l be 0 - (4 - 0 - 8). Suppose p + l = -4. Let d be (-20)/p*(-12)/(-250). Is d > -1?
True
Let w be (-112)/(-2)*(5 + (-243)/45). Is -23 not equal to w?
True
Let h = 5 - 3. Let i be 1 + -5 + (-4)/(2 + 0). Let k(c) = -c**2 - 5*c + 10. Let b be k(i). Which is smaller: b or h?
h
Let q = 2.54 + -104.54. Let c = 103 + q. Are -98 and c equal?
False
Let x be (-75)/(-10)*4/6. Is x greater than -6?
True
Let m be ((-15)/(-10))/(6/(-4)) - 71. Which is smaller: -0.1 or m?
m
Let v(b) = -b**2 - 4*b + 7. Let a be v(-5). Suppose 6*r - 280 = a*r. Let w be (-4)/14*r/(-10). Is 2/3 > w?
False
Suppose 0 = -0*h + 2*h. Let n = 1613 + -24194/15. Which is smaller: h or n?
h
Let h(y) = -y**3 - 3*y**2 - y - 1. Let a be h(-3). Let w(z) = -244*z - 239*z + 2*z**3 - 2 + 484*z + 1. Let u be w(a). Which is smaller: u or 16?
16
Let n be (6*15/27)/(3/15). Is 17 at most n?
False
Let k = -2812 - -2813. Let z = -3 - -2. Let l be (z/(-12))/(2/20). Is k at least as big as l?
True
Let b = 2308 - 30023/13. Which is greater: 0 or b?
0
Let g = -6/19 - -181/152. Suppose 4*w - 3*x + 0 = 23, 0 = -4*w + x + 13. Which is bigger: w or g?
w
Let t = -9504 - -9399. Suppose -2*f = -3*b - 0*f - 314, 5*b + f = -532. Is b >= t?
False
Let r(k) = -3*k + 6. Let h be r(3). Let n be -5 + -222*h/6. Does n = 107?
False
Let h = -9.28 - -9. Let t = h - 34.72. Let n = -26 - t. Is 1 equal to n?
False
Let s(u) be the third derivative of -u**6/120 + 17*u**5/60 - 3*u**4/4 + 10*u**3/3 - 9*u**2. Let k be s(16). Is k > -12?
False
Let g be (3 + 9/(-3))/(16 + -20). Which is bigger: 2/437 or g?
2/437
Let b be 271/2 - 9/18. Let d = b - 12017/89. Suppose 0 = -3*z + z. Do d and z have the same value?
False
Let z = -83.06 + 82. Let s = -84.06 - z. Is s not equal to 0?
True
Suppose 3*s = -4*l + 10, 3*s = s + 5*l - 24. Let r(a) = a + 2. Let p be r(-3). Does p = s?
False
Suppose -10 = -2*v - 0*v. Suppose -4*w + a - 120 = v*a, 5*a + 10 = -w. Let j be w/172 - (-3)/12. Which is smaller: j or 0?
0
Let p be (-1)/4 - (-57)/4. Let g = -2 + p. Suppose 0 = 2*u - 2*s + 16, 3*s + g = -5*u - 4. Is u not equal to 0?
True
Let u = -1754 + 1890. Which is smaller: u or 135?
135
Suppose -3*h - 4 = h. Let z = 1421 + -58258/41. Do z and h have the same value?
False
Let y(v) = 2*v**3 - 2*v**2 - v + 2. Let p be y(1). Let f(s) = -40*s**2. Let o be f(p). Let i be (6/(-28))/((-30)/o). Which is greater: i or -0.02?
-0.02
Suppose 0 = 4*b - 2*i - 0*i + 54, -2*b - 30 = -4*i. Which is smaller: -12 or b?
b
Let b(g) = -g**2 - 6*g + 9. Let a be b(-4). Suppose 21*o = a*o + 16. Suppose -2*i = -o*i - 2. Is -2/5 greater than i?
True
Let c = -80 - 40. Let d = c + 66. Which is smaller: d or -1?
d
Let w = 5003673/11578 - -36/827. Let d(a) = 71*a + 6. Let q be d(6). Let z = w - q. Is -1 smaller than z?
True
Let s(n) = 31*n - 155. Let h be s(6). Is h at least 37?
False
Let o = 93.7 - 94. Which is bigger: 25 or o?
25
Let u = 2492 + -2492.01. Which is bigger: 2/11 or u?
2/11
Let u be (-56)/(-50) + -2 + 1. Let g(v) = 7*v + 148. Let a be g(-21). Which is smaller: u or a?
u
Let t = -0.3747 + 0.1447. Is -10 at least t?
False
Let k(a) = -a**2 - 5*a + 3. Let v(t) = -t**2 - 9*t + 5. Let u(p) = -11*k(p) + 6*v(p). Let n be u(1). Let y = 75/238 + -1/34. Which is smaller: y or n?
y
Suppose 0 = 4*a - 5*c - 0*c - 54, -a + c = -14. Let t = a + -20. Let u(g) = g**2 + 6*g + 4. Let r be u(-4). Is t not equal to r?
False
Suppose 4*i = -3*d - 164, -2*i + 2*d - 4*d - 84 = 0. Is -38 >= i?
True
Let q be 9/(-12) + (-127)/(-266). Let u = q + -1/76. Let v be ((-4)/(-2))/(-2) + 5. Is v < u?
False
Let o = 3.8 + 1.2. Let l = o - 6. Let q = 54.5 - 55. Is l at most q?
True
Let x(d) = -8*d**2 + 41*d + 236. Let c be x(-6). Is -298 < c?
False
Suppose 0*s + 60 = -s. Let l be (-15)/s - 94/(-8). Suppose 0*z = -4*z + l, 3*f = -z + 30. Is f less than or equal to 9?
True
Let v = -278 - -126. Which is bigger: v or -153?
v
Let x be 6/(-1*3/(-2)). Suppose -3 = -l - 2*z, -6*l + l + x*z + 15 = 0. Which is smaller: l or 8?
l
Suppose 2*q = 2698 + 3198. Let r be (-8)/20 - q/(-20). Suppose 79 = 3*n + 4*g, 5*n - g = -0*g + r. Is n equal to 28?
False
Suppose -3*x = -2*q + 296, 2*x + 0*x = -4*q - 176. Which is bigger: x or -97?
x
Suppose 4*f - 18 = -p - 0*f, -3*f + 12 = 0. Let u be (-1*p)/((-2)/(-8)). Let r = -9 - u. Are -3/4 and r non-equal?
True
Let z(q) be the second derivative of -11*q**4/6 + 9*q. Let f be z(-1). Which is smaller: f or -21?
f
Let b = -100 + 64. Let h = b - -49. Is h < 13?
False
Suppose 13 = 3*f + 2*t - 6, 0 = -3*f - 5*t + 25. Suppose -f*p - q + 4*q = 20, 2*p - 3*q + 17 = 0. Which is smaller: p or -4?
-4
Let l(h) = 5*h**2 - 4*h + 12. Let j(z) = -14*z**2 + 12*z - 35. Let m(y) = 4*j(y) + 11*l(y). Let f be m(9). Which is bigger: -52 or f?
-52
Let g(f) = -f**2 + 3*f - 18. Let w(m) = -2*m**2 + 5*m - 36. Let k(y) = -5*g(y) + 3*w(y). Let h be k(0). Let r = -19 - -2. Which is bigger: h or r?
r
Let j = 0.063 + 0.937. Let c = j + 2. Is c at most as big as -13?
False
Let i(s) = -12*s - 156. Let u be i(-13). Are 14/39 and u unequal?
True
Let d be 0/1 + (-6)/(-105). Let v(l) = l**3 - 7*l**2 + l. Let c be v(7). Let n = c + -6. Is d > n?
False
Let b = 46 - 45.951. Let a = 3.951 + b. Is a bigger than 4?
False
Let z = -2.1 - -6. Let h = 0.1 + z. Let o = 787/1582 - -2/791. Which is smaller: h or o?
o
Let i be 2 + ((-2)/83 - 2). Suppose -2*p - 4*g + 10 = 0, -2*p - 7 = -p - 2*g. Is i > p?
Tr