t w be (-2)/7 - 26/7. Let o be v(w). Let q = -23418 - -23394. Is o less than or equal to q?
True
Suppose 0 = -12*h + 14*h + 10. Is h less than -4?
True
Let j(d) = 47*d**3 + 11*d**2 - 2. Let g(r) = 23*r**3 + 5*r**2 - 1. Let z(x) = -5*g(x) + 2*j(x). Let n be z(-1). Is n greater than 19?
False
Let m = 91 + -65. Let i = -24 + m. Suppose -y - 4*y + s + 13 = 0, i*y + 3*s = -5. Which is smaller: y or 3/4?
3/4
Suppose 2*h + 5 = -19. Is -12 < h?
False
Let a be 3/2*(-12)/(-99). Suppose -6*r + 53 = 47. Is a equal to r?
False
Suppose 25 = 6*b - 347. Let r = b - 55. Suppose -l + 14 = -2*l - 5*t, 34 = 5*l - t. Are r and l nonequal?
True
Let b = 0.48 - 3.38. Let m = 0.9 + b. Let s = -1.8 + 1.8. Which is smaller: m or s?
m
Let w = -6.93 - -2.93. Which is greater: w or 0.083?
0.083
Suppose 0 = 7*l - 798 + 791. Is 2/917 at least as big as l?
False
Suppose -355 = -6*l - 361. Is -2/131 equal to l?
False
Suppose 2*q - w + 4 = -0*q, -4*w = 4*q - 16. Suppose 2*t + 3*j + 7 = q, -j + 21 = -3*t - 2*j. Which is greater: -6 or t?
-6
Let a be 1 - (1/4 - -1). Let v(g) = -2*g**2 + g - 1. Let j be v(1). Let u be (j/(-12))/((-20)/(-60)). Which is greater: a or u?
u
Let p = -49/38 + -42/19. Let l = -684 + 1407/2. Let d = l + -20. Is p equal to d?
False
Suppose 4*g - h - 6 = -0*h, -2 = -3*g + 2*h. Suppose g*a = 4*a + 48. Let r be (4/48)/(9/a). Is 1 greater than or equal to r?
True
Suppose 0*f = -9*f + 18. Let v be (f - 41)/(-3) - 3. Is 11 not equal to v?
True
Let i = -2 + 5. Let m = i - 3. Let p(w) = w**3 + 5*w**2 + 2. Let n be p(-5). Which is bigger: m or n?
n
Let c be ((-984)/(-20))/(27/135). Which is smaller: c or 243?
243
Suppose -4*p + 14 + 5 = m, 2*m = -2*p + 14. Suppose 3*u = -1 + p. Let a be (-1)/(-4) + (-51)/300. Do u and a have the same value?
False
Suppose 4*h - 156 = 2*c, -c + 5*c - 4*h = -308. Let t = 236/3 + c. Which is greater: 3 or t?
3
Let k(f) = -f + 17. Let x be k(12). Let u be 1*-2*5/x. Let a = -1 - u. Is a bigger than 0.3?
True
Let h = -366 - -444. Let x = -28 + 40. Let j be x/9*3/h. Which is smaller: 1 or j?
j
Suppose 0 = 2*m - 3*o - 7 - 0, -4*o - 6 = -2*m. Suppose -j - 2*s + 29 = 0, 2*j = 3*s + 18 + 12. Suppose 0 = -4*x - j + m. Which is smaller: x or 0.3?
x
Let n = -27 + 28. Which is smaller: -1/28 or n?
-1/28
Let w = 1 + -21. Let h = 20 + w. Let y be 7/(14/(-4)) + (-216)/(-105). Which is greater: y or h?
y
Let t be 18/664*4/3. Which is smaller: 1 or t?
t
Let u be 3/48*108/27. Is -5/201 < u?
True
Suppose 36 = -0*f - 2*f. Let v = f - -20. Let o(a) = -a**3 - 3*a + 2. Let z be o(v). Which is smaller: -13 or z?
-13
Let u = 37.98 - 38. Let r = u - -0.32. Which is bigger: -2 or r?
r
Suppose -14*w + 10*w - 22 = -2*x, -5*w = 3*x. Let s(y) = -2*y - 2. Let h be s(-3). Let u(l) = l**3 - 3*l**2 - 6*l + 3. Let f be u(h). Which is greater: f or w?
w
Let q(s) = -17*s - 7. Let n be q(-5). Suppose 5*u - 67 - n = 0. Suppose 5*x - 13 = -38, -97 = -3*p + 2*x. Are p and u equal?
True
Let z = -0.74 + 9.34. Let n = 7.6 - z. Let a be 2/(-2) - (-1)/4. Which is greater: a or n?
a
Let w = -40 - -121/3. Let v(c) = c + 4. Let z be v(-4). Suppose -o + 4*o = -z*o. Is o bigger than w?
False
Let w be (0 + -4)*3/1. Suppose 288 = -13*h + 158. Is h >= w?
True
Let p(z) = z**2 - 9*z - 6. Let a be p(10). Suppose -4*w - 12 = 2*i, 0 = -i - a*w - 0*w - 16. Suppose 2*v = -3*v + 40. Is v >= i?
True
Let x(t) = -31*t + 58. Let q be x(2). Which is greater: -62/13 or q?
q
Let m = -401.939 + 402. Which is smaller: -2/17 or m?
-2/17
Let z(y) be the second derivative of -y**4/12 - y**3/3 + 7*y**2/2 + 5*y. Let j be z(9). Let s be 0 - (3 - j/(-30)). Which is greater: 1 or s?
1
Suppose n - 14 = -3*o, -3*o + 4*o + 3*n = 10. Suppose 2*x = o*x. Let h = 503/4 + -125. Is x smaller than h?
True
Let b = 3.1 - -6.9. Suppose -3*c - 5*o - 2 = 0, -3*c + 3*o - 26 + 8 = 0. Which is greater: c or b?
b
Let r(w) = 6*w - 1. Suppose -5*u - 2*c + 18 = 0, -u = -0*c + 4*c. Let b be r(u). Which is smaller: b or 22?
22
Let p = 0.4 + -0.3. Let x be (4/6 - 0)*(-5 + 2). Let z be (20/425)/(x/5). Is p equal to z?
False
Let y = -32 + 93. Let s = y - 80. Does -20 = s?
False
Let m = 84 + -78. Let k = m - 3. Is k >= 26/11?
True
Let z be (15/(-6) - -3)*14. Suppose -x = -9 + z. Suppose -2*i = 3*i - 15. Which is smaller: i or x?
x
Let q be ((3 - -2) + -2)*(-2)/(-6). Which is smaller: 3/103 or q?
3/103
Suppose 11133 + 10287 = 5*s. Suppose -8*j = -2*j + s. Let m be 4/30 - j/45. Which is greater: m or 15?
m
Let t = 44 - 2. Let c(b) = b**2 - 9*b - 12. Let d be c(12). Let n be ((-4)/t)/((-8)/d). Which is smaller: n or -1?
-1
Let c = -88.087 - -88. Let o = c - -1.087. Which is smaller: -25 or o?
-25
Let a be ((140/(-24))/(-7))/(25/15). Does 0.115 = a?
False
Let w(a) = 4*a + 42. Let p be w(-10). Suppose 0*l - 6 = 4*l - p*o, -3*l - 32 = 4*o. Which is bigger: -9/2 or l?
l
Let p(b) = -2*b**3 + b**2 + 4*b - 4. Let d(m) = 3*m**3 - 3*m**2 - 7*m + 8. Let u(l) = -3*d(l) - 5*p(l). Let g be u(-3). Let k be g/6*9/(-2). Are k and -3 equal?
False
Suppose 4*v = 4*n + 44, 4*v - 34 - 2 = 2*n. Suppose 5*t + 4*k + 56 = -0*k, -t - 13 = -k. Let y be t/3 + 44/4. Is y greater than or equal to v?
True
Let l be (-6)/((2/6)/(12/(-54))). Suppose -3*n - 3*w = -0*n - 3, 4*n - w = l. Which is greater: n or -2/5?
n
Suppose 3*f + 1 = -4*n, -f - 16*n + 19*n + 4 = 0. Does f = -2/2519?
False
Let m(t) = -2*t + 5. Let b be m(10). Let p be (-21)/4*(-5)/b. Do p and -2 have the same value?
False
Let w = -37.985 + 38. Let a = w - 16.015. Is a <= -0.1?
True
Let a = -96/17 - -949/153. Is -1/2 smaller than a?
True
Let c = -24 - -28. Suppose 27 = v + 3*b - 3, -5*v - c*b + 183 = 0. Suppose -11 = 5*p + v. Is -10 equal to p?
True
Suppose -8 = -2*d, d + 4 = -3*b + 23. Suppose -3*z = -4*z - b, 22 = 4*h - 2*z. Suppose k - 5*o + 12 = 0, h*o - 8 = -o. Are k and -4/3 equal?
False
Let o(v) = -v**3 - 5*v**2 - 6*v - 5. Let p be o(-4). Suppose 1 = 3*h - 5. Suppose 0 = p*z + 5*y - h*y + 18, 10 = -2*y. Are z and -1/13 non-equal?
True
Let k = 0.6 + -2. Let o = k - -1.5. Let m = 3.85 - -0.15. Is m bigger than o?
True
Let d(p) = -p**3 - 4*p**2 + 8*p + 11. Let z be d(-6). Is z <= 35?
True
Suppose 2*h = 7*h + 10. Let z be 5/(-1)*1278/3550. Is z at most as big as h?
False
Let f = 480 + -480.09. Is f <= 18?
True
Suppose 0 = -4*f + 5*g + 21, 5*f - 5*g + 6*g - 19 = 0. Let q be (-56)/(-35)*6/f. Let t = 1100 - 1099. Which is greater: q or t?
q
Let w be -3*(-77)/14*2. Do w and 127/4 have the same value?
False
Suppose -1 = 2*y + 3, -4*y = -5*i + 48. Does i = 2.2?
False
Let v = -73/4 + 18. Suppose -l - w + 1 = -0*l, -5*l = -5*w - 5. Suppose 4*a - 5 = -l. Which is smaller: v or a?
v
Let o = -39 - -38.94. Let s = o - 0. Which is smaller: 0 or s?
s
Let x = -58 - -71. Let n = -12 + x. Is n less than or equal to -4/3?
False
Let g(i) = 3*i**3 - i**2 + i + 2. Let f be g(-1). Let w = -821/7 + 117. Is f at least w?
False
Let k = 14.385 - 0.385. Is 1/3 less than or equal to k?
True
Let c = 75.2 + -65. Is c greater than 0?
True
Let q(b) = -6*b + 38. Let t be q(8). Let p be 2/t - (-1688)/8840. Which is smaller: 1 or p?
p
Let h(k) = -k**3 - 6*k**2 - 2*k - 4. Let t be h(-6). Suppose t = d + 4. Suppose 4 = -2*m + 2*q, 7*q - 2*q = 4*m + 12. Which is bigger: m or d?
d
Suppose 56*i - 55*i = 3. Suppose -3*s - 2*s + 4*c - 125 = 0, i*c = 5*s + 120. Which is smaller: s or -85/4?
-85/4
Let c = -303 - -279. Is c at least -24?
True
Let b = -56.22 - 0.78. Let r = -56 - b. Which is greater: -3/19 or r?
r
Let w = -4694/11 - -427. Which is smaller: -0.06 or w?
-0.06
Let l = 78 + -77.79. Let c = l + -0.51. Is c at most -1/2?
False
Let k = -41 + 44. Suppose 4*x - 5*q - 172 = -k*q, -5*q = 0. Is x < 44?
True
Let f be (47/5)/(-1 - -4) - 3. Is f at most as big as -6?
False
Suppose -286 = 2*p + 266. Let s be 39/26 + 418/p. Do s and -1 have different values?
True
Suppose 5*h = 0, -5*h - 30 = 2*w - 0*h. Let j(s) = s**2 + 19*s + 5. Let d be j(-18). Is d at most as big as w?
False
Let y = 162.5 + -210. Let o = -8.5 - y. Which is greater: o or 0.1?
o
Let u = -2 + 1.3. Let o = 11.7 + u. Let x be (-24)/(-64)*6 - 2. Which is smaller: x or o?
x
Let t = 0.6 - -0.4. Let g(d) = -3*d + 2 + 0 - 6*d - 5. Let w be g(-1). Is t > w?
False
Let h = 14.8 + -16. Let u = 29 - 20. Let b = u - 8. Which is smaller: h or b?
h
Let q = 40.7 - 34. Let p = 8 - q. Let o = p - -7.7.