g + 32*u, 0 = 5*u - 5. Is -28 smaller than g?
False
Let i be (-56)/93 - (-2 - -2). Let o = 2/31 - i. Suppose 2*z + 3*p = 4*z + 6, 2*p = 2*z + 4. Which is smaller: z or o?
z
Let y(d) = -26*d - 482. Let v be y(-20). Is v at least 43?
False
Let d = -0.12 + 18.12. Let w = -83 + 100. Let h = w - d. Is h equal to -1.1?
False
Suppose 0 = 5*y - 2*p - 1554, 3*y = -3*p + 572 + 373. Suppose 5*l = 11*l - y. Are l and 53 non-equal?
True
Let r = 131/2 - 67. Let x = 1 + r. Which is smaller: 0 or x?
x
Let r(v) be the second derivative of v**5/20 - v**4/3 - v**3/6 - 5*v**2/2 - 5*v. Let d be r(5). Let j = d + -16. Which is smaller: j or 1/6?
j
Suppose 9*y - 6*y = -17*y. Let w be 2/(-24)*2*1. Let h = 1/12 - w. Are y and h unequal?
True
Let z(r) = -3*r + 23. Let s = -4 + 10. Let g be z(s). Which is smaller: g or -1/4?
-1/4
Let m(j) = -j**2 + 18*j + 34. Let x be m(23). Which is bigger: -82 or x?
x
Let l be (2/(-5))/(728/140). Let j = -5 - -5. Is j at least l?
True
Suppose 5*r - 5 = -0*r. Let b(t) = t**2 - 2*t + 3. Let m be b(2). Suppose -5*c = 2*q + 8, -4*c - m*q = -2*q + 4. Is c at most r?
True
Let h = 1153 + -1154. Is -0.0466 at most as big as h?
False
Let p = 2/11201 - -4894833/22402. Which is greater: 219 or p?
219
Let y = 308 + -307. Let n = -381102 + 24772844/65. Let l = n - 222/13. Is y >= l?
False
Let b = 2248/85 - 450/17. Which is smaller: b or -1?
-1
Suppose 17*m + 2013 + 2339 = 0. Which is smaller: m or -1283/5?
-1283/5
Let n(q) = -q**3 - 10*q**2 - 10*q - 9. Let g be n(-9). Let v = g + -4. Suppose -8 = 3*h + h. Which is bigger: h or v?
h
Let w(u) = -u**3 - 10*u**2 - 8*u + 4. Let q be w(-8). Let k be (8/q)/((-2)/(-18)). Are k and 0 unequal?
True
Suppose 4*n + 72 = 3*v, -3*v + 18 = -n - 5*v. Let r be 6/n*9/(-4). Let a be (0 + 0)/((-1)/1). Is a greater than or equal to r?
False
Let d be 33/(-22)*(-20)/3. Suppose 3*n + d = 22. Let s be ((-3)/(-9))/(2/30). Is n less than or equal to s?
True
Suppose -8 = 9*g - 8*g. Let a be 1/4 + (-78)/g. Which is smaller: a or 1?
1
Let q(w) = -w**2 + 7*w - 12. Let j be q(3). Suppose 3*x + 0*x - 179 = 2*z, -z = 2*x + 86. Let b be 2/6 + z/84. Is j < b?
False
Let j = 331.1 - 331. Let h(v) = -v**2 - 4*v + 3. Let y be h(-3). Which is smaller: j or y?
j
Let t = -16.5 - -19. Let f = 2.8 - t. Which is bigger: 1/4 or f?
f
Let y = 9.078 - 0.078. Is y greater than or equal to 21?
False
Suppose 5*o - 6 = 4*w, 0 = -2*w - 10*o + 11*o. Is 4/1649 <= w?
True
Suppose 5*z - z - 2*y + 42 = 0, 0 = 5*z + 2*y + 66. Is z equal to -8?
False
Let t(c) = -136*c + 279*c - 142*c - 11. Let q(l) = 2*l + 4. Let v be q(4). Let d be t(v). Which is bigger: d or 3?
3
Let f(q) = 8*q**2 - 4*q - 3. Let d be f(4). Let s be 81/24*(-98)/3. Let l = s + d. Which is smaller: 0 or l?
l
Let n(u) = -75*u - 3. Let l be n(2). Is l <= -152?
True
Let g = -20.2 - -22. Let x = g + -2.8. Let y = 517/140 + -15/4. Is x less than or equal to y?
True
Suppose -s + 3*h + 14 = -h, s - 5*h - 18 = 0. Are -1/49 and s equal?
False
Let l(t) = 2*t**3 - 23*t**2 + 8*t + 34. Let v be l(11). Are 31 and v non-equal?
True
Let i be 765/(-21) - (-12)/(-21). Let m = -184/5 - i. Is -7 < m?
True
Suppose -4*u - 24 = 4*x + 76, 5*u + 175 = 5*x. Which is greater: -21 or u?
-21
Let p = 14.7 - 14. Which is bigger: 0.08 or p?
p
Let o be (-3 - 5)/4 + 4. Suppose -3 = -5*s + o. Let g = 4 + -18/5. Is s < g?
False
Let q = 0.2 + -0.2. Suppose -5*o + 268 - 93 = 0. Let w = o - 36. Which is smaller: w or q?
w
Let f(i) = -93*i**3 - 3*i**2 + i + 1. Let u be f(1). Let g be u/(-33) + 6/(-33). Which is bigger: g or 2?
g
Suppose q = -4*q. Let x be (-2)/((-6)/9) + q. Suppose -3*y + 5 + 4 = 3*c, -x*y = -5*c - 25. Which is smaller: c or -7?
-7
Suppose 3*g = -2*q + 33, 0 = 4*q - 0*q - 2*g - 74. Suppose 0 = 4*z - i + 1, -4*z - 3*i + 5 - q = 0. Is z > 1/31?
False
Let s(c) = -c**3 - 2*c**2 - 17*c - 42. Let u be s(-8). Is u at least as big as 479?
False
Let w(j) = 24*j**2 + 2 + 17*j**2 - 10*j - 42*j**2. Let l be w(-10). Suppose l*q - 2 - 2 = 2*g, -3*g = -q + 12. Which is bigger: q or 0?
0
Let m be 202/1284 - 18/108. Which is smaller: 0 or m?
m
Let h(a) = -2*a + 13. Let c be h(4). Suppose -4*g - 9 = -c*g. Suppose g*p - 5 = 4*p - u, 0 = 3*p - 2*u + 10. Which is smaller: p or -2/19?
-2/19
Let h = -42 - -505/12. Let p = -1 + 0. Which is greater: h or p?
h
Let y = -24 - -24. Suppose y = -3*o + r + 14 + 7, o = r + 9. Suppose 5*d - 19 = -3*n, 19 = 5*n + 5*d - o. Which is smaller: n or 12/7?
12/7
Let s = 303 + -301. Which is smaller: 52 or s?
s
Let z = -3 + 3.6. Let l = -1.6 + z. Let f = -29 + 146/5. Which is bigger: f or l?
f
Let h(t) = -66*t + 661. Let n be h(10). Let c be (-6)/3 + 18/11. Is c != n?
True
Let q = -4.02 + 39.12. Let v = q + -37. Let g = v + -0.1. Do 1 and g have the same value?
False
Let q be 0 + -1 + -55 - 0. Suppose p = -3 - 52. Which is bigger: q or p?
p
Let l = -0.94 + 2.62. Let z = l - 0.68. Are z and -19 equal?
False
Let r be 65/26*184/10. Let s = -15363/4 + 3887. Let l = s - r. Which is bigger: 0 or l?
l
Suppose 25*c - 28 = -3. Is -4/17 greater than c?
False
Let y be (1*3)/((-1)/(-3)). Let a(g) = -5*g**2 + 4*g + 1. Let r(i) = -i**2 - i - 3. Let b(x) = -a(x) + 4*r(x). Let c be b(y). Which is smaller: c or 0?
c
Let d = -3 - -5. Suppose -d*o = -o - 2. Suppose -o*l + 18 = l. Is 7 smaller than l?
False
Let p = 0 - -0.1. Suppose 0 = 46*c - 41*c + 20. Let q be c/25*45/(-6). Which is bigger: p or q?
q
Let y be 225/10*48/(-5). Let q = y + 1073/5. Let u = -591/2 + 295. Are u and q non-equal?
True
Let g = -570/23 - -9138/391. Do 0 and g have the same value?
False
Let p = -13/72 + -7/36. Let k be 3/5*75/3. Suppose v - m = 3, -2*v + 7*v = -5*m - k. Is v >= p?
True
Let u = 106 + -132. Is -26 at most u?
True
Let d = -44.21 - -44. Let o = 4.89 + -5. Let k = d - o. Is k < 3?
True
Let g = -56 + 55.34. Let v = 1.16 + g. Is 4 at least v?
True
Suppose 0 = -7*t + 723 + 439. Is 165 < t?
True
Let v(o) = o**2 - 5*o + 7. Let n be v(5). Let d(c) = c + 2*c - 5*c - 16. Let f be d(-12). Is f greater than n?
True
Let d be (3/((-129)/(-2)))/(-2). Suppose 48*h = 5*v + 47*h, -4*v = 4*h + 24. Is d at least v?
True
Let w = -17 + 18. Let j be 4/14 - (-27)/(-21). Let m = j + 2. Are m and w nonequal?
False
Let y(n) = n + 17. Let i be y(-10). Suppose 3*o - 18 = -3*r - 0*r, -3*o = -2*r + i. Let d = -357/10 + 36. Which is bigger: d or o?
o
Suppose 5*j + u - 5*u + 22 = 0, 0 = -5*j - u - 32. Let x = -11 - j. Let r(k) = -k**2 - 2*k + 2. Let d be r(-3). Which is bigger: x or d?
d
Let n = -19.92 - -1.72. Let g = n + -2.8. Let x = g - -15. Which is greater: x or -0.1?
-0.1
Let g = -44223/55 - -804. Let q = -7/2145 - g. Which is smaller: q or -1?
-1
Let d = -35 + 51. Let s = -12 + d. Suppose s*b - 9 = 3. Which is bigger: b or 4?
4
Suppose -53 = -13*v + 25. Suppose -3*c - 9 = d - 59, -4*d = -4*c + 56. Let f be -2 - c/v*-1. Is 2/9 greater than or equal to f?
False
Let h(l) = -l**2 + l - 10. Suppose 0 = -z + 4*z. Let g be h(z). Is g <= -1?
True
Let u(r) = -r + 11. Let y be u(3). Let t be (-8)/14 - y/(-14). Is 1/4 smaller than t?
False
Suppose 2*q - 106 = -4*a, 120 = 5*q + 2*a - 185. Let v be (40/(-14) - -2)/((-3)/q). Suppose x - 7 - 12 = 0. Which is bigger: x or v?
x
Let l = 1 - 0. Let s = -32 + 50. Let x = 18 - s. Is x at least l?
False
Let h(z) = z**2 + 9*z + 13. Let b = 37 + -45. Let k be h(b). Is k at least as big as 23/4?
False
Suppose -3*k - 10 = 8. Let o(y) be the first derivative of y**4/4 + 3*y**3 + 4*y**2 - 7*y - 6. Let a be o(-8). Which is bigger: a or k?
k
Let w = 0.2 + 1.8. Which is bigger: w or -91?
w
Let j = 19 + -43. Let p = -22 - j. Let i(g) = 3*g**2 + 2. Let y be i(p). Is y less than or equal to 14?
True
Suppose 351*h - 355*h - 228 = 0. Which is smaller: h or -52?
h
Let k = 382 + -382. Is k bigger than 21.2?
False
Let z be (14 + 1)/(-3) - (74 - 185). Which is bigger: 102 or z?
z
Suppose -28*w - 498 = -31*w. Suppose y = -3*r + 94, -5*y + y + w = 5*r. Is 30 greater than r?
False
Suppose 15*p - 6*p = -360. Let u = p - -45. Suppose -1 = 2*q + 1. Is q less than u?
True
Let r = 0.192 + -24.192. Is 0.1 bigger than r?
True
Let p = 2 + 0. Suppose -m = -p*m + 12. Let r(w) = -21*w**2 + 255*w - 35. Let o be r(12). Which is smaller: m or o?
o
Let w = 1.1 - 1.3. Let p = 0.3 + w. Which is smaller: p or 27?
p
Suppose -5*d - 540 = -0*d. Let m be (18/d)/((-2)/8).