 611 or k?
611
Let f = 4062 + -410267/101. Which is smaller: f or 0?
f
Suppose -3*v = -2*a, -7 + 3 = -5*v + 2*a. Suppose 0 = v*w + 3*h + 13, -3*w + 0*w + 2*h = -13. Is 5 greater than or equal to w?
True
Let g be (-1)/((-2)/(-3)*3). Let r = -0.2134 - -0.3334. Is r not equal to g?
True
Suppose 9 - 25 = -4*p. Let m(y) = -3*y**3 - 9*y**2 + 15*y**2 - 5*y**2 - 3*y + 4*y. Let x be m(-1). Is x > p?
False
Let o(g) = -11*g**2 + 32*g**2 - 8*g**2 + 24 - 19*g - 12*g**2. Let h be o(12). Is h greater than -60?
False
Let v = 911.3 + -956. Let l = 43 + v. Which is greater: l or -1?
-1
Let o be (9 + 1)/(14/7). Suppose 0 = -a - o, 4*m + 0 + 4 = -4*a. Let k be (-2)/m*4/10. Which is smaller: k or 1?
k
Let t be 4/(4*-1) + 2. Let k be 6 + -1 + t + -2. Suppose k*h + 0*h - 3*a = 0, -2*h = 2*a. Is -1/7 greater than h?
False
Let q = 0.4 + -1.4. Let y = 65 + -96. Which is smaller: y or q?
y
Let b = 8.97 + -9. Is b bigger than -3/8?
True
Let m(j) = -4*j**3 - 16*j**2 + 5*j - 2. Let z(v) = -3*v**3 - 15*v**2 + 4*v - 1. Let t(a) = 5*m(a) - 6*z(a). Let f be t(5). Do f and 8/19 have the same value?
False
Suppose 2*j - 124 = -5*k, -j + 57 = -3*k - 16. Let o = j - 68. Are -5/27 and o non-equal?
True
Let h = 513 - 406. Which is bigger: 109 or h?
109
Let o = -42.63 - 2.37. Which is smaller: 14 or o?
o
Let m be (0*1/(-1))/(-2). Let l be 1*(m + (2 - 3)). Let c be 3 - (40/12 + l). Is c > -1?
True
Suppose b + 5 = 0, -8*b = 3*w - 10*b - 13. Which is greater: -4/357 or w?
w
Suppose -2*u - 62 = 2*d, -5*u + 19*d - 155 = 15*d. Which is smaller: -30 or u?
u
Let i = -12.8 - -10.858. Let v = 0.058 - i. Is v at least -18?
True
Let x = -1.8 - -2.1. Let y = -10 - -10.04. Let j = y - 0.04. Which is bigger: x or j?
x
Let g be (-20)/80 + (-26)/(-8). Suppose -22 = 2*f - 4*z, g*f - z + 3*z + 25 = 0. Which is bigger: f or -10?
f
Let s be 1/(0 + (-14)/(-10)). Suppose -2*c - 295 = -291. Which is bigger: c or s?
s
Let t be (-551)/76*(-4)/(-9). Which is smaller: t or -2?
t
Let b(y) = y**2 - 25*y - 263. Let j be b(33). Which is bigger: j or 4/95?
j
Let y = 739/51 + 3/17. Let n be 112*3/18*((-9)/4)/(-3). Is y < n?
False
Let y = -1.36 + 0.26. Let f = y - -9.1. Let a = 16 - f. Is -0.1 <= a?
True
Let l = -28 + 46. Let r = -10 + l. Let x = 376/65 - 70/13. Which is smaller: r or x?
x
Let v(q) = -q**2 + 1 - 4 - 2 + 2*q + q**3 + 3. Let b be v(2). Suppose -3*r = b + 6. Are r and -4 unequal?
False
Let h = 1.91 + -0.35. Let m = 1.6 - h. Let s = 0.7 - -0.3. Do m and s have the same value?
False
Let x = 876 - 521. Which is greater: 0 or x?
x
Let z(m) = m**3 + 7*m**2 + 5*m + 3. Let b be z(-6). Suppose -2*h = -5*h - b. Suppose -22*k + 19*k = 5*v + 30, -24 = 3*v + 3*k. Is v at most h?
True
Let d be (0 - -5)/(110/44). Suppose 3*w = -9, d*w + 2 = -5*q + 6. Let s be q/20*5*-8. Which is smaller: -9/2 or s?
-9/2
Let p = -17/4 - -23/4. Let y = -67/11 - -259/66. Let h = p + y. Does h = 0?
False
Let v(c) = c**3 + 4*c**2 - 5*c + 2. Let p be v(-5). Let r be p/6 + 50/(-6). Suppose -n + 16 = -3*n. Is r > n?
False
Let q(w) = -w**3 + 5*w**2 - 2*w + 10. Let u be q(5). Let b be (-1 - 1) + 0 + -1. Let m be 9/57*2/b. Does m = u?
False
Suppose o = 6*o - 460. Let s = o + -77. Is 15 smaller than s?
False
Suppose 0*m - 4*m + 2*v + 4 = 0, 0 = -4*m + 4*v. Let k be (-16)/160 + m/(-5). Is k equal to -0.3?
False
Let r(s) = 200 - 7*s - 95 - 88. Let q be r(4). Suppose 26 = f - 3*f. Which is bigger: f or q?
q
Let c = 37.61 + 0.39. Let i = c - 55. Let f = i - -19. Which is smaller: f or 1/5?
1/5
Let d = 13465/98 + 54/49. Which is smaller: d or 140?
d
Let h = 2762 + -2461. Is h > -3?
True
Let y(t) = t - 4. Let u be y(-2). Let g be ((-10)/(-4))/(u/(-12)). Let j be -1 + (g - (-6)/(-2)). Is 3/5 > j?
False
Let y = 34119/116 - 1195/4. Let a = y - -2272/203. Let q = -244/35 + a. Is -7 at least q?
False
Let c = -237 - -82. Let t = -1861/12 - c. Let i = t - 5/84. Are i and 0 equal?
False
Suppose -5*k - 5*b = -125 - 305, -4*b - 328 = -4*k. Let q = k - 104. Is q > -23?
True
Let q be (-1224)/(-10) - ((-512)/(-80) - 6). Which is smaller: 846/7 or q?
846/7
Let h = 526 - 483. Which is greater: h or 3?
h
Let z = -0.104 - -0.104. Is 4/5 smaller than z?
False
Let j be 0/(3 - (2 - 1)). Let u be -1 - -1*(j - -2)/2. Is u at most 5/4?
True
Let z(c) = -c**2 - 6*c + 15. Let s be z(2). Let t = 0 + 0. Suppose t - 87 = -3*v. Is v at most as big as s?
False
Let t be (-26)/(-6) + 2/(-6). Suppose t*u = -49 - 27. Let m = u - -19. Which is smaller: 2 or m?
m
Let z = -577 + 583. Is -0.24 at most z?
True
Let h(p) = -19*p + 752. Let t be h(58). Which is smaller: t or -347?
t
Let g = 583.99 - 584. Is g equal to 17?
False
Let n(m) = -m**3 - m**2 - 6*m - 5. Let j be n(-1). Suppose b - 17 = j. Which is greater: 22 or b?
22
Let j(c) = -c**2 + 3*c - 7*c + 12 - 7*c - 2*c. Let b be j(-14). Let d be b/(-7) + 105/(-196). Which is smaller: 4 or d?
d
Suppose 4*g + q = 136, 5*g + 3*q = 16 + 161. Is g smaller than 172/5?
True
Let g be (316/(-52) - -6)*186/37. Let i = g + 20/37. Which is smaller: i or -1?
-1
Let f = -24 + 23. Suppose -5*o + q - 210 = 0, 9*o - 5*o + 5*q + 197 = 0. Is f > o?
True
Let n = 1277 + -1046. Is n less than 230?
False
Let z(s) = 3*s + 21. Let k be z(-8). Is k greater than -8?
True
Let r = 8.6 - 10.6. Let w = -0.8 - -1.1. Is w >= r?
True
Let z(t) = -3*t + 17*t**2 - 2*t - 2 + 4*t**3 - 3*t**3 - 15*t**2. Let g be z(-3). Are 1 and g unequal?
True
Let s be (1 + 22/(-10))*(-2)/(-3). Let h = 4189/377 - 144/13. Let g = h + 26/87. Which is bigger: s or g?
g
Let f be -4*9/60*45. Suppose 6*c + x = c - 136, -5*x + 49 = -2*c. Is f smaller than c?
False
Let l = 110938/9 + -12312. Let r = 623/45 - l. Suppose -k - 2*k - 3 = 0. Which is smaller: r or k?
k
Let h = 72 - 64. Let l be (0/1)/((-8)/h). Do -0.23 and l have the same value?
False
Let h be 2912/336 + (-16)/2. Which is smaller: h or -0.39?
-0.39
Let h = -0.43 + 0.23. Is 1/167 bigger than h?
True
Let p(q) = q. Let b be p(-3). Let o(t) = -2*t**2 - t. Let h be o(b). Let y be (-10)/h + (-22)/24. Which is greater: 16 or y?
16
Let b(a) = -a**2 + 6*a - 9. Let o be b(3). Suppose -2*g + 5*m - 103 = o, 4*g - 2*m + 214 = -32. Which is smaller: g or -65?
-65
Suppose 5*j + 0*a - 2*a = 138, -2*j = 4*a - 60. Suppose 0 = -30*p + j*p - 4. Which is bigger: -10/17 or p?
-10/17
Let i be 80/(-14) - -5 - 4/14. Let a = 51 + -43.2. Let j = 1.2 + a. Is i at least as big as j?
False
Let z = -12 - -12. Let l(r) = r + 2. Let t be l(z). Suppose t*b - 10 + 24 = 0. Which is smaller: -0.1 or b?
b
Let u = -1081 - -119993/111. Let o = -589 + 588. Which is greater: o or u?
u
Let m = -62323/47 + 1326. Which is bigger: m or -1?
m
Let n = 0.1 - 0.1. Let u = -66.87 + 66. Let t = u - 0.13. Which is bigger: t or n?
n
Suppose -2*h - 17 = 3*k, 4*k - 7*k = 5*h + 29. Is h less than or equal to -48/17?
True
Let d(o) = o**2 + 4*o - 120. Let r be d(9). Which is smaller: r or 11?
r
Suppose 2*v = -0*v - 18. Let p(n) = 176*n + 342. Let r be p(-2). Which is greater: v or r?
v
Let k = -10 + 4. Let y be ((-2)/k)/((-1)/(-3)). Let w = 6/89 - 149/890. Is w >= y?
False
Let j = -0.211 + 0.251. Is -14 not equal to j?
True
Let l = -0.05964 + -612.84036. Let k = 582 + l. Let g = k + 31. Is g equal to -11?
False
Let l(b) = -4*b**2 - 43*b + 212. Let c be l(6). Is -189 bigger than c?
True
Let f = 8 - 152. Let b be -3 + 2 - f/12. Which is bigger: b or 13?
13
Let k be (-15 - -21) + (0 - -124). Which is smaller: 131 or k?
k
Let i = 4120 + 677. Let u be (-1048)/i + 4/18. Let m = -1164/26117 + u. Is m at most -1?
False
Let z(a) = 3*a**2 + 8*a + 11. Let r(s) = 4*s**2 + 7*s + 12. Let v(t) = 5*r(t) - 6*z(t). Let i be v(6). Suppose 3*y + 2*y + 55 = 0. Is y != i?
True
Let i be (-83)/581 - (3 - 87/(-28)). Let w = 2 + -8. Which is smaller: w or i?
i
Let l(s) = s**2 + 3*s - 2. Let f be ((-1)/(-1))/((-6)/(-6)). Let p be l(f). Suppose 0 = -0*a + 2*a - y - p, 3*a - 29 = -5*y. Is 2 less than or equal to a?
True
Let h = 16.7 + -16.9. Which is smaller: -2.03 or h?
-2.03
Suppose -8*p - y - 29 = -3*p, p + 25 = -5*y. Let d be 5 - ((0 - 1) + 1). Suppose 0 = -4*u + d*u + 7. Which is bigger: u or p?
p
Let g be -5 + (-14)/(-4) + 5625/6. Let c be g/108 + -4 + 1. Is c less than 5?
False
Let f = -5 + 3. Let z = 3745 - 33721/9. Is z equal to f?
False
Let n = 3.66 - -0.14. Let r = n - 3.74. Is 0 < r?
True
Let f(c) = c**3 + 10*c**