1 or f?
2/91
Let a = 26 + -25. Which is smaller: 3 or a?
a
Let o be 0*(2 - (-1 - -2)). Let m(s) = s - 1. Let y be m(0). Let q = o - y. Is q less than 2/21?
False
Let v = 64.9 - 70.3. Which is bigger: -8 or v?
v
Let g be 10/4*(2 + 24/(-30)). Suppose f + 5*o + 42 = 0, -3*f + f = -g*o + 19. Let x = -4 - 12. Which is smaller: x or f?
f
Let l = 34 + -48. Let n = l - -13. Let p(y) = y**3 + 1. Let z be p(-1). Do n and z have the same value?
False
Let s(i) = i**2 + 6*i - 29. Let y be s(-8). Let p(z) = 2*z**2 + 30*z + 28. Let n be p(y). Is n greater than -22?
False
Let l = -0.1556 - -27.9956. Let q = -0.16 - l. Let x = q - -31. Do 4 and x have different values?
True
Let u be (-5 - -3) + -5 + 3. Let g be (-240)/(-8)*(-2)/u. Do 17 and g have different values?
True
Suppose -2*h - 8 = 2*y, -9*y + 5*y + h - 1 = 0. Which is bigger: -2/2283 or y?
-2/2283
Let v be ((-17)/3 + 1)/(6/(-9)). Which is smaller: v or 16?
v
Let v(w) = -w**3 - 9*w**2 - 2*w. Let b be v(-9). Suppose -3*r = 2*z + 19 - 68, -z + 16 = r. Which is smaller: r or b?
r
Let w(v) = 52*v - 1123. Let o be w(21). Do o and -63/2 have different values?
True
Suppose 4*g = -3*c + 491, 1 = 5*c - 4. Let i = -88 + g. Which is smaller: i or 32?
32
Suppose -l = 4*g - 3, -2*l + 3*g + 15 = 2*g. Let i = l - 9. Let h be (1 + -4 + 3)/i. Does h = 6/17?
False
Let u(k) = 2*k**3 + 3*k - k**3 - 2 + 1 - 3*k**2. Let t be u(3). Suppose 4*j - t = 8. Which is smaller: j or 3?
3
Suppose -5*a + 5470 = 5*c, -2201 + 16 = -2*a - c. Let b = a - 14195/13. Is -0.1 > b?
True
Let h be (4/10)/(1/(-5)). Let s = 29 - 11. Let z be (-63)/s + (-1)/2. Which is smaller: h or z?
z
Let v = -18 - -21. Suppose v*h - 44 = -4*j, -4*h + 3*j = 4*j - 37. Which is greater: h or 6?
h
Suppose o - 1050 = 15*o. Is -74 at least as big as o?
True
Let v = 0.6413 + 0.1447. Which is bigger: 2/3 or v?
v
Let z(d) = 10*d**2 + 24*d + 13. Let a(y) = 3*y**2 + 8*y + 4. Let r(t) = -7*a(t) + 2*z(t). Let u be r(-3). Which is smaller: 14 or u?
u
Let o = 753927/1215850 - 2/24317. Are o and 0 non-equal?
True
Let n = -3/473 - -2407/6622. Which is bigger: -1 or n?
n
Let t(b) be the second derivative of -b**5/10 + b**4 + 5*b**3/6 + 19*b. Let c be t(7). Is c not equal to -63?
False
Let q(j) = 29*j + 50. Let p be q(0). Is p at most 53?
True
Let j = 179 - 12707/71. Let o = j + -184/1491. Is o equal to -1?
False
Let l = 558 - 6144/11. Let k be ((-2)/(-7 + 11))/((-1)/(-6)). Let c be k/((-18)/(-3)) - 3/(-6). Is l at least c?
False
Let a be 6/9*2/(-4). Let w = 2404 - 2372. Is a less than or equal to w?
True
Let l = -4048/19 + 213. Let i(z) = z**3 + 6*z**2 - 6*z + 7. Let j be i(-7). Is j at most l?
False
Let n(p) = 2*p**3 + 5*p**2 - 7*p + 1. Let f(d) = -d**3 - 5*d**2 + 6*d - 1. Let w(q) = -3*f(q) - 2*n(q). Let r be w(4). Which is greater: 1/6 or r?
r
Let n be (-2)/(-3)*(-6588)/(-72). Which is bigger: n or 63?
63
Let k = -3 - -2. Let x be 678/14*(k - -2). Let a = -49 + x. Which is bigger: 0 or a?
0
Let j be ((-1510)/(-4) + 0)*(-427)/525. Let k = j + 307. Is -1 < k?
True
Let n = -0.132 - -0.125. Which is bigger: -0.3 or n?
n
Let f be (3846/15)/((-18)/(-15)). Let s = f + -216. Suppose 5*i = -3 - 12. Is s greater than or equal to i?
True
Let l be (13 - 15)/(1/101) - 0. Let k be (-2026)/(-8)*(-12)/(-15). Let u = l + k. Which is smaller: u or 0?
0
Let k be ((-15990)/24)/(-13)*(-4)/10. Is -20 at most as big as k?
False
Let p = 12.1 + 1.9. Let m = p + -15.5. Which is bigger: m or -0.1?
-0.1
Let n = -17.8 - -17.9. Let d = 0.4 - 0.4. Let j = d + -4. Is j > n?
False
Let f = 1223.1 - 1223. Suppose 36 = -4*u + 4*k, 3*u - 4*k + 39 = 15. Which is bigger: u or f?
f
Let d(k) = 10*k + 12. Let x(w) = w + 2. Let q(i) = -d(i) + x(i). Let y be q(3). Which is bigger: y or -38?
y
Let n = -164332/61 + 2694. Let m(b) = b**3 - b**2. Let j be m(0). Is j >= n?
False
Let m = -77 - -63. Let t(h) = -5*h - 24. Let f be t(m). Which is smaller: 47 or f?
f
Let t(f) = -f**3 + 12*f**2 - 13*f + 25. Let y be t(11). Let m be 2/4*(3 + 1). Suppose -5*u - y*o = 4 + 12, -m*u - 7 = o. Are u and -6 nonequal?
True
Let r = -4 - -9. Suppose -3*l - 151 = -4*q, 107 = -2*l + 5*q - 3. Let a be 18/l - (-47)/r. Is 7 at most as big as a?
True
Let z(r) = -r**2 - 7*r - 10. Suppose 2*q + 8 = 4. Let y = q - 4. Let j be z(y). Is j less than -5?
False
Suppose -5*b = -29*b + 2184. Is b != 92?
True
Let b be 54/(-380) + 9/30. Which is smaller: b or 1?
b
Let c(h) = -h**3 + 5*h**2 + 4*h - 1. Let d be c(5). Suppose 0 = -2*i - 2*i + 2*v + 74, -17 = -i + 2*v. Is d greater than i?
False
Let u = -220 - -210. Is u smaller than -8?
True
Let r be (-394)/(-6) + (-10)/6. Let m be -3*(-1)/((-12)/r). Let z = 19 + m. Are z and 19/5 equal?
False
Let s = 8.21 - 0.21. Let t = -9 + s. Which is greater: t or -4/5?
-4/5
Let r = 694.89 + -690. Let l = r - -0.11. Let x = 686 - 685.8. Which is bigger: x or l?
l
Let k = -94 + 107. Is k smaller than 13?
False
Suppose 0 = -2*n + 3*n + 3*b + 1, 4*n + 3*b = -4. Let q = -685 + 75351/110. Is q equal to n?
False
Let o(c) = c**2 - 6*c + 7. Let x be o(7). Is 20 less than x?
False
Let d = 0 + 0. Let w = -86363 - -16840727/195. Let f = -3/13 - w. Is f != d?
True
Let a be (-3 - 3) + 13/(195/700). Is a at least as big as 41?
False
Let y(c) be the first derivative of c**4/4 - 5*c**3 - 17*c**2/2 + 15*c - 5. Let b be y(16). Which is smaller: -3/32 or b?
b
Suppose -4*y + 1 = -3. Let j = -1515280/213 - -7114. Is y not equal to j?
True
Let v(y) be the second derivative of y**5/20 - y**4/6 + y**3/2 + y**2/2 + 11*y. Let b be v(3). Which is smaller: 0 or b?
0
Let m be 546/10 - (-66)/(-110). Let p(q) = 5*q + 3. Let d be p(10). Is m != d?
True
Let v = -197 + 196. Which is smaller: v or 0.288?
v
Let u = 4/4085 - 8434/16956835. Let n = 1124/128681 + u. Which is smaller: n or -1?
-1
Let j = 3870 + -3777. Suppose -3*o - o = -372. Is o greater than j?
False
Let r = -84/17 + 773/153. Are r and 3/4 non-equal?
True
Let v = -69 + 69. Let d be ((-9)/6 + v)*42/117. Is d greater than 0?
False
Let s = 711.2 - 140.2. Which is bigger: 2/5 or s?
s
Let s(l) = 2*l - 22. Let w be s(12). Suppose 0 = -2*y - 4*v + 106, 5*y - v = w*v + 317. Which is smaller: y or 60?
60
Let x = 229 - 224. Do -1.32 and x have different values?
True
Let g(k) = -2*k - 10. Let q be g(-5). Suppose -f + q*f = f. Is 12/11 bigger than f?
True
Let d = -9 - -80. Let h = 54 - -18. Which is smaller: d or h?
d
Let n = 0 + 0. Let o = -0.14 + -0.86. Let u = n + o. Are u and 0 equal?
False
Let n be (-10)/(-25) - -9*(-2)/(-5). Suppose 0 = -n*o - 3*o - 35. Is -4 > o?
True
Let j = -3437110/499 - -6888. Which is bigger: 1 or j?
1
Suppose 5*c - 2*w - 13 - 49 = 0, 4*c = -5*w + 76. Which is bigger: c or 15?
15
Suppose -3*y - 7*y = -20. Suppose y*r - 9 = 11*r. Does r = -3/73?
False
Let p = -593 - -594. Is 20/91 smaller than p?
True
Suppose 60 = 16*u - 22*u. Which is bigger: -65/7 or u?
-65/7
Let v be (-4)/22 - 27/33. Let a be ((-63657)/704)/9 + 10. Which is greater: v or a?
a
Let t = 597 - 622. Are -0.052 and t equal?
False
Suppose 7 = 5*o - 3. Suppose 0 = -o*k - d + 1, -5*k - 3*d = 2*d. Let j be 5/(-18)*(-4)/60*12. Is k < j?
False
Suppose -3*k + 2*s = -5 - 11, -4*k + 28 = -4*s. Suppose 0 = 4*m - 4 - 0. Suppose -m = -5*d + 4. Which is smaller: d or k?
d
Let t = -686.8 - -687. Let x = 3.5 - 3. Which is greater: x or t?
x
Let q = 11 + -7. Let o be -2 + q - 5/1. Let v be (-1)/((-5)/8) + (-3 - 1). Which is bigger: v or o?
v
Let i = -7 - -12. Suppose 5*y + i*r = 10, 0*r = -3*r + 3. Is 3/14 equal to y?
False
Let b = -27 - -26.99. Let f = b + 8.01. Let o = 8.1 - f. Which is smaller: o or 1.3?
o
Suppose 5*u - 5*a - 5 = 0, 5*u + 3*a + 2*a = 55. Suppose 0 = o + 2*o - u. Is o at most as big as 4?
True
Suppose -13*r + 925 = -128. Are 80 and r equal?
False
Let x be (12 - 12)/(18/(-6) + 6). Let d be ((-8)/5)/((-13)/5). Which is smaller: x or d?
x
Let j(u) = u**3 - 17*u**2 - 15*u - 39. Let l be j(18). Suppose x + 14 = -n + 39, -5*x - l = -2*n. Which is bigger: 17 or n?
n
Let b be (1230/305 - 4) + 0. Suppose 4*i = -3*r + 4*r - 1, 4 = 4*r + 4*i. Which is smaller: r or b?
b
Suppose -2*l = 268 - 78. Which is bigger: -98 or l?
l
Let d = 2488667/313 + -7951. Are d and -1 non-equal?
True
Let k be 14/35 + 64/(-10). Let x be 6*-2*4/k. Let g be ((-15)/(-20))/((-2)/x). Which is smaller: -2 or g?
g
Let z = 2/2127 - 2977/903975. Is