 4*j. Suppose 265 = -33*x - 263. Is j less than x?
False
Suppose -11*f - 42 = -4*f. Is 0.16 at least as big as f?
True
Let u = 0.23 + -11.33. Let z = u - -11.16. Is z less than -5?
False
Suppose v = 4, 0*o + 3*o - 3*v = 12. Suppose 2*z = -o - 72. Are -38 and z non-equal?
True
Let u = -4 + 24. Suppose 4*o + 4 = 5*z + u, -3*z = 3*o + 15. Let f = -20 - -14. Is o > f?
True
Let g = -6 - -10. Suppose 0 = -5*p - 6 + 11. Let s be (p - 1) + 14 + -10. Is g at most s?
True
Let i be (-1)/1*28/12. Let v be (-5315)/1365 + 6/(-39). Let q = i - v. Do 2 and q have different values?
True
Let j = 0.23 - 0.09. Which is smaller: 2/7 or j?
j
Suppose -206 = -r - h + 107, -5*h + 329 = r. Is r not equal to 311?
True
Let v(b) = b**3 - 5*b**2 - 4*b - 1. Let l be v(6). Let c(f) = -8*f + 47. Let h be c(l). Do h and -42 have the same value?
False
Let a = 0.007 + -3.007. Which is bigger: 29 or a?
29
Let i = -2887/4 - -709. Is i greater than -12?
False
Let n(t) = 2*t + 8*t - 1 - 6*t + 6*t. Let a be n(-3). Which is smaller: a or -32?
-32
Suppose 3*q = 4 + 2. Suppose 54 = -q*g + 5*g. Suppose 5*s - g = w, 3*s - w = -6 + 16. Which is bigger: s or 5?
5
Let d(c) = 2*c**3 - 43*c**2 + 20*c - 76. Let o be d(21). Which is smaller: o or -96?
o
Suppose 5*m - 2*f = 107, 0*m - 4*m = -3*f - 87. Let s be ((-36)/m)/((5/(-35))/(-1)). Which is greater: s or -15?
s
Suppose -2*b - 2*b = -t + 2, 3*b - 2*t - 1 = 0. Which is bigger: -1/712 or b?
-1/712
Let a = -0.33 + 0.43. Let y = a + 0.42. Are 0 and y nonequal?
True
Let u = 289773/2588375 + 1/20707. Which is smaller: u or 1?
u
Suppose 3 = -10*c - 7. Let v = 20932 - 732554/35. Let t = v - -34/35. Is c at least as big as t?
False
Let t(k) = k**2 + 2*k - 4. Let q be t(-4). Suppose -1 = -y - q*b - 7, 2*y + 6 = -2*b. Let c be (-87)/(-18) + y/(-12). Which is smaller: c or 6?
c
Let o = -34273 - -34272. Let n = 29.6 + -20.7. Let g = -2.1 - n. Which is greater: g or o?
o
Let p = -835 + 30897/37. Let a = 25/222 + p. Is 1 != a?
True
Let c be (-36)/30*(-10)/(-3). Suppose -3*v + 2168 = 4*n, n + 4*v - 186 - 343 = 0. Let z be 1/c - n/(-100). Is 4 greater than or equal to z?
False
Suppose -3*u = -2*u - 1. Let d = 1360 - 12295/9. Let k = d - -6. Is u less than or equal to k?
False
Let p = -0.3 - -0.55. Let l = -2.45 + p. Let v = -6.8 + l. Which is bigger: 0.1 or v?
0.1
Let j be (-4)/132*((-111)/2)/1. Are j and 1 non-equal?
True
Suppose 22*v - 43 = 1. Which is smaller: v or 17?
v
Let c = -275.6 + 313. Let i = 38 - c. Which is greater: -1/2 or i?
i
Suppose -5*y + 13 = -12, -2*y + 4 = 3*f. Are f and -13/8 equal?
False
Let t(a) = -a**3 - 13*a**2 - 11*a + 16. Let f be t(-12). Suppose 10*z - f = 8*z. Is z < -26?
False
Let l(v) = 2*v - 17 + 3*v**2 - v**3 + 0*v + 2*v. Let k be l(4). Is -14 greater than or equal to k?
True
Suppose 5*a + 244 = a - 4*w, -5*w + 55 = -a. Let g = a + 48. Which is smaller: g or -9?
g
Let d(k) = 5*k**2 + 151*k + 29. Let r be d(-30). Is 2/153 at most as big as r?
False
Let l = 2228/3 - 744155/1002. Which is smaller: l or 2/7?
l
Suppose -3*u + 33 - 28 = 2*y, 4*y = 5*u - 23. Does -2/3 = u?
False
Let r = 27.25 + 461.75. Is r bigger than 3?
True
Let t be (5/(-2))/(2/(-4)). Suppose -2*s = 4*y - 26, -5*s - 2*y + 4 + 29 = 0. Do s and t have different values?
False
Suppose 187*p + 95*p - 2538 = 0. Suppose 3*h + 7 = 7*h + c, 4*c - 4 = -4*h. Let d = h - -8. Is d greater than p?
True
Let q(p) = p**3 - 7*p**2 + 5*p + 4. Let w be q(6). Suppose 5*l = 2*l - 3. Let b be (-1)/((-6)/(-3) + l) - 0. Which is greater: b or w?
b
Let l = 8 - 3. Suppose 6 + 5 = l*f + 2*x, 2*f = 5*x + 16. Which is greater: f or -0.3?
f
Suppose -12*h - 803 - 169 = 0. Let l = 80 + h. Let p(y) = -4*y**3 + y**2. Let u be p(1). Which is bigger: l or u?
l
Suppose w - 5*k + 25 = 0, 4*k - 7 = 2*w + 13. Suppose -3*y + 25 = -8*y, -z - 3*y + 12 = 0. Let u = 28 - z. Is u <= w?
False
Let m be (-12)/(-10) + 1/(-5). Let z = -2405 - -2410. Is m > z?
False
Let a be (0/(-2 - -5))/(-4). Suppose 8*s - 9*s = a. Suppose s = -2*y - y - 3. Is -1/8 less than y?
False
Suppose 10*u + 362 - 32 = 0. Let x be -3 - -6 - u/(-4). Is -4 < x?
False
Let l be 6*4/(-36)*-33. Suppose -40 = -5*y + 5*n, -2*y = -5*n - 0*n - l. Is y != 0.3?
True
Let n = -33 - -62. Which is bigger: 27 or n?
n
Let m = -14.6 - -15.6. Is m smaller than -85?
False
Let w be ((-18)/(-72)*4)/(1*-1). Which is greater: w or -11/7?
w
Let c(q) be the first derivative of -q**2/2 - 15*q - 2. Let f be c(0). Let m be f/6*(-12)/705. Is -1 at most as big as m?
True
Let v be (1950/85)/(-10) + -1 + 4. Are 1 and v equal?
False
Let w(o) = -2*o + 17. Let u be w(7). Suppose -u = -c - 1. Let l be (-1)/c - 15/(-10). Is 3 at most l?
False
Let a be 38/20 - 64/(-40). Is a bigger than 5?
False
Let p be 31/(-10) - 2/5. Suppose 12*z - 2*h = 13*z + 12, 0 = 3*z - h + 8. Which is bigger: z or p?
p
Let k(o) = -o + 2. Let n = 13 - 10. Let r be k(n). Let a be r - -3*(-3)/(-63). Does 0 = a?
False
Suppose 3*x - 4*w = w - 50, -3*x - 4*w - 68 = 0. Is -22 smaller than x?
True
Let r = -31 - -29. Let w = 1 + r. Let h = -8.5 + 8. Are h and w nonequal?
True
Suppose 2*u - 4*j - 1541 = 5*u, -4*u + j - 2061 = 0. Let y be u/100 + 3 + 2. Which is smaller: y or -1?
-1
Let q be (1/(-5))/((-2)/(-5)). Let o = -2705 - -2705. Which is bigger: q or o?
o
Let t be (-1)/5 + 1220/100. Suppose 9 = t*d - 9*d. Let j = 31/182 - -3/26. Which is bigger: d or j?
d
Let r = -2711.1 + 2711. Is r greater than or equal to -1/63?
False
Let h(d) = -2*d**2 - d**3 + 4*d**2 - 7 + 2*d**2. Let c be h(3). Are c and 0 unequal?
True
Let n = -2/161 + -153/644. Which is smaller: n or -142?
-142
Let k(y) = y**3 + 11*y**2 + 12. Let x be k(-11). Suppose 3*q + 9*q = x. Which is smaller: q or -2/11?
-2/11
Let w = -0.13 - -0.2. Let v = -1.9 - -6.9. Let g = -4.9 + v. Which is smaller: w or g?
w
Suppose 4*h + t = 9*h + 5, 5*h - 2*t + 5 = 0. Which is greater: -12 or h?
h
Suppose 0 = 5*x - 15, x - 6*x + 19 = f. Suppose y - 2*y - 14 = d, f*d + 68 = -y. Is -17 < d?
False
Suppose -20*q = -21*q. Let o(n) = 3*n**2 + 4*n + 3. Let p be o(-2). Suppose p*k - 2*k = q. Is 3/5 at least k?
True
Let g = -17 + 39. Let d(w) = -w**3 - 4*w**2 - 2*w + 3. Let o be d(-3). Suppose -4*k = v + 10, o*v + 2*k - g = v. Which is greater: -19 or v?
v
Let b be (-5 - -1)*(-38)/(-152)*-1. Are 83/7 and b nonequal?
True
Let h be (-5 - -7) + 48/228. Is h at least as big as 3?
False
Let l(j) = 4*j**2 - 38*j - 24. Let z be l(10). Let y(t) = t**2 + 8*t + 8. Let x be y(-6). Is z > x?
False
Let o = 183.5 + -3.5. Is o not equal to 0.1?
True
Let g be (-4)/20*83 + (1 - 1). Is g greater than or equal to -16?
False
Let k = 8.9 - 16. Let u = 10 + k. Is -1/3 at most as big as u?
True
Suppose 7 - 7 = 8*m. Which is greater: 1/181 or m?
1/181
Let o = -18 + 16. Let m(i) = i**3 + 3*i**2 - i - 2. Let b be m(o). Suppose 7*y - 11*y + b = 0. Which is bigger: 3 or y?
3
Let j be (4 - 1) + (24 - 26). Which is bigger: 30/19 or j?
30/19
Let t = 4.2 + -4. Let h = t + -1.4. Let n = 1.4 + h. Is 0.2 > n?
False
Let s(w) be the second derivative of w**3/6 + 3*w**2/2 - 10*w. Let z be s(-4). Which is smaller: -9/13 or z?
z
Let j = 24 + -22. Suppose 0 = j*w + 2*z - 6, 3*w - 2*z = z - 9. Let b = 7583/19 - 399. Is b at most w?
False
Let d = -2 + 8. Suppose 3*h - 2*w - 76 = -6*w, 3*w = -d. Are 30 and h equal?
False
Let x be 3512/20 - (-3 + 0 - -1). Let f = x - 177. Which is smaller: f or 1?
f
Suppose 5*t = -5*p + 5, 39*t - 3*p + 3 = 40*t. Is -3/2224 at least as big as t?
False
Let r = 21.7 + -2.7. Let m = 0.09 + -8.09. Let n = m + r. Is 1 equal to n?
False
Let s(q) = 6*q - 45. Let u(m) = 5*m - 44. Let x(w) = -4*s(w) + 5*u(w). Let d be x(17). Do d and 0 have different values?
True
Let b(n) = -281*n + 1404. Let o be b(5). Let c = -10/153 + 98/459. Which is smaller: o or c?
o
Suppose 3*p = 12, -4*m = 5*p - 4*p + 1268. Is m smaller than -318?
False
Let n(j) = -4*j**2 + 3*j**2 + j + 2*j + 7. Let r be n(6). Let c = -28 + 18. Which is smaller: c or r?
r
Suppose -5*w = w - 12. Suppose 3*s = -2*d + 57, -w*d - 2*d = -3*s + 57. Which is smaller: 17 or s?
17
Let y = -1.52 - -1.02. Let p = 0.1 + -1.1. Let f = p + 1. Is y less than or equal to f?
True
Let p = 0.9865 + -0.1865. Is p at least 29?
False
Let x(b) = -b**3 + 7*b**2 + 2*b - 8. Suppose -21 = -8*o + 5*o. Let w be x(o). Suppose 0 = -2*m - 2 + 12. Which is smaller: 