0.21 - q. Let y = 1.7 + f. Is -0.3 at most as big as y?
True
Suppose 0 = 2*d - 36*o + 38*o + 6, 5*d = 5*o + 15. Is -3/184 equal to d?
False
Suppose -68*w + 15 + 24 = 311. Let n = 8359/8 - 1048. Which is greater: w or n?
n
Suppose i + 1 = -1, 0 = 2*r + i - 8. Suppose -4*m + 47 = -o - 8*m, -r*m = 4*o + 166. Which is greater: -40 or o?
o
Let t = -4875.99 + 4909. Let u = t - 33. Which is greater: u or 2?
2
Let b(c) = -c**3 + 6*c**2 + 3*c - 15. Let m be b(6). Suppose m*r = r. Is -8 <= r?
True
Let v be ((-130)/(-52))/((-355)/(-4)). Which is bigger: -0.3 or v?
v
Let m be -4 + (-2 + 0)*(-1584)/(-208). Which is greater: m or -18?
-18
Let t(a) = 4*a**2 - 12*a + 3. Let l(s) = 6*s**2 - 18*s + 4. Let y(z) = -5*l(z) + 8*t(z). Let v be y(3). Is v bigger than 2?
True
Suppose 2*w = 35 + 205. Let g be (-1 + 4)*(-128)/w. Let j = -81/25 - g. Which is bigger: -1 or j?
j
Let s be 3/1 + (0 - 19). Let i = s - -12. Let p be (i/(-35))/((-13)/(-65)). Which is greater: 0 or p?
p
Suppose -8*n + 25 = 2*v - 5*n, v = -4*n + 20. Let d be (-1 - -2)*(24 - 17). Which is smaller: d or v?
d
Let s(n) be the second derivative of -n**4/12 - 3*n**3/2 - 15*n**2/2 - 14*n. Let f be s(-5). Is f greater than or equal to 6?
False
Suppose -15*h = -243 - 117. Is 23 at least h?
False
Let f = -259 + 259. Is f < 41/4?
True
Suppose -16*d - 384 = 8*d. Are -13 and d nonequal?
True
Let g = 419777/1700 - -419/100. Let m = -251 + g. Let b(z) = -z**3 - z**2 + 3*z - 1. Let j be b(1). Which is smaller: m or j?
j
Let f = -1232 - -1231. Which is smaller: f or -4/17?
f
Let c(v) = v + 2. Let j(b) = b**3 - 7*b**2 - 1. Let h be j(7). Let g be c(h). Which is greater: 2 or g?
2
Suppose w = -2*w + 3. Which is bigger: w or 1/62?
w
Let i = -973.4 - -972. Which is greater: i or 4.3?
4.3
Suppose 2*g + 14 - 16 = 0. Let a = -7 + g. Is a greater than or equal to -0.3?
False
Let n = 48257 - 48257. Let g be 0 + 1 - (-1299)/10. Let r = -131 + g. Which is bigger: n or r?
n
Let d = 29.7 - -0.3. Let n = d - 34. Is 0 at least as big as n?
True
Suppose 0*f + 5*p + 1 = -2*f, -3*p - 12 = 5*f. Let m = f + 12. Are 7 and m nonequal?
True
Let n be (0 + -2)*14/(-4). Let t(w) = -w**2 + 8*w + 1. Let l be t(n). Suppose -3*v - 30 = -l*v. Is v at most as big as 6?
True
Let v be (-1374)/(-4)*(-8)/12. Which is smaller: -230 or v?
-230
Let s be (-6)/15*-4*(-10)/4. Let o(l) = -2*l**2 - 11*l - 10. Let t be o(s). Which is smaller: 1 or t?
1
Suppose 3*m - 394 = -4*n, -4*n + 2*m = -0*m - 404. Let s = n - 92. Which is smaller: 62/7 or s?
s
Let c = 1/49 - 934/147. Let q = 6 + c. Which is bigger: -113 or q?
q
Let i = 3 - 4. Let l = -511.9 + 513.9. Are i and l equal?
False
Suppose 123*z - 175*z - 30056 = 0. Is -2/3 at most z?
False
Suppose 24*c + 120 = 28*c. Let o be -6*(-5)/c*-3. Which is smaller: o or 1?
o
Let s(k) = -2*k + 3. Let y be s(2). Let a be ((-3)/(-18))/(-1) - 255/(-450). Which is smaller: y or a?
y
Let w = -374 + 307.1. Let z = -67 - w. Let n = 3.02 - 3. Which is bigger: z or n?
n
Let c = -1062 + 1090. Which is smaller: 7 or c?
7
Let h = 1059 - 831. Do h and 1 have different values?
True
Let y be (((-1548)/10)/3)/((-285)/190). Is 33 greater than y?
False
Suppose 11*g - 7*g - 7128 = 0. Let r be 0 + (-4)/22 + 192/g. Which is smaller: r or 0.6?
r
Let x(j) = -j - 3. Let r be x(-5). Suppose 66 = 4*v - 3*l + 17, 2*l = 2. Suppose -2*c = 5 - v. Is r greater than c?
False
Suppose -x - 61 = -3*z - 0*x, -z = -2*x - 12. Let q = z - 16. Suppose -1 = q*c - 37. Which is bigger: 5 or c?
c
Let v be (0 + 4 + -5)*(-2 + -21). Let n(j) = 6*j**2 - 3. Let z be n(2). Is v bigger than z?
True
Let x = 1431 - 118771/83. Is -0.03 > x?
False
Let c be 3/(-1) + (-15 - -14). Is -1/8 >= c?
True
Let q be (-11194)/(-71340) + (-3)/18. Which is smaller: -1/9 or q?
-1/9
Suppose 0 = -4*b - 5*s + 1153, 34*b - 37*b - 3*s = -861. Which is smaller: 281 or b?
281
Let j = 45/2 + -22. Let i = 0 - j. Suppose -4*x - 9 = 3*a, 3*x - 3*a - 13 = -4. Is i at most x?
True
Suppose 5*q - 4 = -19. Let t be (-174)/(-957) + 402/(-154). Is t greater than q?
True
Let d(f) = f**3 - 26*f**2 + 47*f + 24. Let r be d(24). Suppose -2*o - 2 + 0 = r. Let m be -2 + (-30)/(-17) + 0. Is m at most o?
False
Let v = 113 + -75. Let d = v + -53. Let p(c) = -c**3 - 4*c**2 + 3*c + 3. Let u be p(-3). Is d > u?
False
Let i = 109 - 104. Suppose -2*d + 2*d = i*d. Which is smaller: d or 3/8?
d
Let v(q) = -q**3 + 9*q**2 - q + 13. Let k be v(9). Let x be ((-2)/k)/(9/2). Is -1/5 greater than x?
False
Let h = 1128 + -1146. Is 0.4 bigger than h?
True
Let w = -371 + 271. Which is smaller: w or 0.1?
w
Suppose -t = 2*t + j + 108, 3*j = -5*t - 176. Let q be (t/(-4))/(25/(-20)). Is -6 less than or equal to q?
False
Let d = 537635 - 212365662/395. Let b = d + -1/79. Is -10 greater than or equal to b?
False
Suppose 4*a - 2*h + 7 = 3*a, 5*a - h = -8. Let t = 2/1837 + 497/3674. Which is greater: a or t?
t
Let r be ((-2)/(-3))/(6/(-9)). Let s be 22/(-3 - (-3 - r)). Let k be (s/363)/((-2)/6). Is k at least as big as -1?
True
Let q be 386/(-12012) + -2*7/(-42). Let y = q - -8/143. Are y and 0 equal?
False
Suppose -4*x + x - 102 = 0. Let p be (15/(-10))/((-12)/x) - -4. Which is smaller: -10/3 or p?
-10/3
Let l = -31760 - -158802/5. Let a = 125 + -627/5. Which is smaller: a or l?
a
Let f(u) = -u**3 + 12*u - 12. Let g be f(3). Is -3 < g?
False
Suppose 0*h + 5*h + 2*v = 8, -4*h + v = 4. Let y be 4 + (-3 - 0) - h. Is -2/41 greater than y?
False
Let d(u) = -4*u**3 + 2*u**2 + 2. Let b be d(2). Let x = b - -22. Which is smaller: x or -4/33?
-4/33
Let v(z) = 3*z**3 + z**2 + 3*z - 3. Let l be v(2). Suppose l*a = 30*a. Is 4/7 greater than or equal to a?
True
Let v(s) = s**3 - 7*s**2 + 7*s - 4. Let q be v(6). Let f be 3/9*75/5. Suppose -12 + 2 = -f*j. Is q bigger than j?
False
Let f(t) = 18*t + 398. Let d be f(-22). Do -40 and d have different values?
True
Let l be 24/36 + (1533/9 - 3). Does l = 168?
True
Let q(v) = 3*v - 23. Let m(f) = f - 1. Let n(h) = -2*m(h) + q(h). Let s be n(21). Is -0.12 at most as big as s?
True
Let z be (-2 + 10/4)*-12. Let c be 4/(-6) - z*12/594. Which is smaller: -2 or c?
-2
Suppose 5*i + 3943 = -4*o, -245*o - 3*i - 977 = -244*o. Are -992 and o nonequal?
False
Suppose 6*u + 110 + 94 = 0. Let s = u + 63. Suppose 0 = 5*d + 3*r + 57, 5*r - s = d + d. Is d smaller than -12?
False
Let w be ((-3)/2)/((-30)/2220). Is 112 not equal to w?
True
Let y be (1 - (-5)/(-4))/((-20)/480). Is y >= 39/5?
False
Suppose 3*q = -5*m + 12, m + 21 = -0*q + 2*q. Suppose 10*n - q*n = 0. Which is smaller: 5/7 or n?
n
Suppose -4*y = 0, -d + 4*y = 7*y + 3. Which is smaller: -4/5 or d?
d
Suppose -7*o + 6*o + 474 = 0. Let n be (7/(-763))/(38/o). Let u = 1/109 + n. Is u >= -1?
True
Let m(s) = s**3 + 7*s**2 + 4. Let w be m(-6). Suppose -2*d - w = 2*o, -3*o + 22 = -2*d + o. Let u = d - -20. Which is smaller: u or 4?
u
Let s(w) = -w**3 - 13*w**2 - 12*w - 19. Let h be s(-12). Suppose -3*v + 4*k = 2*v + 84, 0 = -2*k - 8. Which is bigger: v or h?
h
Suppose z - a + 11 = -2*a, -63 = 5*z - 3*a. Is -7 greater than z?
True
Suppose 3*v - 2*v - 84 = 0. Suppose 4*t + v = 11*t. Let l = 18 - t. Is 6 at most l?
True
Let g be (1104/32)/((-18)/12). Let q = 43 - 65. Are q and g non-equal?
True
Let g(d) = -6*d**2 + 7*d - 3. Let s(t) = 7*t**2 - 8*t + 4. Let z(j) = 6*g(j) + 5*s(j). Let o be z(3). Are -9 and o equal?
False
Let j = -7.33 - 636.67. Which is greater: j or 0?
0
Let r(n) = 24*n + 169. Let j be r(-7). Is j bigger than 1/499?
True
Suppose 3*s = 2*s - 14. Let x be (s + 2)/((-68)/(-16) + -2). Which is smaller: x or -6?
-6
Let o = 0.5 - 0.5. Let m = 83.9 + -84. Is m greater than o?
False
Let v(r) = r**3 + 9*r**2 - 2*r - 12. Let c be v(-9). Let g(a) = -2*a**2 + 14*a - 5. Let i be g(c). Let k(j) = j**2 - 7*j - 14. Let n be k(i). Is -13 >= n?
True
Let l(u) = 2*u + 18. Let p be l(-6). Let g(y) = 6*y**2 - 7*y + 3. Let m(a) = a**3 - a**2 + a + 1. Let h(s) = -g(s) + m(s). Let d be h(p). Is 10 equal to d?
True
Suppose -5*p - 7 = -4*h + 9, -4*p = -2*h + 14. Is h at most as big as -1/56?
True
Let n = 596 - 457. Which is bigger: n or 0?
n
Let f(t) = t**3 - 3*t**2 - 13*t - 6. Let h be f(-2). Suppose 4*o - 6*o - 40 = 0. Is h bigger than o?
True
Let a = -0.104 - 0.106. Which is bigger: -1.1 or a?
a
Let h be (-1980)/(-957) - (-2)/(-1). Which is smaller: 2 or h?
h
Let u = -6311/39 