200 or u?
u
Let d = -3.2 + 3. Let m = d - -5.2. Let y = m - 5. Are y and 5 non-equal?
True
Let g = 2849/9 - 317. Let o(t) = -t**2 - 5*t - 4. Let i be o(-4). Which is bigger: g or i?
i
Let q = 51.2 + -51. Let a = 1.3 + -5.5. Let j = a + q. Which is smaller: j or -1?
j
Let s be (-6)/4 + (-44)/(-8). Let f be s/(6/9*9). Which is greater: f or -20?
f
Suppose -12 = 13*o + 1. Which is bigger: 1/306 or o?
1/306
Suppose -2 = 3*u - 5*u. Let h be -3 - (u + 6/(-2)). Let m = 2508/5 - 504. Is h at least m?
True
Suppose -13*u + 1638 = -20*u. Which is greater: u or -465/2?
-465/2
Let j = 9 - 4. Suppose -j*d - 7 = -2. Suppose -6*u = -638 + 620. Is u greater than d?
True
Let i = 337 + -305. Which is greater: i or 1/7?
i
Let n be 0 + 189/53 - (54 + -51). Is 0 bigger than n?
False
Let l be 5 - (20 - (-6)/(-3)). Is -19 != l?
True
Let g(l) = l**3 - 4*l**2 + 4*l - 2. Let s(b) = b**2 - 13*b - 5. Let t be s(10). Let h be 14/t*(0 - 5). Let j be g(h). Is j less than 3?
True
Let c = 181/42 + -31/6. Which is smaller: -1 or c?
-1
Let a = 104167/45 - 2315. Which is smaller: a or 0?
a
Let p be -2 + 5 - (-3 - -6). Which is smaller: -16 or p?
-16
Suppose -2*z - z = -12. Suppose -z*q + 0*q - 20 = -4*x, x = 3*q + 9. Let i be ((-2)/x)/((-80)/75). Which is greater: i or 1?
1
Let x = -0.2059 + 0.0629. Are -1 and x equal?
False
Let h be (-37)/(-7) - (1 - (-10)/(-14)). Let t be (4/h)/((-162)/(-45)). Let g = -1 - -1. Which is smaller: t or g?
g
Suppose -3*c - 3 = 3. Let g = -329 + 327. Is c not equal to g?
False
Let k = -11 + 33. Suppose -3*b - k = -19. Which is smaller: -2/65 or b?
b
Let v be 2/(10/(-60) - 1/3). Which is bigger: -3 or v?
-3
Let d(t) = -t**3 + 6*t**2 + 12*t + 26. Let c be d(8). Let b be (1 + c/10)*(-14535)/(-51). Which is smaller: 113 or b?
113
Let m = 3.7 + -0.7. Let i = 39.267 + 0.633. Let k = -40 + i. Which is bigger: k or m?
m
Let f(x) = -x + 5. Let v be f(-7). Let l be -3*(v/(-9))/4. Let k be (6/18)/(l/27). Is 7 < k?
True
Suppose -a = 5*o + 6, 5*o + 64 + 18 = 3*a. Suppose 9*r + 8 = -a. Which is bigger: -2 or r?
-2
Suppose g = -3*f - 3*g + 3, g = 2*f - 2. Let u be (f + 3/(-3))/1. Suppose 5*l + 13 - 103 = -5*p, -4*p + 5*l + 45 = u. Is 14 smaller than p?
True
Let f = 42 + -44. Let t be (f/5)/((9/5)/3). Which is bigger: 13 or t?
13
Let f be -2 + (5 + -6)*4. Are f and 2 non-equal?
True
Let z(q) = q**2 + q + 8. Let p be z(-4). Let u = p - 29. Let o be 4/(-6)*u/18. Which is smaller: o or 0?
0
Let m = 30 - 7. Which is greater: 12 or m?
m
Let m be ((2336/36)/8 + 24/(-3))*18. Suppose 2*y + 30 = 3*w, 2*w - 31 = 4*y + 45. Which is smaller: m or y?
y
Let p be 2584/(-170) - 2/(-10). Which is greater: p or -91/6?
p
Let d(x) = -x**3 - 53*x**2 - 191*x + 9. Let i be d(-49). Are -239 and i unequal?
True
Suppose 2*p = -5*v + 7*p + 810, 2*v + 5*p - 338 = 0. Are v and 165 non-equal?
True
Suppose 0 = -4*c + j + 16, -j = -5*c - 0*j + 20. Suppose c*r + a - 187 = -0*r, 0 = r + 5*a - 23. Let p be (-4)/18 + r/(-27). Is -1 bigger than p?
True
Let k be (-14)/6 + 8/(-12). Let j be 3/7 - (-8)/448*-584. Is k less than j?
False
Suppose p + r - 200 - 208 = 0, 4*r = 4*p - 1672. Is p < 412?
False
Let i be (-45)/(-84)*(-35)/(-10). Let v = 283 + -282. Which is bigger: v or i?
i
Let q be (-5)/(-4) - (-1595)/1188. Which is smaller: 3 or q?
q
Let t(k) = -k**3 - 18*k**2 - 16*k + 25. Let q be t(-17). Suppose 0 = -3*b + 2*b + 1. Let y(o) = 7*o**3 + o**2. Let d be y(b). Is q at most as big as d?
True
Let o be (3 - -1)/(-4) - 9. Let x be (2 - 1)/(9 + o). Is -3/2 less than or equal to x?
True
Let y = 55577/7 - 7830. Let n = y + -109. Which is smaller: n or 1?
n
Let q be ((-8)/(-6))/(105/9). Which is bigger: 0 or q?
q
Let x be 0 - (-8)/10 - 3972/15. Let j be (2/(-25))/(5 + x/55). Let p = 0.1 - 0.1. Which is smaller: p or j?
j
Suppose t + 10 + 166 = 5*u, 155 = -t - 2*u. Does t = -160?
False
Let t = -137 + -17. Let n be (2/(-7))/(110/t). Do -20 and n have the same value?
False
Let g(z) = 4*z + 43. Let p be g(-13). Are -20 and p equal?
False
Let t = 18 + -120/7. Let v be 1 + 1 - (-1 + 1). Is v at most t?
False
Let l = -8.5 + 8.5. Let z(h) = h. Let x be z(2). Let f be 8/(-45) + x/(-9). Is f smaller than l?
True
Suppose -2*j = 5*r - 0*j + 6, 0 = -3*r + 2*j - 10. Which is bigger: -242 or r?
r
Let m be (46 - 45)*11*1. Which is smaller: -0.2 or m?
-0.2
Let h(o) = o**2 + 16*o - 12. Let w be h(-16). Let z(v) = -v**3 - 14*v**2 - 24*v + 6. Let p be z(w). Is p greater than 5?
True
Let t(k) = -6*k + 42. Let q be t(7). Suppose -107 = -4*j - 5*g, 5*j + 0*j = -5*g + 140. Is j smaller than q?
False
Suppose 4*v - 27 = 13. Let w be 6/2 + v + -3. Suppose w + 20 = -6*d. Which is bigger: -1 or d?
-1
Suppose -3*l - 634 + 253 = 0. Is -128 at most as big as l?
True
Let k(d) = -8*d + 8. Let l(w) = -8*w + 7. Let j(h) = 6*k(h) - 5*l(h). Let n be j(2). Is n != -21/5?
True
Suppose -2*m + 1 = 3. Is m equal to 4/51?
False
Let y(z) = 41*z - 107. Let g be y(-9). Is -477 >= g?
False
Let x = -220.7 - -209. Let v = x + 57.7. Which is smaller: 1 or v?
1
Let l = 244.2 + -244. Let j = 1 + -0.99. Is l at most j?
False
Let a = 1574 + -2031. Is 1 > a?
True
Let f(r) be the third derivative of -r**4/24 + r**3 - r**2. Suppose 5 = -5*u, 0 = 4*t + 5*u - 4*u - 31. Let i be f(t). Which is greater: i or -3?
i
Let w = 2672 - 2673. Let i = 92 - 551/6. Is w equal to i?
False
Suppose -5885 = 13*u - 750. Is -397 != u?
True
Let v(a) = -12*a**2 - 30*a - 5. Let t be v(7). Let l = 42561/53 + t. Is 1 bigger than l?
True
Let l be 1 - (2 + 9/(-13)). Suppose -4*a - 10 = a, 4*s = 3*a + 30. Let k be ((-2)/(-4))/(3/s). Is k != l?
True
Let c be -6*(-7)/((-14)/6)*2. Is c < -37?
False
Suppose -501 + 156 = 5*o. Let z = 206/3 + o. Which is smaller: z or 0?
z
Let k be 20/8*72/(-630). Which is greater: k or -7?
k
Let t = -31 - -36. Suppose -5*r = 5*b - 25, t*r - 2*b - 23 = -5. Is 10/3 equal to r?
False
Let g = 21.053 - 0.053. Let y = -0.096 - -0.096. Which is smaller: y or g?
y
Suppose -w = -2*y - 7 - 22, -5*y + 32 = 3*w. Let d = -7 + w. Let x = d + -11. Which is greater: -1 or x?
x
Let a = 7 - -60. Suppose 0 = g + 5*o + 11, 3*g = g - o - a. Which is smaller: g or 2?
g
Let x(v) = -v**2 + 23. Let t be x(0). Let z = t - 24. Is z >= -1?
True
Let z = 14/2385 + -2280158/16695. Let x = 137 + z. Suppose 5*f + 2*c - 2 = 7, 3*f + 3*c = 9. Which is greater: f or x?
f
Let n(z) = 3*z**2 + 2*z - 1. Let r be n(1). Suppose -r*f + 0 = t - 4, 0 = 4*f + 12. Suppose 4*v + 40 - t = 0. Is v smaller than -5?
True
Let u = -337/1047 + -4/349. Which is greater: -114 or u?
u
Let h = -107 - -72. Let r be h/(-9)*-1 + 5. Is 0.1 != r?
True
Let b(k) = -k**3 - 15*k**2 - 14*k. Let v be b(-14). Suppose 4*h + 1 + 7 = v. Which is bigger: -5 or h?
h
Let o = -5.1 - -5. Let r = 18.6 + -1.6. Let k = 19 - r. Is o < k?
True
Let r = 439 - 438. Let i be (2/1)/(5 - 0). Which is smaller: i or r?
i
Let h(m) = -m**2 - 9*m - 2. Let v = 24 - 32. Let u be h(v). Do u and 5 have the same value?
False
Let n be 78/(-104)*((-16)/(-6))/(-2). Which is smaller: 162 or n?
n
Let z = 54 + -53.38. Let w = z + -0.42. Is w less than 0.2?
False
Let o be (-1101)/8 - 7*18/336. Which is smaller: o or -137?
o
Let n be (189/84)/(18/13368). Is 1671 at most as big as n?
True
Let g = 3.6 + -0.7. Let k = 133 + -130.3. Let x = k - g. Which is bigger: 1/12 or x?
1/12
Let q(z) = -z + 14. Let r(o) = 2*o - 29. Let u be 14/2*(5 - 6). Let d(k) = u*q(k) - 3*r(k). Let b be d(8). Is -4 at most b?
True
Let h = 2.4 - 4.5. Let t = 3 + h. Let i = t - 5.9. Is i at most 1/4?
True
Let r(p) = -3*p**2 - 9*p - 6. Let g be r(-2). Is g bigger than 3/191?
False
Let t = -1120 - -1070. Is t >= 6?
False
Let t = -497 - -3477/7. Are -0.235 and t equal?
False
Let q = 0.26 - 0.3. Let o = 5.596 - 1.596. Which is greater: q or o?
o
Suppose -31*u = -5*p - 36*u + 35, 12 = 4*u. Which is bigger: 15 or p?
15
Let q be -3 + ((-886)/14 - (-6)/21). Let r be (0 + -3 - -2)*6/q. Is -4/3 less than or equal to r?
True
Let n be (0 + 1)/((-6)/12*-1). Let w be 2/4*(n + -2). Which is smaller: w or 1/62?
w
Suppose -5*z = -3*w + 12, 2*z = -3*w + 18 - 6. Let c = -19 + 23. Suppose -7*b = -c*b. Is z less than or equal to b?
True
Suppose -23*s + 21*s + 4 = 0. Suppose -2 = 4*k - 2*j, -4*k + 9*k + s*j = 2. Suppose 3*o - 2*o = -3. Which is smaller: k or o?
o
Let z = 4 - 6. Suppose -5*d + 5*h = 6 - 1, 4*h = d + 