 or 0?
0
Suppose 0 = 5*f + 2999 + 7981. Let n = f - -1218. Let w be n/636 - ((-9)/(-2))/(-3). Is 0 >= w?
True
Let q = 0.0437 - 0.1137. Let f = 31.8 + -34. Is f greater than or equal to q?
False
Let g = 88069/30834 - 5/1142. Which is bigger: 0 or g?
g
Suppose -2*m + 3 = -d, -4*d + 7 = m + 37. Let p = 21 + -19. Suppose 0*x - 3*t = 4*x + 26, p*x = 2*t - 6. Is d equal to x?
False
Let r = -6 - -2. Suppose -a - 7 = 43*k - 47*k, -6 = -3*k + a. Let h be -1 - (k/r + 25/20). Is 2/5 less than or equal to h?
False
Let a(b) = 73*b - 7. Let o be a(7). Let y be (2/(8/(-9)))/((-27)/o). Let r be ((-36)/y)/(1/(-7)). Which is smaller: r or 3?
3
Suppose 44 = -369*p + 367*p. Let l be (-32)/18 + 4/(-18). Let c = -23 - l. Is p >= c?
False
Let f be (-1)/(2*((-174)/(-44) - 4)). Let u be ((-300)/f - -6)*1/(-3). Which is smaller: u or 6?
6
Let f = -0.589 - -236.589. Let h = f + -236.3. Is -7 <= h?
True
Let f(h) = 6*h**2 - 4*h + 11. Let u be f(4). Suppose 0 = 14*c - 13*c - u. Are 89 and c non-equal?
True
Let c = -14.104 + -3759.896. Is -0.1 equal to c?
False
Let u(h) = h - 10. Let o be u(12). Suppose -8 = v - o*v. Suppose 3*b + 5*s = -0*b + 22, 4*b = -s + 35. Is v at most as big as b?
True
Suppose 594 + 741 = -14*x + 117. Is x less than or equal to -60?
True
Suppose 19*a - 3 + 3 = 160*a. Is -1/2332 bigger than a?
False
Let a = 120 + -115. Suppose -4*u - 14*l = -17*l + 182, -a*l = -4*u - 186. Is -44 at most u?
True
Let h be 0*(-37)/(47 + -10). Let u = 1652/5 + -329. Is u less than h?
False
Let o be ((-1)/(-10))/(6/8). Let x(f) = f**3 - 31*f**2 - 28*f - 48. Let c be x(32). Suppose -c*a + 64*a = -176. Is o less than a?
True
Let i = 191/15 - 91/15. Let o = i - 7. Let z = -9.521 + 9.501. Is z < o?
False
Let b = 165 - 164.9796. Let x = b + 0.9796. Which is bigger: -0.266 or x?
x
Let t = 7099.626 - 7118. Let p = 0.374 + t. Let r = -4 + 3. Which is bigger: r or p?
r
Let h = -95938/1341 + 644/9. Let q be (-9)/(4/96*-4). Let v be 36/q*(-3)/2. Which is smaller: v or h?
v
Let o(g) = 65*g - 801. Let y be o(12). Let q = 2.4 - 0.4. Which is smaller: q or y?
y
Suppose 3*v - 5*x = -10, 2*v - 5 = -x + 10. Let n(h) = -2*h + 13. Let z be n(v). Suppose -6*k - 3 = -z*k. Which is greater: k or -2/39?
-2/39
Let t(r) = 7*r + 178. Let s be t(-37). Let p be (s/900*-5)/((-6)/(-10)). Which is greater: 2/9 or p?
p
Let w = -11223 + 10826. Which is greater: w or -406?
w
Let m(d) = d + 5. Let g be m(-5). Let b be (-1053)/45 + (-3)/5. Let j be (-3)/45*(-15)/b. Which is smaller: j or g?
j
Suppose -6*z + 10*z - 8 = 0. Let f be (z/(-4))/(1/2). Let a be 0 + f - (-125)/123. Is a greater than 1?
False
Let j be (839/(-27))/((-2320)/48). Let q = j + -18/29. Let n = 5 - 6. Which is greater: q or n?
q
Let m = -24536 + 25681. Which is greater: -3/4 or m?
m
Let b be (336/(-54))/14 + 3/(-1) + -36. Which is bigger: b or -38?
-38
Let l be (-5)/(-65) + 245848/104. Are l and 2364 nonequal?
False
Suppose -k = 5*k - 8*k + 2. Which is greater: 4/637 or k?
k
Let z = -0.113 - 4.887. Which is bigger: z or -70?
z
Let w(u) = -u**3 + 9*u**2 - u + 9. Let f be w(9). Suppose f = 5*b + 15 - 25. Which is bigger: b or 13/9?
b
Let n(z) = -z + 12. Let x be n(11). Let b be 1*(-1 - 0)/1. Let y be 1/5*b*(-120)/(-72). Is x at most as big as y?
False
Suppose -3*u + 4*c = -132, -10*u + 3*c = -9*u - 39. Suppose -540 = 54*y - u*y. Does -88 = y?
False
Let a be 10/(-10) - -1*1*6. Suppose a*z - 1 = -2*c, -z - 3*c + 2 = -2*c. Let f = 24 - 51. Which is bigger: z or f?
z
Let p(d) = 82*d**2 - 578*d + 28. Let z be p(7). Is 1/6940 at least z?
True
Let a = 7.3 + -0.3. Let h = -21.2 + a. Let w = h - -14. Is w greater than or equal to 2/7?
False
Let v be (14/(-3))/(10/(-15)). Suppose 4*l - y = -0*y - v, 2*l = y - 5. Let o be (-20)/(-8)*2/6. Is l smaller than o?
True
Let w = -2691 + 2683. Which is smaller: 8 or w?
w
Let c be (3/2)/(24/80). Suppose 3*i = -3*x - 2*i + 48, c*x = 2*i + 111. Which is greater: 22 or x?
22
Suppose -75045 = -17*y - 40*y - 244221. Are -2969 and y non-equal?
True
Let z = 99 - -280. Let a = z - 376. Which is smaller: a or -1/78?
-1/78
Let b = -23.9885 + -0.0415. Let p = -24 - b. Is -2 less than p?
True
Let r be 0 + 0 + (-11 - 649/88). Let m = -751/40 - r. Suppose 16 = -t + 2*t. Which is bigger: t or m?
t
Let o be -5*(-281235)/1275 + (-4)/(-34). Which is greater: 1104 or o?
1104
Let a be ((-561)/154)/51 + (-369)/(-266). Which is bigger: a or 1?
a
Suppose 0 = -t - 5 - 0, 5*g - t - 1145 = 0. Let d = -219 + g. Are 31/3 and d equal?
False
Suppose -36 = -14*p - 4*p. Suppose -5*q + 6*u - p*u + 723 = 0, -156 = -q - 3*u. Which is bigger: q or 583/4?
q
Let k = 459 - 228. Suppose -7*b = 175 + k. Does -62 = b?
False
Suppose -3*u = 2*b - 12 - 5, -2*u + 5 = -5*b. Let k = -1741/408291 + -4/1083. Which is smaller: k or b?
k
Suppose 45*a = 519 + 516. Let y be 1*(3 + -6 + 3). Suppose y = p - 4*p + 66. Which is smaller: a or p?
p
Let w = 5737 + -19879. Which is bigger: w or -1?
-1
Let o = 0.3 - 0. Let r = -112879.935 - -112880. Is r smaller than o?
True
Let c = -1377.6 - -1377.59. Is c greater than or equal to -421?
True
Suppose 23*o - 72 = 35*o. Let d = -8 - 8. Let b = -22 - d. Are o and b equal?
True
Suppose 3*m + 4 - 1 = 0. Let u = -187748593/765 + 245423. Which is smaller: m or u?
m
Suppose -3*n + 246 + 1295 = -i, -4*n + 2068 = -4*i. Suppose n = 3*b + 515. Is -2/1117 greater than b?
True
Let i be (-1 - -8) + (-1884 - -1875). Suppose 11 + 5 = 4*b. Suppose -6*a + 8 = -b*a. Is a smaller than i?
False
Let g be (-11)/(-9) + (-4)/18. Let a(p) = -243*p + 496. Let v be a(2). Suppose -31 = v*l - g. Is -3 greater than or equal to l?
True
Let d be (2158/(-15106))/(10/(-7) - -2). Suppose -4 - 9 = -q. Is q at most as big as d?
False
Let k be (-2779464)/566214 - -5 - (-1)/(-11). Which is smaller: -1 or k?
-1
Let r = -1 + 27. Let h = 1116 - 1090. Let t = r - h. Which is smaller: t or -14?
-14
Suppose -7308 = 137*d + 66*d. Which is smaller: d or 29?
d
Let m = 3378.6 + 982.4. Which is smaller: -0.1 or m?
-0.1
Suppose 0 = -2*m + 3*w - 44 - 120, -4*m - 2*w - 296 = 0. Let a(x) = 10*x**3 + 95*x**2 - 47*x - 47. Let k be a(-10). Is m at least as big as k?
True
Let p = 35.947 - -0.053. Let o = -23 + p. Let n = 13.14 - o. Which is bigger: n or 0.1?
n
Let t be (30/345)/(156/(-3588)). Let b be ((-2)/(-9))/(2/(-6)). Is b at most t?
False
Let a be ((-2)/2)/(4 + 6 + (-41 - -30)). Let j be 998/(-3346) - 4/(-14). Let k = j + 571/7409. Which is bigger: a or k?
a
Suppose -15100 = 531*m - 521*m. Are -1508 and m non-equal?
True
Let u(f) = -9*f + 2. Suppose -5*g - 3*x = 35, -3*x + 7 = 2*g - 3*g. Let m(l) = -5*l + 1. Let q(n) = g*m(n) + 4*u(n). Let h be q(1). Are h and 2/5 unequal?
True
Let a = -5 - 10. Let s be (-6)/a + 1038/30. Let c = -36 + s. Is c less than 3/17?
True
Let i = -2 - -5. Suppose 47 = 2*j - 3*g, 0*g - 63 = -i*j + 3*g. Let h be ((-120)/(-50))/(177/1180). Is j != h?
False
Let n = -6 - 34. Let i = n + 79. Let g = -21 + i. Which is bigger: -1 or g?
g
Suppose p = 7*p. Suppose 12*s + 3*j = 8*s + 43, -3*s - j + 26 = p. Suppose 18 = t + 2*t. Which is greater: s or t?
s
Let n(d) = -4*d + 9. Suppose 0 = 4*i - 3*v + 5, -2*i + 5*v = i + 12. Let f be -2*(0 + i) + 8. Let w be n(f). Does -15 = w?
True
Let j = -20732/272767 + 6/1991. Let f be (((-244)/(-137))/(-1))/((-714)/36). Let i = j + f. Are 1 and i non-equal?
True
Let g = -0.0249 - -361.0249. Let l = g + -361.1. Let m = 5 - 5.3. Which is smaller: m or l?
m
Let v = -509.58139 + 509.5. Which is smaller: 1/4 or v?
v
Let p(x) = x**2 + 2*x + 1. Let j be p(-1). Let t = 53220991/287 + -185439. Is t at most as big as j?
True
Let m be -1*(-60)/48 + (-625)/4. Do m and -158 have different values?
True
Let u be (4/7)/(6/1491). Suppose u*g - 141*g = 244. Is g smaller than 244?
False
Let k = -4.8132 - 0.1168. Let l = k + 169.93. Is -1 greater than l?
False
Let v be 57/(1197/(-1568)) - 21. Which is bigger: v or 2/15?
2/15
Suppose 13*j + 3*q = 8*j - 5, j = -5*q - 1. Is j greater than 5/347?
False
Let a = -610810/122661 - -1791/413. Let j = a - -20/33. Is 2 less than or equal to j?
False
Let i = -62/2051 + 77474/391741. Is -0.1 greater than i?
False
Suppose 4*c = -3*g + 84, 3*g - 5*c + 7*c = 84. Let n be 0 + g/(-7945)*10/(-4). Let j = 4 - 5. Which is bigger: j or n?
n
Suppose 87 = -2*k - 79 - 436. Are k and -302 non-equal?
True
Let n = 515861