 Is 1 >= w?
True
Let k(c) = -2*c. Let z be k(-5). Let u be z/32 - (-2)/(-8). Let h be (0/(-38))/(0/(-1) + 1). Is u >= h?
True
Suppose k - 5 + 13 = 0. Suppose 7 = d - 3*m + 5*m, d + 5*m = -5. Suppose -d*s - x + 8 = -16*s, 4*x = 8. Which is bigger: s or k?
s
Let y(u) = 451*u - 39. Let q be y(-5). Let l = q - -71108/31. Is l < 1?
True
Suppose -10*s + s + 648 = 0. Which is smaller: s or -1?
-1
Suppose -4*q + r = -3 - 21, -2*q + 4*r + 26 = 0. Let k be q/(-2)*8/(-20). Let h = -2/7 + 11/14. Is h at least as big as k?
False
Let i(l) be the first derivative of -l**3 + l**2 - l + 4. Let g be i(1). Is g less than -12/5?
False
Let c be ((-2)/1)/((-4)/(-64)). Let z be (-61)/(-4) + 8/c. Suppose 0 = 4*i - 2*g + 78, z = -3*i + g - 41. Is i at most -18?
False
Let j be 4/18 - 583/(-9). Let h be j/20 - 1/4. Let u be (14/21)/((-5)/h). Is 0 at least u?
True
Let i be 52/6 + 4/(-6). Let q = -3 + i. Let f(m) = -4*m - 118. Let s be f(-31). Which is greater: s or q?
s
Suppose -54 = -3*d + 72. Suppose 74 = -4*f + d. Is -55/6 greater than f?
False
Let g(h) = 11*h + 58. Let c be g(-7). Is c >= -18?
False
Let a = -0.15 + -0.05. Let p = 1.1 + a. Let i = p - 1. Which is greater: -2 or i?
i
Let j = 116 + -183. Let h = j + 63.9. Let b = h + 3.5. Is 0.04 <= b?
True
Suppose -5*y - 23 = 3*a, a + 2*a = -y - 7. Let p be (-12)/(-26)*((-2 - 5) + 5). Which is greater: a or p?
p
Suppose 4*h - 4 = -0*h. Is h less than -8/47?
False
Let g be (5/((-30)/159))/((-10)/(-60)). Which is smaller: g or -160?
-160
Let q(g) = -14*g**2 - 1. Let w(t) = -28*t**2 - 3. Let o(l) = 5*q(l) - 2*w(l). Let a be o(-1). Do -14 and a have the same value?
False
Let m = 17370/2563 - 54/233. Let h = m - 1468/231. Is h at least 1?
False
Let r be 2 - (12/102 + 11024/(-68)). Are 162 and r equal?
False
Let a(j) = 5*j**2 + 9*j - 10. Let b be a(2). Is 27 greater than b?
False
Let a = -14 + 14.1. Suppose 0 = 4*v - 7 - 5. Let y be v - 128/22 - -3. Which is bigger: a or y?
y
Let v = -96 + 70. Let p = -91 + 116.5. Let y = v + p. Is y greater than or equal to -0.1?
False
Let c be (-2)/(-1) - (4 + -6). Suppose 0 = -c*o + 64 + 28. Suppose -4*i - i + 110 = 0. Is i less than or equal to o?
True
Suppose 21 = -3*t - 12. Let m = -14 - t. Let w = m - 5. Is w less than -9?
False
Suppose 9*p + 26 = -19. Let b = p - -6. Let j = 3980/13 + -306. Which is bigger: b or j?
b
Let d be -6*(560/(-585) - -1)*-3. Suppose 3*a = a - 20. Let m be (-18)/(-22) + a/(-55). Which is smaller: d or m?
d
Let c = -153 + 142. Which is greater: 2/9 or c?
2/9
Let p(g) = -g**3 + 6*g**2. Let u be p(6). Suppose u = 6*v - 14 - 16. Suppose 0*k + 4*k = 16. Is v equal to k?
False
Let n = 12 + -9. Let s be (-3)/12*(-1 + n). Suppose -5*v + 2*v + c - 1 = 0, 3*c = -6. Which is greater: v or s?
s
Suppose i - 3*g - 50 = -4, 2*i = g + 67. Let j = -23 + i. Which is greater: j or 0.1?
j
Suppose -8 + 47 = -3*m. Let j = 441.1 - 441. Which is smaller: j or m?
m
Suppose -27*q - 62 + 35 = 0. Which is bigger: 6/77 or q?
6/77
Suppose -712 = -2*u - 784. Which is smaller: u or -35?
u
Suppose -59 - 32 = 7*q. Which is smaller: -12 or q?
q
Let u be 14/(-35) + 24/10. Suppose -4*g = -2*m - 6, -3*g + 3 = u*m - 19. Suppose 2*z - r - 5 = 0, 3*z - 6*z + g*r + 20 = 0. Which is smaller: z or 2/15?
z
Let y be ((-192)/324)/16*(-51 + 0). Which is greater: y or 3?
3
Let v = 299 - 271. Is 29 >= v?
True
Let p = -163/228 + 12/19. Suppose -9*z - 2*z = 0. Is p at most as big as z?
True
Let w = 0.016 + -16.116. Let y = w - -16. Which is smaller: -1 or y?
-1
Let r = 67 - 21. Let j = -68 + r. Let a(y) = -5*y - 86. Let g be a(-13). Is j greater than g?
False
Let v be (0 - -23) + -1*3. Let b be 18/20 + (-8)/v. Let u = b - -1/6. Which is greater: 2 or u?
2
Let s be (108/(-30))/9 - (-164)/10. Suppose 5*l + 2*w + 2*w = 8, 0 = l - 3*w - 13. Suppose 0 = 2*j + l - s. Is 7 equal to j?
False
Let r(u) = -u**2 - 9. Let d be r(-4). Let x be -3 + (-3 - -2 - d). Which is smaller: 19 or x?
19
Let n be (-1)/340*12 - 2/10. Which is smaller: n or 0.14?
n
Let l(x) = x**3 + 17*x**2 + 16*x + 8. Let h be l(-16). Suppose -2*d = -s - 12, 3*s - 3 = 2*d - 7. Is d at most h?
True
Suppose 4*c = -f - 6, -11 = c - 0*f + 5*f. Is c greater than -20/21?
False
Let o be 2/2 + 0 - 1. Suppose h + 2*h - 9 = o. Suppose -h*b + 24 = -3. Which is smaller: 10 or b?
b
Let z = -1.7 - 54.3. Let x = z + 78. Let d = x - 22.05. Which is smaller: -1/2 or d?
-1/2
Suppose -6 = -2*c - 0*c. Which is smaller: c or -4?
-4
Let c be (-33)/22 - 377/2. Let i be (-2)/19 + 264/c. Let d = -8/5 - i. Are 0.1 and d equal?
False
Let h = -29 + 32. Let m = 77 + -386/5. Which is smaller: h or m?
m
Suppose 0 = 5*i + 3*u - 12, -3*i + 2*i - 1 = 4*u. Let g be 14/2 - (-2 + i). Suppose 0*t = -4*t + 4*h, 3*h + g = -3*t. Which is smaller: t or -3?
-3
Let d be (-360)/(-1150) + 1/(-5)*2. Let y(a) = -a**3 - 2*a**2 - 1. Let g be y(-2). Is g greater than d?
False
Suppose 3*k + 4*l = -2*k + 122, l = -k + 24. Suppose -w - k = v, 5*v + 20 = -w - 14. Which is smaller: -23 or w?
w
Let l(q) = -q**3 - 5*q**2 - 3*q + 1. Let o be l(-4). Suppose -y + 16*y = 45. Is o <= y?
True
Let b = 76425/17 + -4491. Is b > 5?
False
Let j be (-12)/14*(-1)/9. Suppose 6*w = 5*w - 2. Let f be (-6)/w + (-3 - 0). Is j greater than f?
True
Let g be (-8 + 2)*(-1)/2. Let j be (0 + g)/(4/(-4)). Which is smaller: -1 or j?
j
Suppose 20*x = 11*x + 360. Which is greater: x or 42?
42
Let v be (-2*(-5)/(-10) - 35) + 0. Let n = v + 36. Is 3/29 at most n?
False
Suppose -15 = -3*v, -x + 0*x - 5*v + 24 = 0. Which is smaller: x or -22?
-22
Suppose -171 = 3*b - 0*b + 3*r, -63 = b + 3*r. Let v be 9/12*16/b. Which is smaller: -26/9 or v?
-26/9
Suppose 7*x = 224 + 49. Is x equal to 338/9?
False
Let b be (3/9)/1*(-27)/(-12). Do 11 and b have the same value?
False
Suppose -2*x = 2*k - 90, -225 = -5*k - x + 2*x. Let c be ((k/(-10))/9)/((-74)/(-24)). Is 2/5 smaller than c?
False
Suppose -2917 = 11*j - 7*j - 3*n, -2*j - 2*n - 1448 = 0. Is j at most -726?
True
Let v(s) = s**3 - 5*s**2 - s - 10. Let g be v(5). Let o be g/(-3) - (8 + -4). Let p(i) = i**2 - i + 1. Let x be p(o). Is 2/9 at least as big as x?
False
Let r = 69.4 - 64. Let h = -3.2 + r. Which is bigger: -1 or h?
h
Let a(c) = 2*c - 1. Let x be a(1). Let s(j) be the second derivative of -j**3/6 - 8*j. Let l be s(x). Is l greater than or equal to -1?
True
Let y be (35/1050)/((-2)/6). Let l = -3 + 2.8. Which is greater: l or y?
y
Suppose 0 = 305*m - 323*m + 72. Let i = 6499/11 - 587. Which is smaller: i or m?
i
Let f = 1200 + -1142. Which is smaller: f or 54?
54
Let c = -78 - -38. Suppose 14 = 5*o + 4*a, -5 + 6 = a. Let d be (-7 + o)*c/25. Which is bigger: d or 7?
d
Suppose -z + 38 = 56. Is -14 at least as big as z?
True
Suppose -585 = -5*f - 5*d, 3*f + 10*d - 347 = 6*d. Is 120 less than or equal to f?
True
Let y(x) = 5*x + 6. Let p be y(-2). Let s be ((-10)/(-15))/(p/6). Is -1/3 at most s?
False
Suppose 7*i - 61 = -54. Which is smaller: i or -2/495?
-2/495
Let y(r) = -r**3 + r**2 + 25*r + 12. Suppose 5 = -3*f + 4*p, -4*f + 35 = 13*p - 10*p. Let d be y(f). Is d at most 35?
False
Suppose 2*l - 413 = 4*l + 3*j, 3*l - j = -636. Which is smaller: l or -210?
l
Let m(j) = -j**3 + 8*j**2 + 11*j - 8. Let g be m(9). Let o = 10 - g. Suppose o*u = 4*r + 2*u, -3*r + 2 = 2*u. Which is bigger: 1/3 or r?
1/3
Let z(y) = 146*y - 20. Let m be z(3). Suppose m = -14*p + 54. Is p > -24?
False
Let k = 5 + 16. Let j = 17 - k. Is -10/3 less than j?
False
Suppose -2*i + 4*i + 5*h + 180 = 0, 4*i + 2*h = -328. Is i > -80?
False
Let o(u) = u**3 - 2*u**2 - 11*u + 9. Let g be o(4). Let v be ((g/(-96))/1)/1. Is v not equal to 0?
True
Let v be (-2)/(-2) - (2 - 1). Let z = v + 0. Let u = 619 + -4329/7. Which is smaller: z or u?
z
Let r(d) = -2*d**3 + d**2 + 2*d - 2. Let o be r(2). Let b be (-27)/81*12*3. Which is greater: o or b?
o
Let m = -155 - -142. Which is smaller: m or -10?
m
Suppose -4*g = -0*g - 4. Let w be g/(-4*4/(-80)). Is 7 equal to w?
False
Suppose 0 = 21*f - 17*f + 2*l + 8, -5*f + 3*l - 21 = 0. Which is greater: -8 or f?
f
Let b = 2707/7 + -388. Suppose 3*r + 42 = r. Let h be 1/(-3) - 7/r. Which is bigger: h or b?
h
Let n = 951 + -1168. Does -2 = n?
False
Let c = 16336464/50183 - -2582/749. Let q = 329 - c. Which is smaller: 0 or q?
0
Let a = -3 + -39. Let c = -25 - a. Let x = -0.26 + 0.16. Which is sm