-33?
False
Let u = 3 + -2. Suppose i + 2*i = -3*b, b + 3*i = -4. Which is smaller: u or b?
u
Suppose -3*r - 4*x - 4 = 0, 4*x + 0 + 4 = 4*r. Suppose -4*z = -24 + 20. Suppose -3*n - z = -4*n. Is r equal to n?
False
Let n be (-4)/(-8) - 3/(-2). Let m be 2/(11/(-3) + 4). Suppose p - 7*p - m = 0. Is p >= n?
False
Let x = 1.7 - 30.7. Let h = -28 - x. Are -10 and h non-equal?
True
Let i be 37559/(-182) + (-6)/(-39). Let n = 206 + i. Is n < -3/4?
False
Let n(g) = -10*g - 3. Let k be n(6). Which is smaller: k or -65?
-65
Suppose 5*l - 2*l = -2*r + 25, -10 = -2*l. Let d be 1*-23*(6 - r). Let m be (-4)/(-10)*(-1)/d. Is m != 1?
True
Let i be (0 - -1)/((-8)/(-264)). Suppose 0 = u - 5, i - 5 = c + 4*u. Are 7 and c nonequal?
True
Let u = -46 + 43. Is u smaller than -0.06?
True
Suppose 1731*l + 418 = 1742*l. Is l < 223/6?
False
Suppose 0 = -4*k + 5*k + 3*g - 15, -5*k + 3*g = -75. Suppose 3*r - k = 6*r. Let u be 40/(-6) - 2/(-3). Which is smaller: r or u?
u
Let x be -4 + (3 - (21 - -4)). Let z be (3/6*3)/((-24)/x). Is 1 != z?
True
Suppose -3*n = c - 12, 0*c + 4*c - 27 = -5*n. Suppose 0 = -m - c*m + a + 65, -m - 3*a = 0. Let u = -1.72 - 0.28. Which is bigger: m or u?
m
Let f = -104 + 106. Which is greater: -0.05 or f?
f
Suppose 0 = r - 2*r + 3. Suppose r - 7 = -a. Suppose -m = -2*z - 21, 33 = -a*z - 4*m - 3. Is -10 at most z?
True
Let f = 389 + -403. Is -18 at most as big as f?
True
Let q = 14 + 22. Which is bigger: q or 38?
38
Let k = 0.6 + -0.1. Let l = 46 + -47.5. Let f = l + k. Which is bigger: 0 or f?
0
Let n = -5 + 16. Let l = n - 11. Suppose 2*i + 3*i = l. Are i and -1/3 unequal?
True
Let k(c) = -c**2 - 15*c - 11. Let r be k(-7). Let v = 147 + -103. Is v != r?
True
Let m = -4.4 + 38.4. Let d = 40 - m. Is d at most as big as 2/7?
False
Suppose 5*u + 2 = -3*i, -i + 20 = -5*i + 2*u. Which is smaller: i or -6?
-6
Let h be ((-84)/35)/(1/15). Let f be (h/15)/6*-15. Let n be 0/(f/(-2) + 4). Is n >= 1/5?
False
Let t = 6.266 + 0.034. Let w = t - 5.8. Is 8 < w?
False
Let r(z) = -9*z - 6*z**2 + 13*z**3 + 6*z**3 - 20*z**3 - 12. Let c be r(-5). Suppose -1 + 5 = 4*p - 4*y, 4*y = -2*p + c. Is p >= 11/6?
True
Suppose -88 = 5*o - 18. Let y be ((-20)/o)/((-32)/(-28)). Which is smaller: 1 or y?
1
Let s = -51013 + 2856633/56. Let a = s + 13/8. Let b(c) = -c**3 - 5*c**2 + c + 5. Let r be b(-5). Which is bigger: r or a?
r
Suppose -9*m - 4 = -10*m + z, -3*z = m. Let y(x) = -x. Let u be y(-2). Suppose -u*c = -m*c. Which is smaller: -2/17 or c?
-2/17
Let r be 6*1 - (-4)/2. Suppose 0 = -3*z + 2 - r. Let c be ((-12)/(-18))/(z/(-9)). Which is smaller: 7/4 or c?
7/4
Let v = -6063 + 321337/53. Suppose 3*l - 1 = -4. Is v >= l?
True
Let d be (-129615)/(-170)*(-4)/12. Let v = d - 40/17. Let k = -251 - v. Which is bigger: k or 5?
k
Suppose 4*x - 1005 = 235. Let p be 2*(4 - 1225/x). Is 0 >= p?
False
Let j be (-18)/(-4)*(-4)/3. Let n = 12 + j. Let c be (3/(-18))/((-3)/n). Is c not equal to 0?
True
Suppose 26 = -2*i + 22. Let t be (i/10)/(4/10). Is 0 at least as big as t?
True
Let z be 31 - 25 - (5 + -1). Let q be (-43 + 40)/(0 + z/(-6)). Is q less than 4?
False
Suppose -2*k = -4, y + 13 = -2*y + 2*k. Is -11 at most y?
True
Suppose -3*z + 10*z = 56. Which is bigger: z or -2?
z
Let i = -0.88 - -6.58. Let f = i - 7. Let a = -1.5 - f. Which is greater: -0.4 or a?
a
Let s be (-2 - 1)*(-5)/100. Let o(z) = z**2 + 3*z + 13. Let d(x) = x**2 + 2*x + 9. Let j(r) = 7*d(r) - 5*o(r). Let k be j(-1). Is k at most as big as s?
False
Let l = -1.8 - -2. Is 16 at most l?
False
Let k = -50047/3696 - -284/21. Is k smaller than 0?
True
Let m be 603/(-54) + (-2)/12. Which is bigger: m or -10?
-10
Let z(s) = -2*s. Let l be z(0). Let b be 1/2 + 15/20. Does l = b?
False
Let k(s) = -161*s + 694. Let v be k(10). Is -916 smaller than v?
False
Let n = -832795/4907 - -1188/7. Do 0 and n have different values?
True
Suppose 1 + 1 = 2*v. Let y = -132 - -153. Let i be v*7*6/y. Is 0 at least as big as i?
False
Let v = -266 - -1065/4. Which is smaller: v or 40?
v
Let n = 38.024 - 0.024. Let z = -1260 + 1262. Which is smaller: n or z?
z
Let t be 11*(1 - 0)/(-1)*-2. Let a(r) = r**3 - 7*r**2 + 8*r - 7. Let j be a(6). Let s be (-1)/t*(-1 + j). Which is bigger: 4/7 or s?
4/7
Let r(a) = -a**2 + 5*a + 10. Let l be r(7). Let s be (1/(5/(-10)))/(l/(-8)). Which is bigger: -1 or s?
-1
Let i(v) = -6*v - 1. Let f be i(-1). Suppose f*y = 8*y. Is 1 less than or equal to y?
False
Let m = 1055 + -973. Is m less than 86?
True
Let z be 52 - 8/(-56)*-7. Is 3 greater than z?
False
Suppose 0 = 3*o + o - 24. Suppose 4*b - o*b + 4*g + 60 = 0, 5*b - 162 = 4*g. Which is greater: b or 33?
b
Suppose 3*p = 37 - 28. Suppose 17 = 4*v + 5*z, z = p*v - 11 - 16. Which is bigger: v or 9?
9
Suppose 4*j - 4*x = 45 - 9, 0 = 3*j - 4*x - 32. Let t be (-491 - j)/5*-1. Let h be ((-2)/3)/(11/t). Which is bigger: -7 or h?
h
Let w be 204/(-792) + 2/12. Let l = 20 - 17. Suppose a - 2 = -4*q - 0*a, -q - l*a = -6. Is q less than or equal to w?
False
Let n(o) = -o**2 + 6*o + 6. Let k be n(7). Suppose 4*u + 104 = -0*f + 2*f, -2*u + 80 = 2*f. Let p be 4/9*(-6)/f. Is p != k?
True
Let v = 3366/29575 - -2/4225. Do 1 and v have the same value?
False
Suppose 2305 + 1115 = -45*p. Which is smaller: p or -79?
-79
Let y be 30/4 - 1344/168. Which is smaller: y or 359?
y
Let c = -5 - -2. Let w = 9 + -16. Let z = 9 + w. Is c equal to z?
False
Let d be -1 + -2 - -10*(-5)/(-10). Which is smaller: d or -1/14?
-1/14
Let a(w) = -w**2 + 2*w - 38. Let v be a(0). Let z be v/5 + (-16)/40. Let o be ((-18)/z)/(-1 + 4). Which is greater: o or 2?
2
Suppose -2*g = 3*t + 13, 0 = -g + 4*t - 3*t - 4. Suppose m - 2*x + 5*x = 20, 3*x - 9 = 0. Suppose -10*u + 7 = -m*u. Are u and g unequal?
True
Let a(m) = 3*m**3 + 2*m**2 - 2. Let k be a(2). Let u be 4/k*(-9)/(-1). Suppose -4*t = 5*l - 9*l - 12, 5*t = 4*l + 17. Are u and l non-equal?
True
Let n = 788 + -944. Which is smaller: -466/3 or n?
n
Let d = 442 - 413. Is d bigger than 4?
True
Suppose 4*k = -4*j - 4, -8*k = -6*k - 3*j - 13. Let n = 1 + -1. Let g = 0 + n. Is g greater than k?
False
Let y be 4/6 + 816/153. Suppose 0 = 4*f - 57 + 17. Suppose q = -q + f. Is q at least as big as y?
False
Let s be -6*(-1)/(6/(-9)). Let t = s - -1. Let h = -19 - -11. Is t smaller than h?
False
Let p be (-611)/(-2)*(128 + -126). Is p less than -1/2?
False
Let x = 7 + -5. Suppose 2*h = -x - 2. Let o(i) = i**3 + 12*i**2 + 26*i - 10. Let g be o(-9). Is h greater than g?
False
Suppose 2*v + 7 = 3. Is v <= -9/11?
True
Let b = -98.69 - -97. Let h = -0.69 - b. Is 14/11 smaller than h?
False
Suppose -13371 - 10957 = -8*t. Let i = t - 343635/113. Is i < 1?
True
Let z(f) = -f**2 - 9*f - 10. Let t = -12 + 5. Let m be z(t). Let o be m/(-18) + 14/(-18). Is o >= 2/7?
False
Let w be (-9)/6 + (-2)/4. Let b be (0/(-10))/(4 + w + 0). Let m = 2 + -4. Which is smaller: m or b?
m
Let z = -22183/188 + 118. Let w be 766/(-14)*(-5)/(-940). Let d = w + z. Is d <= 0.1?
True
Suppose -43*t + 33*t - 230 = 0. Suppose -4*u + 4*k - 3*k - 89 = 0, 2*u = 2*k - 40. Is u less than t?
False
Let a be 4/(-20) - 264/30. Is a >= -9?
True
Let s(j) = -j**3 - 19*j**2 + 20*j - 17. Let b be s(-20). Let g = b - -19. Which is smaller: g or -2?
-2
Let u(k) = k**3 + 8*k**2 + 2*k + 11. Let c be u(-8). Let l(d) = -6*d - 5. Let t be l(c). Let n be (-45)/t - (-1)/(-5). Is -2 greater than n?
False
Let u = -65 - -24. Let p = -48 - u. Is p greater than -5?
False
Let h be 791 + (22/5)/11*20. Does 800 = h?
False
Suppose 5*r - r - 4*g + 60 = 0, 4*r = 2*g - 56. Let t = -32 - -17. Which is greater: r or t?
r
Let n = -13 - -6. Let p be (-570)/42 - (-3)/n. Let i = p + 19. Which is greater: i or 4?
i
Let z = 82.85 + -83. Which is smaller: z or -2?
-2
Let i be (-380)/(-16) - (-2)/8. Suppose -s + 5*f - i = -4*s, -f - 68 = -5*s. Let n = 6 + s. Is 19 less than or equal to n?
True
Suppose -20*k - 2*x = -21*k - 191, 0 = k + 2*x + 175. Is k less than or equal to -183?
True
Let k(s) = -s**2 - 6*s - 6. Let r be k(-5). Is 14 greater than or equal to r?
True
Suppose 3*v - 299 = 2*c - 7*c, -4*v + 2*c + 416 = 0. Suppose 3*y - 164 - 148 = 0. Which is smaller: v or y?
v
Let z(u) = -u**2 - 7*u + 4. Let q be z(-7). Suppose 2*d + 9 = -5*k, 2 = -q*k - d - 4. Let r(v) = v**2 - 13*v - 45. Let y be r(16). Are k and y equal?
False
Let w be 0*((-1)/4 - (-24)/