eater: i or 3/154?
3/154
Let h(d) = -d**2 - 10*d + 75. Let l be h(5). Which is smaller: l or -3/22?
-3/22
Let b = 203712917/429 + -474857. Let n = -152/39 - b. Which is greater: -3 or n?
n
Let m(k) = k**3 + 6*k**2 - 4*k - 8. Let x be m(3). Suppose -4*c + 3*o = 33, 5*o = -5*c - 24 - x. Which is bigger: c or -13?
c
Let p be (-8 + -1)*(-160)/(-120). Let f(b) = 2*b - 9*b**2 - b**3 - 3*b**2 - 3*b - 10. Let m be f(p). Is -2 smaller than m?
True
Let t(w) = w + 4. Let g be t(-3). Let q(r) = -r**2 - 8*r - 16. Let u be q(-4). Which is smaller: u or g?
u
Let w = 55 - -5. Let q = -71 + w. Is -10 not equal to q?
True
Let j = 23 - 51. Let z = -29 - j. Which is greater: 0.2 or z?
0.2
Let k be ((-2)/6)/((12/(-9))/(-4)). Does -2/119 = k?
False
Let n(c) = -13*c + 30. Let a be n(3). Which is bigger: a or -10?
a
Let s(q) = 6*q - 7. Let d be s(-6). Suppose 6*v + 327 = 75. Which is smaller: v or d?
d
Suppose i + 158 = -2*h, 9*i - 14*i + 5*h = 715. Which is greater: i or -146?
-146
Let i = -0.64 + -5.36. Is -3/8 not equal to i?
True
Let i be (12/(-106))/(6*8/(-64)). Which is smaller: i or 4?
i
Let d be 166/(-75) + (-1 - -2). Let c = d + -3/25. Let h(i) = -i**2 + 6*i - 5. Let w be h(5). Which is smaller: c or w?
c
Suppose -m + 5 = 2. Suppose -5 + 20 = m*r. Does r = 2?
False
Let b = -1041 + 922. Which is smaller: b or -115?
b
Let s = 2 + 4. Let v(o) be the second derivative of -o**4/12 + 3*o**3/2 - 4*o**2 - 13*o. Let k be v(7). Are s and k non-equal?
False
Let f = -49.8 - -40. Let x = 9.749 + f. Is -0.1 <= x?
True
Let u = 131/6 - 43/2. Is u != 93?
True
Suppose -2*p - 519 = -3*m, -2*m - 1036 = 5*p + 214. Which is smaller: -253 or p?
-253
Let s be (-1)/(15/(-21)) - 1. Suppose 3 + 49 = 4*i. Let q = i + -2. Are q and s unequal?
True
Let c = -2236 + 991. Is c > -1245?
False
Suppose y = -2*v - 150, -32*y + 28*y - 594 = 2*v. Is y less than or equal to -149?
False
Let h be 1/6 + (-1)/2. Let q = -1025 + 1031. Is h equal to q?
False
Let f(w) = w**2 + 8*w + 3. Let c be f(-7). Let y(s) = 3*s - 3. Let j be y(c). Let h be (-14)/(-10) - (-6)/j. Which is smaller: h or 4/25?
4/25
Let p(r) = r**3 + 5*r**2 + 5*r + 3. Let u be p(-4). Let j be (-3 - -1)/u - -9. Let x = 16 + -6. Is x < j?
True
Let g = -10 - -17. Let z = 6 - g. Is 1/47 < z?
False
Let l = -19 + 49. Let w = 30 - l. Let o be (-4 + 0)*(-1)/2. Is w at most o?
True
Let w = -96 - -94.8. Let b = 0 - -0.8. Let v = w + b. Which is smaller: 0.1 or v?
v
Let n be (8/(-12))/(830/60). Which is greater: n or 0?
0
Suppose -5*g - 5*f = -20, -3*g + 18 = g + 3*f. Suppose 4*o - 1 = 4*h - 5, h + 3*o - 1 = 0. Which is smaller: g or h?
h
Let h = -15 + 23. Suppose -g + 14 = h. Let i be g - (-1 + 0 - -2). Is i less than or equal to 4?
False
Suppose 2*g - 27 = -g. Let u be 2 + 3/g - 2. Suppose 19 = m + 5*z + 3, -5*m + 8 = z. Which is bigger: u or m?
m
Let b = 1.99 - 2.99. Which is bigger: 13 or b?
13
Let j(f) = -f**2 + 6*f + 1. Let x be j(7). Let h = -4 - x. Suppose 2*b - 5 = r, 1 + 1 = 2*b - h*r. Is b <= 1/2?
False
Let s = 15/7 + -2. Which is smaller: 1/4 or s?
s
Let z = 0.8 + -1. Let l = -83 + 94. Suppose -l = 9*f + 7. Are f and z nonequal?
True
Let m = 23 - 22.79. Let o = m - 5.21. Let d = -10 + o. Do -1/2 and d have different values?
True
Let b be (-49)/21*2/2. Which is smaller: b or -5?
-5
Suppose -25*n - 70 = -20*n + 5*f, -4*f = -2*n - 4. Suppose 2*m - 2*p + 20 = 0, -p = 4*m - 24 + 69. Are n and m unequal?
True
Suppose 21 = -5*b + 2*b. Let m(x) = -1 - 10*x + 6*x - 7*x**2 + 3*x - x**3 - 8. Let s be m(b). Which is smaller: 2 or s?
s
Suppose h - 5 = -5*c - 1, 3*c + 3*h = 0. Which is bigger: c or -4/27?
c
Let r = -149 - -269. Let q be (75/r)/((-3)/2). Is q at least -2/3?
True
Suppose -2*v - 28 = 4*u - 9*u, -2*u = 2*v. Let y be ((-6)/v)/(30/(-40)). Are y and -6/5 unequal?
True
Let z(p) = -30*p - 459. Let x be z(-15). Is -10 bigger than x?
False
Let q = -0.8 + 0.4. Suppose 5*d - 3*a = -38, 0*d - 2*d - 17 = -3*a. Let p be (-2)/d - 1/(-21). Which is bigger: p or q?
p
Suppose -6*f + 24 = -10*f. Let u be 24/4 - (f/2)/1. Are u and 13 nonequal?
True
Suppose -3*d + 114 = 3*d. Suppose 4*w - 35 = -3*x + d, -2*w + 3*x + 36 = 0. Is 16 smaller than w?
False
Suppose 4*f = -2*f + 12. Let c(w) = -w**3 - w**2 + 1. Let o be c(f). Does o = -13?
False
Suppose -2*c = -2*d - 4, -4*d = d - 3*c + 8. Let k be 1*(-4)/4 + d. Let u = -6 + 3. Is k at most as big as u?
False
Let r(h) = -h - 4. Let v be r(3). Let x(k) = k**2 + 11*k + 18. Let s be x(v). Is s < -0.2?
True
Let a(p) = 9*p**2. Let r be a(1). Let n(f) = f**2 - 13*f + 35. Let s be n(r). Do s and 3/119 have the same value?
False
Let n = -3672 - -14817/4. Which is bigger: n or 32?
n
Suppose 3*j - 125 = -4*c, 0*j - 60 = -2*c - 4*j. Let o be ((-252)/c)/((-6)/(-8)). Which is greater: 1 or o?
1
Let s(m) = 6*m**3 + 2*m**2 + m. Let p be (2 - 21/12)*-4. Let h be s(p). Let j be ((-12)/(-15))/((-6)/h). Is -13 smaller than j?
True
Let w = -119/15 + 8. Let f = -23 - -24. Which is smaller: w or f?
w
Let u = -15 + 12. Suppose 0 = 8*x + 14 - 6. Is u <= x?
True
Let n = -358 - -7157/20. Is n bigger than -1?
True
Let c be 1*2 - (-864)/(-528). Which is smaller: c or -1/13?
-1/13
Suppose j - 3 = -p, 0 = -j - 3*p + 6*p - 13. Let o be ((-3)/(-27))/(2/(-6)). Is o >= j?
True
Let v be 4/(-18) + 25/(-9). Suppose 14*d = 9*d + 20. Let w be d*((-14)/4 - v). Does -0.1 = w?
False
Suppose 6*r + 7 = -17. Which is greater: r or -48/13?
-48/13
Let p = -3793/10 - -379. Let n be ((-7)/2 + 4)/(2/(-188)). Let k = 46 + n. Which is smaller: p or k?
k
Let t = -5 + 3.1. Let j = 2.1 - t. Let p = j - 7. Does p = 9?
False
Let w = 28 - -12. Let a = w - 41. Which is smaller: a or -0.1?
a
Suppose -3*b - 20 = -5*t, -2*b + 4*t = -b - 5. Let a = b + 57/4. Let m be 21/(-9) + (-2)/(-6). Which is smaller: m or a?
m
Suppose -2*l = 3*m - 5*l + 3, -3*m = l - 9. Let y be 15/38 - (m + 9/(-6)). Which is bigger: y or 0.3?
0.3
Let z = 4 + -5. Let w(m) be the first derivative of 9*m**4/4 + m**3/3 + m**2/2 + m - 5. Let i be w(z). Is -8 greater than or equal to i?
True
Suppose 20 = -u + 6*u. Suppose z - 7 = -2*w + 2*z, -4 = 4*w + u*z. Suppose w = -b - 1. Do b and -3 have the same value?
True
Let o be (-1 + 1 - 0)/((-48)/16). Let a = o - -9. Which is bigger: a or 15?
15
Let f be ((-3)/6)/(1/(-2)). Which is smaller: f or 9/73?
9/73
Let z be -51*(-25)/315 + -2 + -1. Which is smaller: z or 2/5?
2/5
Suppose 0 = -47*q + 18*q + 87. Suppose 3*d - 4*d = -7. Is d equal to q?
False
Let u = 6 - 6. Let y be (-2)/(-6) - 55/(-70). Let m = 4/3 - y. Which is greater: m or u?
m
Let l = 32 - -6. Let k = l - 55. Is k at least -15?
False
Let u = 27 - 115/4. Suppose -15*r + 40 + 110 = 0. Let t be (-1)/3*(-4 + r). Does t = u?
False
Let o be 2/18*(-2)/(-4)*-6. Is -0.007 <= o?
False
Let s be ((-1)/(-10))/((-54)/55170). Is -1/3 less than or equal to s?
False
Let q(d) = 40*d - 167. Let z be q(-6). Which is bigger: z or -409?
z
Let z be (16/(-6) - 0)*(-30)/120. Let r = -14.1 + 14. Is z > r?
True
Let y = -6 + 6. Let z = -1 + y. Let b = 50 + -40. Which is smaller: z or b?
z
Suppose 4*d = 4*y, 5*d - 3*y + 12 = 2. Let k be -2*(d/(-2))/5. Let h = -891 + 29405/33. Is k at most h?
True
Let n = 28 + -38. Let f be (-5)/n - (-2)/2. Which is smaller: 2 or f?
f
Let l(q) = -2*q - 60. Let j be l(-8). Which is greater: j or -43?
-43
Let z = -1796 - -1709. Is z less than -88?
False
Let n(d) = -2*d**3 + 35*d**2 + 19*d - 19. Let k be n(18). Which is smaller: k or -1/15?
k
Suppose 130*a - 132*a + 3*t = 19, -3*t = -4*a - 35. Suppose 5*z - h + 2 = 0, 2*z + 8 = -0*z + 4*h. Let n = -7 - z. Which is smaller: n or a?
a
Let l be (-6)/10 - 39*(-7)/525. Let i = l - -3/350. Is 1 smaller than i?
False
Let a(p) = -p + 9. Let t(x) = -x**3 - 8*x**2 - 2*x - 7. Let n be t(-8). Let z be a(n). Let o = 13.9 + -14. Which is smaller: z or o?
o
Let v = -115.1 + 114.7. Let a = -9 + -1. Is a >= v?
False
Let s = 13 + -6. Let x = -2 - -5. Let r = s - x. Do -1/5 and r have different values?
True
Suppose 5*u - 7 = -5*k + 28, -4*u = -k - 23. Let j = u - 7. Let z be (0/(-2))/(j + -1). Which is smaller: z or -1/14?
-1/14
Suppose 0 = -2*x + 2*t + 12, 3*t + 16 = 5*x - 4*x. Suppose 5*h - 5*k = 62 - 2, -5*h = -k - 56. Is x less than h?
True
Let p(d) = -3*d**2 - 17*d - 26. Let g(f) = -f**2 - 6*f - 9. Let j(u) = 17*g(u) - 6*p(u). Let y be j(0). Let c be (4/6)/((-