/(-3) + 1)*-3. Let f(j) = -j**3 - 3*j**2 + 6*j + 5. Let k be f(w). Let v be k/(-2) + (-5)/5. Is v greater than or equal to 1/2?
True
Let z = 265.7 - 266. Which is smaller: z or -18/11?
-18/11
Suppose 7*x = 9*x - 10. Suppose 3*b + 13 = -x. Let n(i) = i**3 + 7*i**2 + 6*i. Let w be n(b). Which is smaller: w or 7?
w
Let z(v) = -4*v. Let o(w) = 2*w + 21. Let q be o(-10). Let r be z(q). Are r and -4 non-equal?
False
Let t be (-455)/(-14)*8/5. Let w(c) = 44*c**2 + 2*c - 1. Let a be w(1). Let f be 5/a*6/t. Which is bigger: f or -1?
f
Suppose 7 = 2*w - 5. Let h be 1 + 6 + (-2)/w. Are h and 8 nonequal?
True
Let i = 4 + -7. Let x be (3/((-9)/22))/(2/12). Let q be ((-4)/(-14))/(x/77). Which is smaller: i or q?
i
Let n = -20 - -19. Let r be (5/(-10))/(n/37). Let h = r + -18. Which is smaller: h or -2?
-2
Let b = 34 + -40. Let n(p) = -2*p**2 - 10*p + 10. Let c be n(b). Does c = 1/4?
False
Suppose 15*p - 17*p - 4 = 0. Is p greater than or equal to -32/15?
True
Suppose -4 = 5*g - 24. Suppose -7 = -g*r - 2*w + 15, 0 = 5*r - 2*w - 50. Which is smaller: r or -1?
-1
Let q = -124 + 124.1. Let y = 476 - 4280/9. Is y < q?
False
Let m be 60 - ((1 - 4) + -1). Let a be m/255 - (-18)/(-153). Which is smaller: 1 or a?
a
Let k be (-14)/(-77) - 40/(-22). Suppose -5*l = -7*l + k. Is 2/3 less than or equal to l?
True
Let a = 9 + -2. Let i = -1 + -4. Let r = i - -6. Are a and r equal?
False
Let c = 51 - 30. Suppose m - 5*k - c = 0, -m + 3*k + 8 = -5. Let j(h) = 2*h - 8. Let n be j(7). Is n != m?
True
Suppose 19*i - 9*i + 650 = 0. Which is smaller: i or -66?
-66
Suppose 1 = 2*r + 3*m, -12 = -5*r - m + 3*m. Suppose -5*f = -y - r*f - 11, 2*f = -4*y - 2. Let x be 0 - 2/(-4)*-4. Does y = x?
True
Let b = 47 - 44. Let w(l) = -3*l + 11. Let u(r) = r - 1. Let p(k) = 2*u(k) + w(k). Let y be p(8). Which is bigger: b or y?
b
Let z be (-4 + 1414/357)*6. Which is greater: 1 or z?
1
Suppose -2*i + 14 = -5*r + 8*r, -4 = -2*r. Which is bigger: 1/4 or i?
i
Let x = 7.14 - -0.16. Let t = 7 - x. Which is smaller: t or -0.1?
t
Let d be 6/(-33) - ((-36)/44)/(-1). Which is smaller: 10/29 or d?
d
Suppose 13*j = 3*j - 110. Which is greater: -9 or j?
-9
Let p(o) = -o**3 + 14*o**2 + o - 12. Let r be p(14). Suppose l - 46 = r*i, 2*i = 7*i + 2*l + 124. Is -23 < i?
False
Let q be ((-410)/(-287) + (-332)/56)*2/(-1). Let t(v) = -v**3 - 5*v**2 + 7*v + 2. Let s be t(-6). Let g be (2 - 6)/(2/s). Which is greater: g or q?
q
Let r = -263.1271 + 0.1271. Which is smaller: 0.2 or r?
r
Let q = 1/778 + -7787/5446. Are -0.4 and q unequal?
True
Let z = -20 - -11. Let b be 61/(-92) - z/12. Which is smaller: 0 or b?
0
Suppose 20*z = -15*z + 70. Let p(l) = l**3 - 5*l**2 - l - 2. Let r be p(5). Let h(a) = a + 7. Let d be h(r). Is z bigger than d?
True
Let s be -1 + 30/7 - 21/(-21). Let k be 2/((-5)/(15/(-2))). Is s at most as big as k?
False
Let r be (2 - 4)/((-4)/(-224)*2). Let c be 15/25 + (r/10 - -3). Is c < 0?
True
Let s be ((-102)/12)/(4/(-8)) - 4. Suppose 5*x = 2*x - 42. Let d = s + x. Which is smaller: -2/7 or d?
d
Suppose -5 = -5*h + 10. Suppose -h - 3 = 3*i. Suppose -4*c = -2*c + 355 - 351. Is i equal to c?
True
Let u(k) = 4 + k**2 + 5*k - 5 + 6. Let z be u(-1). Is z at least 2/135?
True
Suppose 3*k - 438 = -3*s + 177, -k = -s + 215. Let n be (-4)/10 + 224/s. Which is smaller: n or 0?
0
Let p = 25 - 25. Suppose p = -4*m + 2*o - 12, 4*m + o + 40 = -4*o. Which is greater: m or -6?
m
Let v = 115.1 - 110. Let t = v - 5.31. Let o = -0.41 - t. Are o and 4 nonequal?
True
Let n = -4762/1035 + 1/1035. Suppose -2*w - 2*w = 20. Is n at least w?
True
Let w(o) = -o**3 - 10*o**2 - o - 7. Let u be (16/(-40))/(2/50). Let a be w(u). Which is greater: a or 13/3?
13/3
Let r = -514831/236145 + 4/6055. Let y = r - -7/3. Is y equal to 7?
False
Suppose 6*n - 39 = -5*c + 2*n, 4*n + 3 = c. Suppose 3*o - c = -1, -4*q + 5*o = -18. Let s(k) = -k**2 + 5*k + 4. Let l be s(q). Are l and -9 equal?
False
Suppose 2*p = -1 + 11. Let t = -5 + p. Suppose -15 = 3*a - t*l - 3*l, l - 9 = 5*a. Is 2/11 bigger than a?
True
Let d(x) = -x**3 - 13*x**2 - x - 39. Let k be d(-13). Which is bigger: k or -29?
k
Let k be (0 - 25)/((0 + -2)/2). Suppose 5*j - 5*l = -k, -6*j - 18 = -2*j - 2*l. Which is smaller: j or -1?
j
Let m(z) = z - 7. Let q be m(5). Let h = 4 - 19. Let j = q - h. Which is smaller: j or 0.1?
0.1
Let j be 2/7 + 9714/252. Let c = -94 - -55. Let d = j + c. Are 0 and d non-equal?
True
Let g be (537/(-267) + 2)/(45/(-10)). Let r = g + -3226/8811. Is -1 > r?
False
Suppose 2*a + 18*a = -420. Which is smaller: -23 or a?
-23
Let k(z) = 28*z. Let r be k(1). Let j = r + -37. Which is smaller: -7 or j?
j
Let w = 76 + -72. Suppose -4 = n, -5*l + 0*n - w*n - 16 = 0. Let x = 0.3 + -0.2. Is x at least as big as l?
True
Let b be (2 + 260/(-126))/(4/6). Suppose -a + 5 = 5*c, 3*c + 4 + 6 = 2*a. Is c not equal to b?
True
Suppose -2*y + 22 = -4*z, -2*z - 32 = -4*y + 2*z. Suppose -y = 2*m - m. Let d = -12/7 + 41/28. Which is smaller: m or d?
m
Suppose -4*o = -8*o + 360. Let g = o - 91. Is g smaller than -2/73?
True
Suppose 2*r + 0 + 8 = 3*v, -r - 4 = -2*v. Suppose v = 4*q + 17 + 55. Which is smaller: q or -17?
q
Let t be (-417)/695*(5 + 0). Suppose 4 = -m - d, 2*m - 4*d + 12 = -m. Is t at least m?
True
Let a(m) = -m**3 - m**2 + 7*m + 2. Let z be a(-3). Let c = 202 - 4648/23. Is c <= z?
False
Let o be (58/(-36) - (-8)/72)*2. Does -42/23 = o?
False
Let a be (9/12)/(7/((-112)/(-6))). Suppose -6*l - a*l = -5*l. Let f = 15 - 22. Do f and l have different values?
True
Let h(m) = -6*m**2 + 3*m. Let c be h(2). Suppose 35*z + 36*z - 6*z = -1170. Is z bigger than c?
False
Suppose 0 = y - 3*x - 19, -6*y + 41 = -2*y - 5*x. Which is smaller: 5 or y?
y
Suppose -4*q + 19 = 5*v + 86, -3*v - 35 = 2*q. Let t = q - -12. Which is bigger: t or 0?
0
Let a = -0.4049 - 4.5951. Let s = -0.1 - 0.1. Is s equal to a?
False
Let j(x) = -25 - 3 + 44*x - 1 + 12 + 2*x**2. Let b be j(-22). Which is bigger: b or -19?
b
Let u = -137 - -143. Is 8 less than u?
False
Let o = -0.054 + 5.854. Let s = o - 2.8. Is -1 < s?
True
Let y(j) = j**2 - 2*j + 7. Let o be y(3). Suppose -5*n + 5*k + o = -10*n, -n - 10 = 5*k. Let a be (1 - (-9)/(-6))*n. Is -2/39 smaller than a?
True
Suppose -4*c + 15 - 7 = 0. Suppose c*g + 5 = 9. Suppose v - g*v = 0. Are -3/5 and v equal?
False
Let g = -2344 - -1362. Is g <= -982?
True
Suppose -3*o = -o + 26. Let y = -1528/3 - -497. Is y smaller than o?
False
Suppose 21 = 2*s - 7. Suppose -59*y + 61*y - 37 = -3*o, -o + 3*y + 16 = 0. Do s and o have the same value?
False
Let v = -0.0193 - 21.9807. Is 2/15 bigger than v?
True
Let s be -9 + 14 - 3/((-3)/(-4)). Which is smaller: 2/1911 or s?
2/1911
Let t(j) be the third derivative of -j**4/8 + j**3/6 + 16*j**2. Let q be t(0). Which is smaller: 16 or q?
q
Let d = 0.24 + 1.76. Let z = -0.13 - -0.06. Are d and z non-equal?
True
Let m = 77 - 41. Let k be (24/m)/((-2)/6). Is k bigger than -2?
False
Let h = -498 + 497.976. Are h and 2 equal?
False
Let i be (3/9)/(2/(-6)). Is 6/203 at least as big as i?
True
Let u = 158.1 + -180. Let y = -21.49 + -0.51. Let p = u - y. Which is greater: 1/3 or p?
1/3
Let c(p) = 8*p**2. Let j be c(-1). Let v be -5*(-5)/(100/j). Suppose -4*r + 12 = -4*q, r - v*q + 4 = 4*r. Which is smaller: r or 5/8?
5/8
Let y = 193 - -4. Is 195 greater than y?
False
Let x = -58 + 58.51. Are 1 and x unequal?
True
Let m(x) = x - x - x**2 + 1. Suppose w + 1 = -26*q + 25*q, -3*w + 11 = -4*q. Let v be m(q). Which is smaller: -12/5 or v?
v
Suppose 2*o + 4*k + 6 - 18 = 0, 0 = -o - 5*k + 3. Let n = 2 - o. Let w be (-11)/(-66) + (-29)/n. Which is greater: 3 or w?
w
Let w be (-582)/27 - 88/198. Is -24 smaller than w?
True
Let j = 21 + -22. Let l be (j - 3) + (-16866)/135. Let f = l + 129. Which is smaller: f or 0?
0
Let u(j) = j**3 + 5*j**2 + 3*j - 3. Let b be u(-4). Let d = -3 + b. Let i be -9 + 6 + 0/d. Are i and -3 equal?
True
Let o = 600 + -24003/40. Let v = 1130 - 1130. Which is smaller: v or o?
o
Suppose 0 = 4*x - s - s - 1220, -5*s - 915 = -3*x. Let f be x/(-50) + 4/(-10). Let a(w) = -w**3 + 20*w**2 + w - 27. Let n be a(20). Is n <= f?
True
Let v be 5 - 7 - (-14)/6. Suppose 3*r = -y, 6*r - r = 2*y. Is v smaller than y?
False
Let a(h) be the first derivative of h**3/3 - 3*h**2 - 8*h + 3. Let s be a(7). Let u = -8052/25 + 322. Which is