et f = -11.2 - -11.67. Let o = 0.07 - f. Is m at least as big as o?
True
Suppose -48 = -2*d - d. Suppose 5*c - 4*q + d = 43, q - 9 = -4*c. Suppose 3*g - 5*b - 4 = -16, 0 = 5*b - 15. Which is bigger: c or g?
c
Let a(t) = t**3 + 6*t**2 + 7*t + 6. Suppose -7 - 1 = 2*i. Let k be a(i). Suppose 4*w - k = -3*o + o, 5 = -5*o + 5*w. Is -1/30 >= o?
False
Let k = -201.12 - 5.88. Are 3 and k unequal?
True
Suppose -136 = 3*l + l. Let s be 3/(-12)*l + (-2)/(-4). Are s and 43/5 non-equal?
True
Suppose 3*g = 2 + 4. Let i be 897/9207 - (-6)/27. Let w = i + 7/31. Which is smaller: g or w?
w
Suppose -x = 49 - 54. Suppose -3*b = 4*h - 9, 3*h + 15 = 5*b + 4*h. Suppose b*i = 4*d - i - 20, 0 = -5*i + 5. Is d < x?
False
Let n = 1.324 - -0.676. Which is smaller: -1/106 or n?
-1/106
Let x be (-71 + 55)*(-9 - -1). Is 900/7 less than or equal to x?
False
Let r = 49 + -25. Let q be (-4)/(-2)*39/r. Let u = -7/2 + q. Which is smaller: 0.02 or u?
u
Let q(v) = -v**3 + 4*v**2. Let b be q(4). Suppose b = -5*o + 21 + 34. Suppose 17*i = -14*i + 310. Is o >= i?
True
Suppose -25*b + 11 + 64 = 0. Which is smaller: 7 or b?
b
Let g = -15.9 + 16. Let v = -15 - -13.9. Let s = -0.9 - v. Is g at least s?
False
Let i(p) = 4*p**2 + 2*p - 2. Let r be i(2). Let n be 1/(-3) + 200/24. Suppose -2*x + n*x = -r. Which is smaller: -0.2 or x?
x
Suppose 5*y = 11*y + 594. Let o = y - -84. Which is greater: -14 or o?
-14
Let g(v) = v**2 + 52*v - 194. Let w be g(-54). Which is bigger: w or -83?
-83
Let r(i) = -i + 17. Let y be r(8). Let k = -2 + y. Suppose 5*o - v - 9 - k = 0, v - 4 = 0. Which is smaller: o or 5?
o
Suppose -3*b - 13 = -g - 6, -3*b + 17 = 5*g. Does b = -1/215?
False
Let w(f) = -f**3 - 7*f**2 + 5*f + 7. Let j(x) = -x**3 - 7*x**2 + 4*x + 7. Let d(u) = 4*j(u) - 5*w(u). Let z be d(-8). Which is greater: z or 4/3?
4/3
Let m(o) = -4*o**2 + o + 2. Let u be m(-1). Let f be 0 + 5 + -1 + u. Let y = 3/11 + -5/11. Is f at most y?
False
Let x = 27 + -31. Let f = 10 - 11. Which is smaller: f or x?
x
Let a = -31 + 215/7. Is a <= 0.28?
True
Suppose 0 = 3*p - 5*j + 223, 5*p - 6*j + 350 = -2*j. Let d = -64 - p. Are 12/11 and d non-equal?
True
Let t be (-81)/18*2/15. Which is bigger: t or -2?
t
Let d be (57/(-6) + 9)*0. Which is bigger: d or -3/532?
d
Suppose -5*w + 24 = -w. Let v be (-5 - -10)*w/(-15). Let i be v*(-14)/(-12)*3. Which is smaller: i or -20/3?
i
Let x = 1.8 - 1.62. Let a = -1.18 + x. Do a and -1/4 have different values?
True
Let v be ((-2)/22 - (-70)/(-77)) + 1. Which is smaller: v or 2/47?
v
Suppose 7*s - 5 - 16 = 0. Which is smaller: s or 38/21?
38/21
Let v = 19.11 + -19. Let l = 0.1 - 0.2. Which is bigger: v or l?
v
Let z = -3.37 + 2.87. Let d = 0.06 + 0.74. Let w = -0.2 - d. Is z at most as big as w?
False
Suppose 3*m + 0*m - 3 = 0. Let z be (m/((-1)/84))/(-1). Let f be (-8)/(-7) + (-12)/z. Are 5 and f equal?
False
Let l = 193 + -197. Which is smaller: l or -13/4?
l
Let d be 2/92*((-260)/33 + 8). Which is smaller: 0 or d?
0
Let x be (-50)/14 - (-3)/1. Let m = 8 + -7. Suppose -u = -0*u + m. Which is smaller: x or u?
u
Let j = -8 + 5. Let s be (-80)/32 - 6/4. Is j at most s?
False
Let o(d) = d**3 - 12*d**2 - 11*d - 22. Let g be o(13). Suppose -47 - 33 = -g*x + 4*z, 5*x - 92 = 3*z. Is 33/2 >= x?
True
Suppose 108 = -2*a - 4*v, -2*a - 4*v + 36 = -3*a. Let l = -52 - a. Suppose 2*y = -y - 18. Is y greater than or equal to l?
False
Let a be (10 + (-1236)/126)/((-20)/(-14)). Which is smaller: -5/11 or a?
-5/11
Let d = -212 + 204. Suppose 4*m = 12, -3*j + 0*m + 18 = -3*m. Let a = d + j. Is a != 3/7?
True
Let y be (-6)/(-27) - -3*14/54. Let v be ((10/(-2))/y)/(-1). Is 5 at least v?
True
Let a = 274 + -282. Is a <= -9?
False
Let c = 9.804 + 0.196. Is c smaller than 2?
False
Let h be (-73)/(-219) - (-1148)/(-6). Is h != -193?
True
Let x be 2*4/(-8)*(-164)/(-5). Which is greater: x or -32?
-32
Suppose 5*j - 3*j = 0. Suppose 0 = i + 4*i - 20. Suppose 0 = -i*p + 3*d + 2*d - 16, 2*d = -3*p + 11. Which is smaller: p or j?
j
Let y(q) = -q**3 + 5*q**2 + q - 6. Let g be y(5). Let z = -136301/50 - -2726. Which is smaller: z or g?
g
Let l be -1 - ((-230856)/(-57708) + -5). Is l <= 1?
True
Let o = 703 + -685. Is 5 greater than or equal to o?
False
Let h be (70/(-3)*-1)/(1/3). Suppose -7*t = 7*t - h. Which is smaller: t or -1?
-1
Let p = -3555/3809 + 3/293. Let n(l) = l**3 + 6*l**2 - 6*l + 6. Let h be n(-7). Is h less than or equal to p?
True
Let b = -803 - -773. Which is smaller: b or -19?
b
Suppose 5*f - 24 = 3*f. Let g = f + -24. Let t be (-1)/g + 2 - 2. Is t != 0?
True
Suppose -p + 3*p - 24 = 4*f, -4*f = -3*p + 40. Let o = p - 12. Suppose -q = 5*r - 50, -o*r - 2*q = 2*q - 56. Are 9 and r unequal?
False
Let q = 303 - 367. Which is smaller: q or 0.5?
q
Let s = 0.198 - 5.198. Is 3 > s?
True
Let k be (235 + -236)/(-2 + (-22)/4). Which is smaller: k or 131?
k
Let x = -342.9 - -354. Is x < 2?
False
Suppose -3*c + 315 = 6*c. Let v be c/10 + 4/(-1). Which is bigger: -6 or v?
v
Let z(w) be the second derivative of -w**5/20 + 3*w**4/4 + w**3/6 - 5*w**2/2 - 4*w. Let t be z(9). Let j be -1 - (-1 - 15)/t. Is 3 <= j?
True
Let o(v) = -v**2 - 19*v - 78. Let g be o(-6). Which is greater: g or -1/10?
g
Let v(q) = -3*q**3. Let w be v(1). Let b = 3 + w. Suppose b*c = -c. Is 1/4 greater than c?
True
Suppose 224 + 133 = 3*m. Let s = -125 + m. Is s bigger than -32/5?
True
Let b = -0.75 - -0.44. Let w = 6.69 - b. Which is greater: -2/9 or w?
w
Let r be -3 - 79 - (-1)/1. Let h = r + 80. Which is smaller: h or -2/103?
h
Let p(z) = z**3 + 13*z**2 - z - 13. Let b be p(-13). Suppose -5*c = -3*r - 76, 4*c = -b*c + 2*r + 60. Is c <= 14?
True
Let m(u) = u**3 + 21*u**2 - 19*u + 71. Let j be m(-22). Which is smaller: 25 or j?
j
Let w(p) = -14*p**2 + 7*p + 13. Let u be w(-13). Let g be (-4)/(-10) - u/(-910). Is g at least as big as -2?
False
Let t be 1/((0 + 3)/78). Let a be t/(-45) - 5/((-90)/(-4)). Which is greater: -2 or a?
a
Suppose -2*t + 13 - 11 = 0. Let h be t + -1 + 3 - 13. Let c be (-9)/(-45) + 17/h. Which is greater: c or -1?
-1
Suppose -2*o + 3*v + 242 = 0, 8*v - 346 = -3*o + 4*v. Is 117 at least o?
False
Let z = -39 + 41. Let v be 39/2*-1*z. Is v at least as big as -39?
True
Let j be 10 + -2 - (-6426)/(-801). Which is greater: -1/3 or j?
j
Let k = -56 - 60. Is -115 equal to k?
False
Let q be (-4)/2 + 2 + -1. Let i be -1*0*(-1)/2. Let h be 66/(-726)*(-1 - (0 - i)). Which is smaller: q or h?
q
Let y(s) = -2*s**2 - 4*s - 1. Let m(q) = q**2 + 5*q + 1. Let i(p) = 3*m(p) + 2*y(p). Let a be i(7). Is a > 2/9?
True
Let p = -1335 + 1712. Which is bigger: p or -3?
p
Suppose -3*i = 3*n - 6*i + 12, -5*i + 21 = -4*n. Suppose 3*b = -n + 25. Let x be 4 + 6*(-4)/b. Which is smaller: x or 14?
x
Suppose -k = 4*h - 7*h + 13, -3*k + 33 = 3*h. Let l be h/14 - (-30)/(-42). Let b = -2.8 + 3. Is b >= l?
True
Let v = -23 - -23. Suppose v = -0*z + 5*z. Let u be (-5)/(-15) + 46/78. Which is smaller: u or z?
z
Let c(d) = d**2 - 6*d + 4. Let h be c(6). Suppose 5*l - l = -h. Let q be (4 - 2)*l/10. Does q = 1?
False
Let d be -3*15/(-72) + -1. Suppose -4*j + 6*j = 0. Suppose q - 3 = j, 0*m + 2*m + 4*q - 10 = 0. Are d and m non-equal?
True
Let t = -0.0342 - -0.0142. Which is bigger: 36 or t?
36
Let z = -20 - -12. Let m(k) = -k**2 - 8*k - 1. Let v be m(z). Let x = -0.1 + 1.1. Is v at most x?
True
Suppose a - 3 = 25. Suppose -3*o + 2*u = -3*u - a, 3*o + 3*u + 12 = 0. Let f(b) = 3*b**2 - 21*b + 14. Let y be f(6). Which is bigger: o or y?
o
Let t = -18 + 17. Let w be ((-2)/(-72))/(1539/(-76)). Let z = -2201/10206 - w. Is z > t?
True
Let z = 464 + -464. Let h = 46755 + -325118/7. Let c = h + -309. Is z greater than or equal to c?
False
Let a = -43 - -29. Let y = a - -14.5. Are y and -2 unequal?
True
Let i = 574 + -460. Is i smaller than -0.1?
False
Let a be (-9)/(-42)*(-4)/3. Let n = -1/21 + a. Let b = -2 - -1. Which is smaller: b or n?
b
Let v = -203 + 208. Let z = 1 + 3. Are v and z equal?
False
Let s = -11.89 - 0.11. Let u = s + 4. Is 3 at most u?
False
Let j(r) = -16*r + 20. Let n be j(8). Let s = -328/3 - n. Let i(u) = u + 2. Let z be i(-2). Is s less than z?
True
Let w be -2 - 6 - -4 - 21. Let u(v) = -v**3 - 16*v**2 + 36*v - 26. Let n be u(-18). Is w at least n?
True
Let d = 7.58 - 21.38. Which is smaller: d or 1?
d
Let s = 13 - 4. Let y(d) = d**3 + 9*d**2 +