ose 0 = 156*y - 153*y - 102. Is 38 bigger than y?
True
Let k be (-163 + -3361)*2/(2*4). Which is smaller: k or -880?
k
Suppose 0 = -2*m + 1 + 5. Suppose 2*r + m*p = -23, -r - p + 6*p = -21. Let v be 12/792 - r/(-22). Is v less than 0?
True
Let x = -3 + 17/5. Let a be (1 + 0)*1/((-13)/(-13)). Which is bigger: a or x?
a
Let o = -19 + 25. Suppose -o*k + 7*k = 3. Which is bigger: k or 5?
5
Let p be 21 - (-1 - (3 - 10)). Which is bigger: -1/5 or p?
p
Let v(i) = i**2 - 10*i + 5. Let q be v(10). Let x = q + -3. Let g be -1*2*1/(-2). Is g equal to x?
False
Let a = -1782 + 1781. Are 20/159 and a non-equal?
True
Let s = -1.15 - -12.15. Is s at least 0.2?
True
Let j = 36 + -54. Let o(v) = -v**3 + 7*v**2 - 2*v - 25. Let q be o(6). Which is greater: j or q?
q
Let m(d) = -d**3 - 3*d**2 - 2*d - 12. Let c be m(-4). Suppose u - 14 = c. Is u at most as big as -2/5?
False
Let j = -31 - -31. Let k be (j - (-6)/20)*2. Is k not equal to -1/4?
True
Let c = -0.462 - -1.362. Which is bigger: c or 2/5?
c
Let x(h) = h**2 - h - 5. Let g be x(-3). Let q = -71 - -111. Suppose -q = -3*y - 2*y. Is g smaller than y?
True
Let i = -0.31 - 13.69. Which is smaller: i or 0.2?
i
Let v = 944/3 + -311. Let l = 25/6 - v. Which is greater: 0 or l?
l
Suppose 0 = -0*z - 2*z + 4*q + 32, 4*q = z - 26. Let g be 8/(-12) + 20/3. Let r = -1 + g. Is z at least r?
True
Suppose 887*p - 863*p + 24 = 0. Is -2/279 less than or equal to p?
False
Suppose 4*p + 260 = 3*v + 2*v, -v - 5*p = -52. Suppose 3*b - v = -13. Suppose 2 = 5*y - b. Do 4 and y have the same value?
False
Suppose 5*t + 2*g = t + 18, 14 = 2*t + 2*g. Let a be t*7/(-35) + (-22)/(-30). Does a = -3?
False
Suppose -3*j = -k - 12, -6*j = -j. Let g be (3/(-6))/(2/(-24)). Let p = k + g. Is p at most as big as -3?
True
Let k(y) = -y**2 - 10*y - 5. Let n be k(-7). Suppose -4*u - 16 = -n. Which is greater: 25 or u?
25
Let j = 15 + -13. Suppose -1 = x - j. Let h be (x - (-17)/(-15))*-1. Which is smaller: h or -1?
-1
Let n be ((-62)/(-155))/((-1)/(-30)). Suppose -n = 2*x - 14*x. Which is smaller: 7.9 or x?
x
Let s be -4 - ((-8)/(-4))/(-2). Let x be 12/9*s*1. Let n = 1 - x. Which is greater: n or 0?
n
Let t = -1.21 - -1.19. Let c = t + 1.02. Which is bigger: c or -3/5?
c
Suppose -3*q + 27 - 6 = 0. Suppose a - y = -0*a + 3, -2*y = a. Suppose -a*n + 49 = 5*i, 2*i + n = -0*i + 20. Is i < q?
False
Let d be 4 + ((-28)/6 - (-9)/(-27)). Which is bigger: 3/178 or d?
3/178
Let y be -1 + (2 - (2 + -1)). Let t be ((-12)/24)/(0 - 0 - -1). Which is greater: t or y?
y
Let z = 0.0919 + 5.9081. Which is greater: 55 or z?
55
Let k = 193 + -187. Suppose f + 4*w = 21, 0 = -2*w + 4 + 2. Which is bigger: f or k?
f
Let m = -91 - -155. Suppose -19 = -5*y - m. Let f = 8 + y. Which is greater: 1/17 or f?
1/17
Let x be -1 - 1 - (7 + (-21)/1). Let p = -9 + 5. Let j be -1*22/p*2. Is j at least x?
False
Let r = 12096 + -72347/6. Let i = 2867/75 - r. Is i at least as big as -1?
True
Suppose 4*b + 5*f - 80 = -20, -b + 4*f + 15 = 0. Let a be 7 - -10*(-1)/(-2). Suppose 5*x + a = 3*p + 81, 3*p = 6. Is x equal to b?
True
Let a = 540 - 539. Suppose 5*c = 5*h - 65, -5*c + 2*h - 50 = -0*h. Let o be c/6*2/(-8). Is o <= a?
True
Suppose 39*h = 35*h + 376. Are h and 94 unequal?
False
Let y be 9/(3 - 3 - -1). Let d = -11 + y. Suppose 2*n - 69 = 25*n. Is n equal to d?
False
Let x(m) = m - 1. Let j(n) = -12*n + 4. Let a(g) = j(g) + 2*x(g). Let c be a(1). Let f = 31/4 + c. Which is smaller: f or 0.1?
f
Let k be (-78)/845*300/(-18). Let r = 61/2 - 30. Which is smaller: r or k?
r
Suppose 138*s - 144*s = 0. Which is greater: 3/271 or s?
3/271
Let d = -160 + 150. Is d less than or equal to 13?
True
Let z be 5 - (1 + 2 + 0). Suppose -n - 2 = -z*q, 5*q - 6 = n + 2*n. Let a be -9 + (0 - q) + 1. Is a bigger than -8?
False
Let l(q) = q**2 - 1. Let x be l(-2). Let w = -1 + x. Let p be (-10)/(-8)*8/20. Are w and p unequal?
True
Let y be -8 + -2 - (-2 - (1 - 6)). Which is smaller: y or -22?
-22
Suppose 13*g = 8*g + 35. Let t = g + -13. Let v = -1 - 1. Is t less than v?
True
Let b = 2.54 + -2.456. Are b and 0 nonequal?
True
Let z be (275/20)/(-5) + 24/32. Which is smaller: z or -29/12?
-29/12
Let q(y) = -36*y + 70. Let o be q(7). Is -184 < o?
True
Suppose 3*w + 95 = -43. Which is bigger: w or -181/4?
-181/4
Let q be 1*(-2 - -1) + -14. Let z(x) = -x**3 - 16*x**2 - 14*x + 16. Let f be z(q). Let m = 0.04 + -0.24. Is m bigger than f?
False
Suppose 5*j - 167 = 3. Let b(m) = 283*m - 1382. Let s be b(5). Are j and s unequal?
True
Let o = 5489 - 378728/69. Is 1 bigger than o?
True
Suppose 0 = 34*u - 35*u + 5. Is u != -12/13?
True
Let y(n) = 3*n + 22. Let d be y(-8). Is d at least as big as -2?
True
Suppose 5*j - 3*q - 2*q = 5, -17 = 3*j + q. Suppose 2*b + 3*i = 6*b + 1, 2*b = -3*i - 5. Which is greater: j or b?
b
Let n = -60 - -56. Do n and 0.04 have the same value?
False
Let o(s) = 8*s - 12. Suppose 2*h = 4*i - 6 - 4, -5*i + 26 = 2*h. Let g be o(i). Which is smaller: 0 or g?
0
Let n be (-1132)/10*-2 - 20/50. Is n smaller than 226?
False
Suppose 0 = -147*d + 160*d - 6227. Is 480 less than d?
False
Let h = 2 + -4. Let s = 1.084 - 0.584. Is h > s?
False
Suppose -9 = j + 2*c + 4, 4*c + 11 = 3*j. Let p be (j/(-6))/(-1)*(-14)/(-91). Is p at least as big as 0.2?
False
Let r(q) = 3 - q + 6 + 5. Let i be r(-7). Is 21 at least as big as i?
True
Let s = -339.39 - 6.61. Let u = s + 361.1. Let h = u + -15. Which is smaller: 10 or h?
h
Let q be (-2178)/(-12)*16/(-6). Let u be q/(-66) - (-1)/(-3). Which is smaller: u or 6?
6
Let o = 16 + -12. Suppose -5*h + 6 - 26 = 0. Let a(d) = d**3 + 4*d**2 - 2*d - 6. Let r be a(h). Are r and o unequal?
True
Let i = -45 + 45.96. Let h = i + -0.04. Let o = -0.9 + h. Is -2 <= o?
True
Let m be ((-5)/2 + 3)*-2. Which is bigger: m or 0?
0
Let a = 2 + 11. Let c = 21 - a. Is c >= -2?
True
Let i = 0.465 + -2.065. Is -33 smaller than i?
True
Suppose 15 = -7*p + 10*p. Let v = 5 - p. Suppose 4*z - 6*z = v. Which is bigger: z or 3/2?
3/2
Suppose 5*t = 7*t - 4. Suppose -2*z + 2*x - 12 = 0, 3*z = -0*x - t*x - 3. Let p be ((-21)/(-9) + -2)*-10. Which is greater: p or z?
z
Let r be -1 - 115/(-105) - 8/(-14). Which is greater: r or -57?
r
Suppose 2*p - 414 = 994. Let n = 17597/25 - p. Which is bigger: n or -1?
n
Let x = 48 + -10. Let a = 268/7 - x. Which is bigger: a or -0.8?
a
Let b = 0.6 + 0.05. Let y = b + 0.35. Let k = -1 - -0.83. Which is greater: k or y?
y
Let j(h) = -h**3 - 4*h**2 + 4*h - 5. Let v(s) = -s**3 - 12*s**2 + 13*s + 2. Let g be v(-13). Suppose 5*x = g - 27. Let q be j(x). Which is smaller: 2/45 or q?
q
Let l = -0.124 + -0.246. Let b = 0.16 + -0.09. Let v = l + b. Are v and 1 equal?
False
Let v be -2 - (-6)/2 - -29. Suppose -5*m + 45 = -v. Which is bigger: 14 or m?
m
Let c = 1816/3745 + 22/749. Is 0 equal to c?
False
Let m be (4 + 84/(-27))/(-2). Let h = 0.07 + 0.03. Is m bigger than h?
False
Let w = -29 - -57. Let h = w + 1. Which is bigger: 28 or h?
h
Let b = -86341/3 - -28531. Which is greater: b or -248?
-248
Let p(b) = b**3 + 6*b**2 - 9*b - 6. Let u be p(-7). Let h be 2*(-5)/(-15)*6. Is h >= u?
False
Let n(s) = -s**2 - 5*s + 27. Let x be n(-6). Let m be (-9)/12 - x/(-60). Which is smaller: -52 or m?
-52
Let o be ((84/(-90))/(2/(-3)))/5. Let c = o - -191/300. Which is greater: 0 or c?
c
Let l = -3.16 + 0.16. Let c = 7 + l. Let b be (-14)/(-18) + (-2)/2. Which is smaller: b or c?
b
Let r(c) = c**3 + 41*c**2 + 19*c - 31. Let j be r(-40). Is 811 smaller than j?
False
Let j be (-4)/24 + 74/12. Let o = j - 12. Let h(r) = r**2 + 5*r - 10. Let q be h(o). Is q at most -2/5?
True
Let t = -134 + 2812/21. Let z = t + 79/168. Does -1 = z?
False
Suppose 4*b = 3*m + 6*b + 1, 0 = 5*m - 2*b - 9. Which is bigger: 9/97 or m?
m
Let j = 115 + -123.3. Let y = 8 + j. Let x = -87.7 + 87.9. Is x less than y?
False
Suppose 0 = -n - n - 16. Let c = n - 4. Let g = c - -14. Is -3 at least as big as g?
False
Let k be (-4)/6*(-3)/1. Suppose 0 = 4*i, 3*h + 4 = -h + k*i. Let v = -109/27 + 37/9. Is v > h?
True
Let k = 223 - 238. Are k and -15 non-equal?
False
Let s(i) = -i**2 + 15*i - 26. Let b(q) = -q**2 - 13*q - 30. Let z be b(-6). Let y be s(z). Does y = 31/3?
False
Let y = 19/29 + -299/899. Which is greater: y or 1?
1
Let z be (6 - 3) + (-76)/26. Let c(t) = -t. Let k be c(-6). Suppose 5*g - k = -11. Which is sm