 than or equal to z?
True
Let r be ((-3)/6)/(13/2). Let x(c) = c**3 + 24*c**2 - 24*c + 25. Let f be x(-25). Which is smaller: r or f?
r
Suppose 6*h = -4*r + 3*h - 24, 5*r + 5*h = -30. Let l be (45/(-20))/(r/32). Is 13 > l?
True
Suppose 0*w + l = -2*w + 13, 3*l + 15 = 0. Suppose -4*n - w = -2*f - 3*f, -n = -5*f + 21. Suppose -5*a + 15 = 4*z, -6 = -a - a + 4*z. Is a <= n?
True
Suppose 3*y - 2 = 2*y. Let g(c) = -13*c**3 + 3*c**2 - 3*c. Let o be g(1). Let b be (-1 + 0)/(o/65). Which is smaller: b or y?
y
Let q = 0.277 + -1.207. Is q less than -0.1?
True
Suppose -254*u - 6 = -6. Suppose -h + 4*r + r = -30, -10 = 2*r. Let y(x) = -x**3 + 6*x**2 - 6*x + 4. Let t be y(h). Which is smaller: t or u?
t
Let x = -17 - -18. Let h be 56/(-20)*(x - -4). Which is bigger: h or -15?
h
Let z = -3 + -6. Let s = 0 - z. Which is smaller: s or -0.1?
-0.1
Suppose 2*c + 5*f = 93, 5*f = -1 + 6. Suppose -51*v = -55*v + c. Are v and -3 equal?
False
Suppose 13*s = 10*s + 1422. Which is greater: -1/4 or s?
s
Let g(p) = p - 4. Let d be (-4)/(-4)*(2 + 1). Let i be g(d). Is i at most as big as -7/5?
False
Let m(x) = 3*x**2 + x + 5. Let a be m(-5). Let l = a + -130. Let c be (-2)/10 - (-44)/l. Are c and -12/11 nonequal?
True
Let h be 7 + 2*2/4. Let u(s) = -s**2 - 11*s + 15. Let r be u(-12). Suppose 0 = -r*t + 8*t - 40. Is h not equal to t?
False
Suppose -4*g = 2*z + 370, -355 = 4*g - 0*g - z. Let r be 4 - 2 - (-579)/g. Let i = -47/10 - r. Is 1 equal to i?
False
Suppose -7*p = 176 - 1079. Suppose r - 5*y = 4*r - 65, 5*r - p = 2*y. Is 25 < r?
False
Let m = -14.68 + 549.68. Which is smaller: m or -3?
-3
Let l = -0.03 + 128.03. Let w = -60 + l. Is w greater than or equal to 0.1?
True
Let t be 49/(-28) + 1353/780. Suppose 9 = -3*w - 2*f + 2, -3*w + 3 = -3*f. Is w > t?
False
Let l(z) = z**2 - 9*z - 1. Let v be l(11). Which is greater: 8 or v?
v
Suppose -k - 4*p + 66 = -3*p, k - 4*p = 51. Is k equal to 61?
False
Let p = -43 - -46. Which is smaller: 2 or p?
2
Let p = -1736 + 1737.957. Let x = -0.043 - p. Is x > 0.15?
False
Suppose -35*h + 396 = -129. Which is smaller: 8 or h?
8
Let z(h) = h**3 - 27*h**2 - 55*h - 87. Let p be z(29). Which is smaller: -3/203 or p?
-3/203
Suppose -4*t + 54 = -5*b, 2*t - 26 = 3*b + 6*t. Let o be (-16)/10 - (-4)/b. Suppose -2*d = -5*s - 2, -211*s + d = -215*s - 12. Is s at most as big as o?
True
Let f be (-1)/(-4)*(-6)/2*1. Let c = -0.06 + 4.06. Is f greater than or equal to c?
False
Suppose 14*k - 642 = 282. Is 67 smaller than k?
False
Let i = -120 + 957/8. Suppose -36 + 153 = -3*a. Let z = a + 40. Which is greater: i or z?
z
Let x = -2.402 + -0.128. Which is greater: x or -2/3?
-2/3
Suppose 6*v = 21 + 27. Let i = -18 + 46. Suppose y - 5*y = -i. Is y smaller than v?
True
Suppose -2*h - 2*h = -3*q - 10, h = -q - 15. Is -17/2 bigger than q?
True
Suppose k - 2*p + 101 = 0, 0 = -5*k + 3*p - 157 - 327. Is k <= 0.2?
True
Let i be (24/5)/((-6)/20). Let b be 1*(-4)/i*320/12. Is 7 at least as big as b?
True
Let i be (14 + 2/(-1))*(-8 + 5). Let m be (-1)/(i/39 + 0 - -1). Is -38/3 less than m?
False
Let f = -0.19 - 14.81. Let t = 14.016 + -0.016. Let y = f + t. Which is smaller: y or 0.1?
y
Let w(d) = 13*d**2 - 51*d + 8. Let u be w(4). Which is bigger: -16 or u?
u
Let p be 2 - 1 - (4 + -3). Let b be 9/3*13/(-55). Let o = -4/5 - b. Which is smaller: o or p?
o
Let y = 1164 - 187407/161. Is y < 0?
True
Suppose 4*w + 11 - 27 = -4*z, 3*w + 3 = 0. Suppose -y = -5*o + 3, z*y = -13 - 2. Suppose -9*r + r = -7*r. Is o at most as big as r?
True
Suppose 0*a = -3*a + 3, 5*h = -a + 81. Suppose h = 4*c, 2*q + 1 = q - 2*c. Suppose 0 = 2*s - 2*t + 6, 3*s + t = 1 + 2. Which is bigger: s or q?
s
Let v = 66 - 65. Let t be -3 - (0 + (2 - 1)). Let i be (18/(-28))/(3/t). Which is bigger: v or i?
v
Let n = -0.0561 + -0.9439. Let m = 32/21 - 5/3. Which is greater: m or n?
m
Let n(k) = 2*k**3 - 3*k**2 + 5*k - 2. Let d be n(2). Suppose 0 = -3*a + a + d. Which is smaller: 9 or a?
a
Let i = -23 + 27. Let g be i - 3 - ((-24)/39 - -1). Which is greater: 1 or g?
1
Let p be (-3)/(-5) + (-26)/10. Let s = -9.77 - -10. Let g = s + -0.33. Does p = g?
False
Let m be (-105)/(-441) - (0 + 3/(-7)). Is -0.11 bigger than m?
False
Let d = 1068 + -1059.6. Is d at least 4?
True
Let k be 0/18 + -1 + -1. Let h = k + -24. Which is smaller: h or -27?
-27
Let m = -1196/1071 - 26/63. Is m at most -2?
False
Suppose 4*u - 110 = -c - 7, 374 = 3*c - u. Let t = c + -3. Let z be ((-18)/(-75))/(18/t). Which is smaller: 3 or z?
z
Let u = -4 - -3. Let l be (-8)/(-10) + 56/(-20). Let r be 0 - l/(-6) - u. Is r != 0?
True
Let p(w) = -w**3 + 8*w**2 - 4*w + 25. Let x be p(8). Suppose 5*s = -2*a - 1 + 9, -4*s + 34 = -3*a. Which is smaller: x or a?
x
Let l = -0.087 - 0.913. Suppose 0 = 4*h - 231 + 71. Which is greater: l or h?
h
Let z = 2 + -4. Let v be 15512/(-6094) - 2*(-1)/1. Is v > z?
True
Suppose -5*o + 8 = -0*o + 3*t, t = o. Let n be (-2)/(-52)*(-1)/(-1). Are n and o unequal?
True
Let a be -1 + 1/(1 - 0). Suppose a = 5*h - 0*h + 5. Let d be (284/(-100) - -3)/(-2). Is h smaller than d?
True
Suppose -i = -5*h + 7*h - 14, h - 1 = i. Suppose 4*r - 5 - 7 = 0. Suppose -t + 3*x = r*t + 8, 3*t + h*x - 23 = 0. Is t smaller than 8/5?
True
Let p be (-1)/(1206/171 + -7). Which is bigger: -1 or p?
-1
Let x(t) = -t**3 - 2*t + 4. Let w be -5*(44/(-10) + 4). Let g be x(w). Which is smaller: g or -9?
-9
Let m = 0.5 - 0.2. Let k = -5.435 + 5.5. Let t = 0.335 + k. Which is smaller: m or t?
m
Let w be 188/3 - (-2)/(-3). Let v = w - 67. Do -3 and v have different values?
True
Let z(p) = 4*p**2 - 10*p - 10. Let q be z(-1). Let r be (-4)/(-14) + 33/7. Is q less than or equal to r?
True
Let o be 4/6 + (-16)/42. Suppose 0 = 10*q - q + 27. Let i be (-5)/(-20)*(q - (-93)/39). Which is bigger: o or i?
o
Let j = 12.3 - 0.3. Let a = -15.999 - 0.001. Let r = j + a. Are 0.1 and r equal?
False
Let o = 2271 + -1777. Is 493 smaller than o?
True
Let o be 6*(10/(-4) - -3). Suppose 5*q - q = 3*v - 4, -o = -3*v + 3*q. Suppose c + 2*c + 6 = v. Which is bigger: 0.7 or c?
0.7
Suppose -3*l + 25 + 5 = 5*z, 2*l + 19 = z. Are z and 14 equal?
False
Suppose -11*a = -12*a - 4. Suppose 2*b - 4 = 2. Suppose -6*m = -3*m + b. Which is smaller: a or m?
a
Let a = 35.939 + 0.101. Let s = 36 - a. Are s and -2/5 non-equal?
True
Let t be (-242)/(-3509) + (-1346)/1856. Which is smaller: t or 0?
t
Suppose 3 = -h + 8. Suppose 0 = -0*q - h*q + 35. Suppose -3*o - 3*v = v + q, -3*v = -5*o - 2. Which is greater: o or -2?
o
Let z(i) = -11*i + 93. Let g be z(5). Is -1 > g?
False
Let c = -25 - 227. Let q be (-45)/(-6)*16/c. Let d = q - -8/7. Which is smaller: -2/15 or d?
-2/15
Let l = 5 - 0. Suppose 0 = l*g - 4*s + 32, g + 3*s - 5 = -0*g. Let i be g/2 - (-3 - -1). Which is smaller: i or -1/8?
-1/8
Let j = 1 + 0. Suppose 3*c - 28 + 6 = 2*h, -5*h + 4*c - 55 = 0. Let n be 18/(-63) + h/(-7). Which is smaller: j or n?
j
Let o(g) = g**3 + 7*g**2 + 9*g + 2. Let q be o(-4). Suppose 2*t = -c - 10 - q, c + 27 = -5*t. Let k be 6/2 - c/(-6). Which is smaller: -2 or k?
-2
Let y(v) be the third derivative of -v**5/60 - v**4/24 - v**3/6 + v**2. Let d be (-3)/((6/(-18))/((-2)/18)). Let x be y(d). Is -2/37 at least x?
True
Let r(u) = -5*u + 54. Let i(v) = -6*v + 56. Let t(c) = 4*i(c) - 5*r(c). Let z be t(12). Which is smaller: -32 or z?
z
Suppose -4*r = -3*q - 789, -91*q - 985 = -5*r - 87*q. Is r bigger than 200?
True
Let x = -10 + 12. Suppose x*v = -2*v. Let t = -523/7 + 75. Do v and t have the same value?
False
Let v = 0.04 + -3.04. Let n = 148.709 - -0.291. Let q = n + -148. Does q = v?
False
Let c be ((-8)/10)/((-16)/40) - 1. Let o be 3*c/4 - 36/24. Which is greater: o or -2?
o
Let u = -0.5 - -0.3. Let c = -12 + 10. Let f be 5/(-20)*-7 + c. Do u and f have different values?
True
Let o = -24345/4 + 119749/20. Which is bigger: -99 or o?
o
Suppose 30*u - b - 1371 = 25*u, 827 = 3*u - 5*b. Are u and 274 non-equal?
False
Let j = -146/315 - -8/45. Let p = -4 - -3. Let w = p - 0. Is w less than j?
True
Let x = -181 - -181. Which is smaller: x or -1/16?
-1/16
Let i = -1165 - -1165.11. Does i = -4?
False
Let g = 1237 + -1447. Does 1/2 = g?
False
Suppose -534 = -5*u - 3*c, -532 = -6*u + u - 4*c. Let r be (-267)/u - 1/(-4). Is -3 smaller than r?
True
Let d = -6 - -28. Suppose -33*k = -31*k - d. Suppose -3*m = -m - 2