s greater: w or -11/7?
w
Let r(d) = d - 11. Let m be r(12). Let l be (-2)/((-8)/444*1). Let c = -553/5 + l. Is c at least m?
False
Let r(d) = -2*d**3 + 12*d**2 - 8. Let q(k) = -2*k**3 + 12*k**2 + k - 7. Let f(x) = -3*q(x) + 2*r(x). Let w be f(6). Is w at most -12?
True
Suppose -3 + 131 = 8*l. Which is smaller: 108/7 or l?
108/7
Let h be 41/8 + 2 + 0. Let p = -1897/264 + h. Suppose -3*s - 5 = -8. Is p less than or equal to s?
True
Let h(c) = -61*c + 670. Let q be h(11). Is q greater than -135?
True
Let k(p) = -p + 17. Let l be k(16). Suppose -3*r - 5 - l = 0. Let t = 133 + -668/5. Which is greater: t or r?
t
Let a(d) = -2*d**3 - 5*d**2 + 4*d. Let q be a(-4). Let s = 43 - 75. Let k = s + q. Is k less than or equal to 2/75?
True
Let s = -1802/4455 - -4/891. Are s and 5/4 equal?
False
Let h be -5*(3/(30/28) - 3). Which is smaller: h or -5/154?
-5/154
Let l(w) be the third derivative of w**5/60 - w**4/12 + 5*w**2. Let v be l(2). Suppose 4 = -t - v. Which is smaller: -2 or t?
t
Let s be 4/(-10) + 51/15. Suppose q + 9 = -2*m, s*q - 29 = 5*m - 1. Which is bigger: 20/9 or q?
20/9
Suppose -760 = 5*c + 4*n, -2*c + 2*n - 234 = 88. Is -155 at least as big as c?
True
Let a = 519.1 + -519. Which is smaller: 0.15 or a?
a
Let a = 18 - 17.66. Let n = a + -0.34. Is n bigger than -10?
True
Let j = -37/16 - -5233/2256. Is 0 at most j?
True
Let v = 19.8 + -22. Let z = -28 - -26. Let u = z - v. Does 2/3 = u?
False
Let f = -59 - -64. Suppose -3*t = -t - k + 4, -f*t = 2*k + 19. Which is bigger: t or 14?
14
Suppose 3*q = 8*q. Let z = 37.6 - 24.6. Is z >= q?
True
Suppose 2*v - 31 = x + 5*v, 3*v - 55 = x. Let p = x - -38. Which is bigger: 0.1 or p?
0.1
Suppose 0 = -5*j + 5, 5*o + 29 + 4 = 3*j. Is -63/10 < o?
True
Let x = -1357.3 - -1364. Which is bigger: x or 3?
x
Let s = -522 + 245. Are s and -277 non-equal?
False
Let v = -0.49 + -0.91. Which is smaller: v or -1?
v
Let r = -28.5 + 28.6. Is -2.3 less than r?
True
Let j be 2 + -3*(1 - 2). Suppose -2*u + 9 = 5*b, 0*u + j = 4*u - 3*b. Suppose -1 = -u*d - 3. Which is greater: d or -3/4?
-3/4
Let l be -1 - ((-6)/(-33) + 472/(-418)). Which is greater: -0.4 or l?
l
Suppose 0 = 4*t + 12. Let i = -16 - t. Is -11 not equal to i?
True
Let v = -49 - -11. Suppose -3*i = -2*i - 2. Let m be v/4 + 3/i. Is m at most -8?
True
Let m = 36 + -33. Let g = -2.4 + m. Which is greater: 0.1 or g?
g
Let r(h) = -2*h + 5. Let b(s) = 5*s - 9. Let n(a) = -3*b(a) - 7*r(a). Let o be n(4). Which is greater: -104/9 or o?
-104/9
Let b = 0.21 - -11.79. Let i = -60 - -48. Let c = -11 - i. Which is greater: c or b?
b
Let j be 38/(-24) + (-11)/(-44). Let k(s) = s - 2. Let w(o) = -2*o + 3. Let t(z) = -5*k(z) - 2*w(z). Let c be t(5). Which is greater: j or c?
c
Let q = -21.11 - -24.51. Which is bigger: q or 2/21?
q
Suppose 16 = 2*f + 18, 5*f - 335 = -5*h. Is 67 less than h?
True
Let g be (22 - 16)/(1 - 6). Which is smaller: 1/9 or g?
g
Let d be (-4)/(-12) - (-884)/120. Which is greater: d or 7?
d
Let l(v) = -v**2 - 3*v - 6. Let a be l(-18). Which is smaller: -275 or a?
a
Let c be ((-16)/(-108))/(1015/(-168) + 6). Which is smaller: c or -5?
-5
Let s = 196.65 + -4.65. Let q = 279 - s. Is q at most as big as -0.1?
False
Let c(i) = i**3 + 5*i**2 - 2. Let k be 1 + (12/(-2))/2. Let a be c(k). Suppose -5*h + s = -45, -7*h + 36 = -3*h - 5*s. Which is bigger: a or h?
a
Let l = 32 + -27. Suppose -4*c = 2*z - 14, 0 = -5*c - 3*z + 8*z - l. Is c at most as big as 10/7?
False
Let w be ((-242)/3)/((-6)/9). Let v = 1090/9 - w. Let z = 0.363 + 1.637. Which is greater: v or z?
z
Suppose 0 = 3*j + 4*u - 6, -2*j + 5 - 1 = 4*u. Let s be (-2 - j*-5)/(-1). Let o(h) = h**3 - h**2 - 20*h - 35. Let g be o(-2). Which is smaller: g or s?
s
Let s = -23 - -3. Let w = -24 - s. Let y = w - -3.9. Which is smaller: y or 17?
y
Let k = -105 + 105. Is k != 21/2?
True
Let f be 11/((-55)/(-25)) + 1*-9. Is f at least as big as -11?
True
Let j(k) = k**2 - 11*k + 10. Let p be j(10). Is 1 less than p?
False
Suppose 48*t - 20 = -68. Suppose j - 49 - 8 = 0. Let a be 1/3 + j/(-189). Which is smaller: a or t?
t
Suppose 0 = -j + 11 + 3. Which is greater: 12 or j?
j
Suppose z = 1 - 5, 0 = a - 3*z - 28. Suppose -a = -0*x - x. Let h = x + -19. Is h not equal to 2/5?
True
Let g = 24 + -28.8. Let t = -1745 + 1745. Is t < g?
False
Suppose h = -2*j - 2 + 8, -2*j = 4*h - 6. Suppose 5*r = 4*k + 139, -2*k = 3*k - j*r + 164. Which is greater: -29 or k?
-29
Let h(d) = -d**3 + 12*d**2 + 13*d + 13. Let u be h(13). Let n = -41 - u. Let x be (6/(-4))/(n/(-66)). Which is smaller: x or -3?
-3
Suppose -5*g - 90 = 2*d, 4*d - 3*d = -5*g - 95. Let i be 8/(-15)*(-15)/g. Let k = -8 - -9. Is k smaller than i?
False
Suppose -2*c + 408 = u, 3*u - 34 = 4*c - 870. Is c greater than 206?
False
Let s = -1.715 + 1.8333. Let d = 12.9017 + s. Let g = -13 + d. Which is greater: -2/3 or g?
g
Let p be 3 + (-1 + -16)*8. Are p and -133 equal?
True
Let y(d) = 2*d - 1. Let w be y(2). Suppose -w*x - 8 = -5*x. Let i be 34/x + 8/16. Which is smaller: i or 8?
8
Let t be (0/2)/(-6*(-1)/2). Which is greater: 51 or t?
51
Let o = -1670 + 1662. Does o = 4/55?
False
Suppose -33*d = -37*d + 708. Is d bigger than 1?
True
Suppose 0 = 4*u - 12, 2*s - 6*u + 2*u = -2. Let k be 0 + 2/(13 + s). Do 1/3 and k have different values?
True
Let q = -186 - -189. Is q at most -3?
False
Let v = 282 + -196. Let m = 86.4 - v. Is -0.1 equal to m?
False
Let v = -104532/131 + 798. Which is greater: -1 or v?
v
Let p(x) = -4*x - 55. Let a be p(-11). Which is greater: -20 or a?
a
Let k(v) = 7*v**2 - v - 1. Let s be k(-1). Suppose 2*o = s*o - 70. Let c be 1 + 0 - o/(-1). Is c > 15?
False
Let v = -108/5 + 22. Let n = -0.19307 + 0.89307. Is v at most n?
True
Let d = -35.6 + 101. Let v = d - 66. Are v and 1 equal?
False
Suppose -7*s - 2*s + 18 = 0. Which is bigger: s or 3/5?
s
Let g = 195 - 195.2. Which is bigger: g or 1?
1
Suppose -3 = 11*j + 74. Is j >= 2?
False
Let x be 14/(-119) + (-2 - 87/(-17)). Which is smaller: x or 182?
x
Suppose 3*a - 78 = 105. Let z be 2 - (-2)/((-62)/a). Which is bigger: z or 1?
1
Let z = 18 + -18.31. Let h = 82 + -81.99. Let m = h + z. Is m less than -1?
False
Let y be ((-315)/(-210))/((-6)/(-20)). Is -27 bigger than y?
False
Let v be -7*-2*(-3)/(-12). Which is smaller: v or 3?
3
Let p(k) = k**2 + 2*k + 4. Let f be p(0). Suppose 4*i - 2*g = 6, 0*g - 16 = -4*i + f*g. Suppose 3*r + 0*r = -9. Which is smaller: r or i?
r
Suppose 12*g - 28 + 4 = 0. Let b(s) = 2*s**3 - s**2 - 4*s - 1. Let h be b(g). Let l = 0.6 - 0.2. Which is bigger: l or h?
h
Let c = -587 - -588. Which is bigger: c or -3/82?
c
Let f(s) = 40*s**2 - s + 2. Suppose 0 = -87*i + 82*i + 5. Let h be f(i). Which is smaller: h or 42?
h
Suppose -62*z + 49*z = -155*z. Suppose -2*h + 3*a - 2 - 13 = 0, -15 = 3*h - 3*a. Let f be 2 + -2 + h + -1. Which is smaller: f or z?
f
Suppose -6*y = v - 3*y - 65, -4*v + y + 260 = 0. Suppose 0 = 2*d + m + v, d + 71 = -d + m. Is -33 <= d?
False
Let s = -2 - -6. Suppose 3*h + s*m = -20, h - 2*m + 6*m = -20. Suppose -2*p + 7*p - 20 = h. Is 1 less than p?
True
Let s = -1.659 + 0.659. Let m = 0.2 - 0. Which is smaller: m or s?
s
Let k = -301 + 300. Is -18 bigger than k?
False
Let j = -448.0441 + 0.0441. Which is bigger: -1 or j?
-1
Suppose 0 = 19*q - 7*q + 168. Is q at least as big as -9?
False
Let t = 259 + -274. Suppose 0 = 5*h + 34 + 36. Are h and t non-equal?
True
Suppose -5*c = -4*l + 56, -4*c - 36 = -l - 0*l. Let o be (c - -9) + 11/(-14). Which is greater: 0 or o?
o
Let m be 3/(-9 - -10)*(-1)/3. Let g = 27/2 + -241/18. Is g less than m?
False
Suppose 59 = 5*m - 631. Which is smaller: 140 or m?
m
Let z(h) = -11*h**3 - 1. Let a be z(1). Let x be (20/(-6) - 0)*9. Let n be (-56)/(-10) + a/x. Is 7 greater than n?
True
Let n(x) = 2*x**2 - 52*x - 155. Let c be n(29). Which is smaller: 7 or c?
7
Suppose 310 = 22*q - 12*q. Is q at least as big as 0?
True
Let h be 2*((-36)/(-30))/(6/20). Suppose 12 = 4*i, 0*i + 11 = -4*s + i. Let g be s/h - (-14)/504. Is -0.3 != g?
True
Let h = 0.666 + -0.466. Which is bigger: 13.1 or h?
13.1
Let n = -2.98 - -3.08. Which is smaller: n or -29/5?
-29/5
Let d = 2.6 - 39.6. Is d greater than or equal to 0.2?
False
Suppose 3*w - 8 - 10 = -4*f, -2*f - 3*w = -12. Let y be (-4)/72*f*(-1 - 5). Are y and -3 equal?
False
Let h = 33.36 - 34. Let n = h - 