: y or 2?
y
Suppose 119*a = 127*a + 8. Is a >= -2/761?
False
Suppose 86 = -5*t - 29. Suppose 19*p = -49*p - 1632. Which is greater: t or p?
t
Let k = 2193 + -2191. Let z be (-1)/(-20) + 0 + 0. Is k at most as big as z?
False
Let l be (-1)/(-2) + (-5)/(1 - 6). Let k(n) = n. Let q be k(2). Which is smaller: q or l?
l
Let n = 514 - 530. Let y be -5*4/(12/9). Is n > y?
False
Suppose -3*r = -266 - 106. Suppose -2*x + r = -0*x. Let w be -4 - (-2)/28*x. Is -0.1 <= w?
True
Suppose -15*u - 360 = -21*u. Let m be (3/u)/((-3)/(-12)). Suppose 0*i + 4 = 4*i. Is m at most as big as i?
True
Let x = -1/72 + -113/2232. Which is bigger: x or 0?
0
Let d = -4.97 - -5. Suppose 0 = -2*c - 9*c + 77. Let u(n) = -2*n + 12. Let w be u(c). Is d equal to w?
False
Let j = -761815 - -14470611/19. Suppose -4*d + 0*d = g + 818, 1024 = -5*d - 2*g. Let c = j - d. Is 0 bigger than c?
False
Let k be (1 + (1 - 3))*-3. Suppose o + 1 = 0, -k = 4*l + 2*o - 1. Let i(p) = p**2 + 6*p - 1. Let m be i(-6). Which is greater: l or m?
l
Let o = 8 - 8. Let t be 1*24/14 + (0 - 1). Which is smaller: t or o?
o
Let x(w) = -w**2 - w + 1. Let l be x(-2). Let p = -37 + 17. Let s be 68/p + 6/3. Is s at most l?
True
Let x = 7.03 + -5.63. Does x = 4?
False
Let z = -219/19 - -7574/95. Suppose -340 = 227*w - 222*w. Let h = z + w. Is h at most as big as 0.2?
True
Let b = -0.065 + -1.935. Let s be 6/(-1)*(-1)/8. Which is bigger: b or s?
s
Suppose 4*b - 33 = b. Let m be -1*7 + -12 + 24 + -13. Let c = b + m. Does c = 3?
True
Suppose -4*v = -3*z - 34, -2*v + 27 - 45 = 2*z. Let m be ((-12)/(-30))/(4/z). Let a = -0.3 - -0.5. Which is smaller: a or m?
m
Let x = -974 + 1072.4. Is -2/5 at most as big as x?
True
Let g be (-2)/(-12) - (10 - 1588/(-24)). Which is bigger: -72 or g?
-72
Let f = -19.4 + 35.3. Let a = 16.28 + -0.28. Let v = a - f. Which is smaller: v or -1/5?
-1/5
Let c = 1.4 + -0.6. Let a = -14 - -13.7. Are a and c unequal?
True
Suppose -13 - 7 = -2*n. Let l = 19 + -32. Let v = l + n. Is v <= -0.1?
True
Suppose 19*d - 33 = 52*d. Is d >= -26/21?
True
Let g be 35/30*(-5)/(-140)*4. Is 3/2 <= g?
False
Let z(p) = p**2 - p + 2. Let l be z(0). Suppose -o + 0*o = -4. Suppose -2*n - l*n = o. Which is bigger: -3/4 or n?
-3/4
Let q(f) = f**3 + 6*f**2 + 7*f + 7. Let x be q(-6). Let m be (4*(-1)/(-5))/((-40)/100). Let w be (-6)/x - m/5. Is w smaller than -1/4?
False
Let t(a) = -8*a - 5*a - 7*a - 3*a. Let d be t(-1). Which is greater: 24 or d?
24
Let y = 1.8866 + 0.1134. Which is bigger: y or 2.71?
2.71
Let c = -0.46 + -24.54. Is 4 <= c?
False
Suppose -3*m - u = 14, -2*m + m - 5*u = 0. Let c be (-1250)/(-975)*(-6)/m. Are 2 and c non-equal?
True
Suppose 7 = b - 4*k - 0*k, -k - 4 = 0. Let z be 184/180 + 2/b. Let v = -2600 - -2602. Which is smaller: v or z?
z
Let b = 1774/5 - 356. Let l be (76/57)/((-2)/(-27)). Let u = 16 - l. Which is smaller: u or b?
u
Let p = -282 + 282. Is p less than -3/229?
False
Let a be 1702/148*(-1 - (-30)/21). Is 5 bigger than a?
True
Let w = -6.217 - -6.16. Which is greater: w or 1/2?
1/2
Let l = 142 - 134.3. Let f = 12.9 - l. Which is smaller: -0.1 or f?
-0.1
Suppose -125 + 15 = -10*y. Suppose y*i - 6*i + 15 = 0. Which is greater: -11/4 or i?
-11/4
Let z = 6.27 - 6. Is z less than -5?
False
Let w(c) = c**2 + 5*c - 8. Let j(g) = -4*g + 4. Let t be j(-6). Suppose -4*x - t = -r, x + 3*r = -r + 10. Let o be w(x). Which is smaller: o or -8/7?
o
Suppose 3*s - 2*s = 5*d - 226, -5*s + 40 = d. Let x be d/10*3/(-9). Which is greater: -1 or x?
-1
Let z = -4982 + 1370053/275. Is z at most 1?
True
Let g be (-1)/(-2) - 55/122. Let u = -20425282/11904333 - 4/65051. Let i = u + g. Which is smaller: -2 or i?
-2
Suppose 7*o + 31 + 11 = 0. Let n(l) = -l - 1. Let q be n(-1). Suppose q*i = i + 7. Which is smaller: i or o?
i
Let i be 0/(6/(-2)*1). Suppose m - 5*m - 4 = i. Which is bigger: 2/37 or m?
2/37
Let d = 1/30346 + -334337/16113726. Let h = -22943/5310 - d. Let a = h + 9/10. Is -4 at most a?
True
Let g = -53 - -48.7. Let s = g + 32.3. Let u = s + -26. Which is greater: u or -0.05?
u
Let z be (-2)/4*15/6. Suppose 0 = 2*u - r + 5, -2*r + 10 = -0*r. Which is bigger: u or z?
u
Let b(o) = 2*o**2 + 5*o + 1. Let j be b(-6). Let v = 94 - 52. Is v > j?
False
Let c = 1319 - 1325. Let g(k) = -k**3 - 7*k**2 - 6*k - 5. Let x be g(-6). Which is greater: x or c?
x
Let x = -1024 + 328. Which is smaller: 2/5 or x?
x
Let q = 1235 - 20955/17. Which is greater: 2 or q?
q
Let s = 16 + -22. Let o be 3*((-20)/s + -1). Does o = 9?
False
Let u(q) = -4*q - 67. Let i be u(-15). Are i and -84/13 equal?
False
Let t = -583 - -4673/8. Let x(j) = j - 1. Let d be x(2). Is t <= d?
False
Let k = -358 + 358. Is 13/79 equal to k?
False
Let f = 0.015 + 6.485. Let a = f - 5. Which is smaller: -2/7 or a?
-2/7
Let s = 31/60 - 1/60. Is s at least 8?
False
Let y = -8.13 - 14.87. Is 12 equal to y?
False
Suppose -13*h + 2 = -12*h + 4*d, 2*h - 31 = d. Are h and 15 non-equal?
True
Let o = 635 + -8263/13. Let i = 82/91 + o. Suppose -7*b - 15 = -2*b, 5*g + b = -8. Are g and i unequal?
True
Let c be 6/(-4)*(-4)/(-90)*-6. Let t = -91 + 731/8. Which is bigger: t or c?
c
Let g(x) = 208*x + 1446. Let a be g(-7). Let f(j) = j**2 + 2*j + 1. Let p be f(-2). Let u be -8 + -2*p/1. Is u not equal to a?
False
Let r = -0.1 - 0. Let x = 5650 - 5641. Are r and x non-equal?
True
Suppose -8*u + 72 - 168 = 0. Is u greater than or equal to -14?
True
Suppose -3*h + 464 = -712. Suppose -3*x = x - 2*d + h, 295 = -3*x + d. Let k = 1288/13 + x. Which is bigger: 0 or k?
k
Suppose 3*s + 2*s - 20 = -l, -3*l + 24 = -3*s. Let n be (-10)/15 + l/(-12). Let w be ((-42)/(-8))/(-3) - -2. Which is smaller: w or n?
n
Let y = -255109/9 - -28481. Which is bigger: y or 135?
y
Suppose 0 = -t - 3*t + 5*c - 6, -t = -3*c + 5. Which is smaller: t or 12/19?
12/19
Suppose -3*u - 4*u = -70. Suppose -2*o + u = 68. Let d = -30 - o. Is d greater than or equal to 2/17?
False
Let z = 501 - 738. Do z and -236 have the same value?
False
Let o be (8/12)/2*12. Suppose -8*a = -o*a. Let c be (-7 - (0 + -3)) + a. Which is bigger: -6 or c?
c
Let v = 52 + -58.2. Let q = -22 - -16. Let m = q - v. Is -3/2 smaller than m?
True
Let o = 337 - 500. Is -2/7 greater than or equal to o?
True
Let l = 23 - 21. Let n be l*(-3)/(-2) + -4. Which is bigger: n or -4?
n
Suppose 2*z + 3 = 4*c - 23, 4*z + 20 = 0. Suppose 5*v - 10 = 0, v = -c*i + 2*v + 46. Which is greater: i or 15?
15
Let w be (9 - 9)/(0 + -1*2). Suppose 7*j - j + 204 = w. Is j bigger than -37?
True
Let o = -1.3 + 93.3. Let i = 97 - o. Let a = 1 - 0. Are a and i unequal?
True
Let p = 616 - 611. Which is bigger: 7 or p?
7
Let j(f) = 13*f**2 + f - 4. Let i be j(2). Which is greater: 52 or i?
52
Suppose -5*g + 4*p + 275 = 0, -p + 0*p = -5*g + 260. Let x = g + -37. Let w be ((-20)/6 + 2)/x. Which is smaller: w or -1?
-1
Suppose -67 = 3*w - x, 4*w = -0*x - 3*x - 85. Let k be (-18)/4*(-40)/6. Let u = k + w. Are u and 9 non-equal?
True
Let l(f) = f**2 + 23*f + 30. Let q be l(-18). Let w = q + 63. Is w greater than 10/3?
False
Let g = -1.5 - 4.5. Let p = 6 - g. Let x = p + -11.8. Is x greater than -2/5?
True
Let b = 6 - 4. Suppose 2*p - p = 3. Is p <= b?
False
Let h(l) = 1. Let n(g) = g - 8. Let z(v) = h(v) + n(v). Let k be z(-11). Does k = -18?
True
Suppose -2*v = -2*i - 14, 2 + 1 = 3*v. Let l(s) = s**2 + 9*s + 20. Let x be l(i). Suppose 0*k = -t + 5*k - 3, 3*t - 4 = 2*k. Are t and x nonequal?
False
Suppose 27*k = -15*k. Let q be (-6)/38 + -4 + 5. Is q > k?
True
Suppose 2*n - 293 = -291. Is n smaller than 749?
True
Let y be (-1)/3 + (-85)/(-3). Let w be (9/(-30))/(21/y). Suppose -3*b - 1 = -4*b. Is w greater than b?
False
Let i = 1.54 + -0.04. Let s = -1.57 + i. Let d = 0.03 - s. Are d and -2/11 unequal?
True
Let f = 39549/19 + -2081. Is 0 < f?
True
Suppose 3*g - 6 = 6*g, -4*a + 5*g = 206. Let i be -2*(2/(-13) - a/(-156)). Which is smaller: i or 1/25?
1/25
Let u be ((-9)/(-102))/((-3)/(-4)). Let d = 18 - 17.6. Which is smaller: d or u?
u
Let y = 157 - 196. Is y at most as big as -1?
True
Let r be -1 + 6 + -2 + 0 + 45. Let n be r/(5 + -11) - 2. Is n at least -10?
True
Let f = -22.9 - -21.9. Is f less than 17?
True
Let r(m) = 23*m - 39. Let z be r(2). Is z < -0.011?
False
Let s = -3.6 + 40.6. Let u = -36 + s. Which is smaller: u or -2/7?
-2/7
Let j be 440/10 + 2*-1. Let