 46/5?
False
Suppose 8*g = -4*x + 3*g - 29, -x - 6 = g. Is -35/17 less than or equal to x?
True
Let o be 19*3*(-11)/(-33). Let a = 4 + o. Suppose a*m = 19*m. Which is smaller: m or -1/37?
-1/37
Suppose -7*k = 1001 + 259. Which is greater: -181 or k?
k
Let f = 14.1 + -14. Do -436 and f have different values?
True
Let m(k) = -3*k - 36. Let d be m(-19). Let w be (-9)/(-12)*35/d. Let c be (0 + (-1)/2)*-2. Which is smaller: w or c?
c
Let c be 14/(-2) - (-1590)/53. Which is smaller: c or 24?
c
Let g be ((-1)/(4/(-18)))/(10/(-40)). Let s = g + 18. Do 2/63 and s have the same value?
False
Let y(r) = -104*r - 11. Let m be y(1). Let a = m - -65. Is -50 < a?
False
Let h be (-9 + 4)/(2/14). Let k be (-5)/(-2)*42/h. Let q = -9 - k. Which is greater: -7 or q?
q
Suppose 0 = -f - 4*m - 4, 4*f - 8*f + 26 = 2*m. Which is smaller: -13 or f?
-13
Let g be -1 + 2 + 0 + 0. Suppose 3*z + 15 = -3*m, 0*z - 15 = 2*z + 3*m. Suppose k + z*k + g = 0. Are k and 0 nonequal?
True
Let o = 26 + -21. Suppose 2 = -2*l - o*c, 4*c = -3*l - 6 - 4. Let g = -17 - -10. Is l bigger than g?
True
Suppose -4*g + 9 + 12 = -h, -3*h + g - 19 = 0. Let y be (h/(-50))/(2 + (-15)/6). Does y = -6?
False
Let y = 45 + -48. Let l(f) = -f**3 - 4*f**2 - 2*f + 4. Let v be l(y). Is v > 2/67?
True
Let q = 734 - 733.3. Is 1/3 <= q?
True
Let w = -5 + -63. Let x = 68.52 + w. Is x at least as big as 1?
False
Let n = 0.503 + -0.533. Which is smaller: 17/4 or n?
n
Let v = 35 - 22.7. Let t = v - 0.3. Let q = -12.1 + t. Is -1/4 greater than or equal to q?
False
Let h = 7 - -19. Suppose v = -2 + 3, -4*b - 2*v = h. Let o be (-5)/b + 16/56. Which is greater: o or -2?
o
Let m = -221 + 229. Let x(i) = 3*i - 4. Let d be x(4). Is m smaller than d?
False
Let g(v) = -v + 2*v**3 - 4*v**2 + 4*v**2. Let j be g(-1). Suppose -41*k + 37*k = 22*k + 78. Which is bigger: j or k?
j
Let v = 101 + -100.7. Which is smaller: v or 24?
v
Let n = -150 + 159. Is n smaller than 35/4?
False
Let i = -0.14 + -0.06. Let q = -2363/65 - -181/5. Which is bigger: q or i?
q
Let b be (0 - 0)/(-7 + 4). Let v be 4/14 - (-2403)/(-2898). Let u = v - -1/2. Is b <= u?
False
Suppose 4117*l - 4126*l = 9. Does l = 1/280?
False
Let i be ((-4)/4308)/((104/48)/(-13)). Which is greater: 1 or i?
1
Let g be (-4)/(-14) - 38/(-63). Let q(z) = z**2 - 3*z + 3. Let v be q(1). Suppose 10 = 9*s + v. Which is bigger: s or g?
s
Let w = 31.1 + -31. Let v = -1.9 - w. Is 0.16 greater than or equal to v?
True
Suppose 0 = -z + 6 - 0. Let q be (-490)/6 - (-4)/z. Let n be (-4)/(-18) - (-504)/q. Is -5 less than n?
False
Let o = -7 - -8. Let h be o/3*720/(-64). Do h and -0.1 have different values?
True
Let y = -84 - 17. Which is smaller: y or -103?
-103
Let o(y) = y**2 + 1. Let u(f) = 19*f - 8. Let b(d) = -2*o(d) - u(d). Let z be b(-10). Which is greater: -20/7 or z?
-20/7
Suppose -u - 3*b - 12 = 3*u, 8 = -2*b. Let c be (-4)/(-22) + (-70)/22. Let k be 1 + (70/(-16) - c). Which is bigger: k or u?
u
Let c = 20486754/521 + -39322. Is 0 smaller than c?
False
Let u = 0.0588 - -0.9412. Let l be -2 - 26/(-6) - 1. Is l at most as big as u?
False
Let m = 38 + -44.9. Let h = m - -0.9. Let z = 0.6 + -0.5. Does h = z?
False
Let u(o) = o**3 - 23*o**2 - 189*o - 27. Let k be u(29). Which is smaller: k or -461?
k
Let w = -0.19 - -0.3. Let k = 6.11 - w. Let y = k - 13. Which is bigger: 2/7 or y?
2/7
Let z = 56 + -36. Let s = -16 + z. Suppose 4*w = -s*x, 2*x - 2*w + 30 = -2*x. Is -5 bigger than x?
False
Let o = 2095 + -1466. Let l = 64786/103 - o. Which is smaller: l or 0?
l
Let o be ((-1)/(-14))/((-93)/(-744)). Is o greater than or equal to 0.5?
True
Let q(p) = -12*p**2 + 2*p + 2. Let g be q(1). Is g != 2?
True
Let j = 394 - 327. Is j > 69?
False
Let w be (1 - -5)/(-3) - 10592/44. Let n = w - -243. Which is bigger: n or 1?
1
Let d(o) = o**3 - 3*o**2 + 2*o. Let w be d(2). Let k = -10157/102 - -208/51. Let a = k + 1911/20. Which is smaller: w or a?
w
Let k = -0.2 + 0. Let s = 1.2 + k. Suppose -139*f + 141*f = 0. Which is bigger: s or f?
s
Let r be 4/(-2) + 2 + 95/(-30). Let c = r - -283/78. Is 0.3 at most as big as c?
True
Let v(y) = -y**2 - 9*y - 7. Let f be v(-8). Let z be 16/((-3)/(-6)*f). Is 31 at most as big as z?
True
Let r = -1451 - -1450. Is 2/119 > r?
True
Let u = -322.32 - -322. Which is bigger: 2/7 or u?
2/7
Let b = -545/6 - -157553/1734. Are b and -1 nonequal?
True
Let r be 4/1 + (-4 + 6)*-29. Is r at most as big as -52?
True
Suppose -6 = -22*n + 21*n. Is 67/10 < n?
False
Let w be ((-1)/4)/((-120)/(-320)). Which is smaller: w or 2?
w
Let h = 389/3230 - 12/95. Is h < -1?
False
Suppose 0*i = 3*i + 297. Let f be ((-1)/(-3))/((-3)/i). Suppose -5*p + f = 1. Is p less than 2?
False
Let j be ((-22)/3)/((-2)/3). Suppose 0 = -5*g + p - 45, g + 15 = -0*p - p. Let q = j + g. Which is bigger: 1/29 or q?
q
Let t = 18 + -13. Suppose 4*o - 9 = -t*d, -3*d + 1 = 4*o - 6. Which is smaller: d or 1/3?
1/3
Let g = 1/237 - -463/2607. Is 53 at least as big as g?
True
Let h = 19 - 40. Let o = h + 20. Which is bigger: o or 8?
8
Suppose -3*j + 4*y = -0*j - 21, -5*y - 21 = -3*j. Suppose 39 = 8*v + j. Suppose -25 = v*x - 21. Which is smaller: -13/6 or x?
-13/6
Let t be -2*-2*((-53)/18 + 3). Is t at most -35?
False
Let p be -13 + 16 + (3 - (498 + 3)). Is -495 not equal to p?
False
Let h = 17 + -94. Let v = -77.02 - h. Is 1 bigger than v?
True
Let g(f) = f**3 - 13*f**2 + 12*f + 12. Let v be g(12). Suppose -14 = -v*q + 46. Which is smaller: 6 or q?
q
Let d = 858 - 788. Is d smaller than -1/5?
False
Let n(z) = -z**3 - 26*z**2 + 25*z - 44. Let g be n(-27). Is g less than or equal to 3?
False
Let q = 11.16 + -11. Let n = -18.8 - -19.8. Are q and n non-equal?
True
Suppose 8*k - 233 = 11*k + m, 5 = -m. Let o be (k/(-78))/2 - (-2)/(-13). Which is bigger: 2/9 or o?
o
Let i(a) = 33*a - 28. Let g be i(2). Are 38 and g non-equal?
False
Suppose -8 = -4*a - 0*a. Suppose -a = -4*j + 2. Suppose y = -j - 2. Is y greater than or equal to -2?
False
Let q = 0.2 - 0.3. Let m = -0.2 - q. Let x = -463.1 + 463. Is x < m?
False
Let u = -3 + 12. Let l = 2 - u. Let c = -5 - -5. Is l >= c?
False
Let n = 7 + -2. Suppose n*k + 3 = t - 41, 4*t + 4*k - 56 = 0. Is t greater than 18?
True
Let h(o) = o**3 - 2*o**2 + 2*o - 6. Let q(w) = -4*w - 8. Let r be q(-2). Let u be h(r). Let d be 4/u*45/75. Which is smaller: d or -0.22?
d
Let h = -1640/19389 - 2/843. Which is greater: 0 or h?
0
Let a be 9/(-30)*(-40)/16. Is -20 less than a?
True
Suppose 19*m = -33*m - 52. Are -6/65 and m nonequal?
True
Suppose -47*o = -43*o - 180. Is o <= 38?
False
Let x be (-1)/(-2)*-6 - (-1 - 1). Is -3/32 at most x?
False
Let v = -3.11 - 184.89. Let o = v - -207.1. Let m = o + -3.1. Is 1/4 not equal to m?
True
Let f = 3 - 5. Let g = f + 9. Let z be -2 + (-6)/(-4) - 2907/(-342). Which is bigger: g or z?
z
Let w = 346 + -331. Which is smaller: -2.8 or w?
-2.8
Suppose 3*n = 4*n - 4. Let d be 1 + (-20)/72*n. Which is smaller: 0 or d?
d
Suppose 2 = -x - t, -5*x - 12 = 4*t - 0*t. Let v = -2 - x. Suppose 42 = -v*p - 3*p - y, 2*y + 12 = -p. Does p = -9?
False
Let t be ((-24)/16)/(-1 + 0). Suppose 11 + 1 = 3*z. Suppose -4*o + 2*y - 8 = 0, 0*y - z = 3*o - y. Is o greater than or equal to t?
False
Let g be 7*(-1)/2 + 9 + -9. Let k(f) = 2*f**2 + 4*f + 2. Let b be k(-2). Suppose -5*o - 5 = -4*j, 5*j + b*o - 7*o = 0. Which is bigger: g or j?
g
Suppose 0 = -3*r, s - 5*s = -2*r. Suppose -5*w + 32 + 33 = s. Are 12 and w non-equal?
True
Let k be 6/(-2) - -4*(-6)/(-8). Suppose k = -8*g - 2*g + 220. Is g greater than or equal to 24?
False
Let j(x) = 7*x**2 - 11*x + 15. Let d(u) = 3*u**2 - 6*u + 7. Let b(r) = -5*d(r) + 2*j(r). Let m be b(9). Which is greater: m or -15?
m
Let y be (-32)/(-256) + 658/(-5136). Which is greater: y or -1?
y
Let g be 0 + (-4 - (-8241535)/3342250). Let s = g + -4/11525. Let y = -1/29 - s. Which is greater: y or 2?
2
Let v = -2.27 + 0.17. Let z = -1.9 - v. Let i = -0.69 - 0.11. Is i less than z?
True
Let r = -0.4 - -0.2. Let d = 0.1 - 0.6. Let h = r - d. Which is smaller: h or -1/2?
-1/2
Let m(x) = -5*x + 8. Let w be m(10). Let l be ((-4)/9)/(28/w). Let b be (-1)/2 - (-12)/8. Which is bigger: b or l?
b
Let v(z) = 3*z + 5. Let y(l) = -4*l - 6. Let i(c) = 3*v(c) + 2*y(c). Let n be i(4). Which is greater: n or 27/4?
n
Suppose -j - 14 = 3*o - 0*o, 4*o + j = -18. Let v be 2