3. Is z less than q?
True
Let x(h) be the second derivative of h**3/3 - 5*h**2/2 + 2*h. Let n be x(4). Are 2 and n equal?
False
Let x = -0.01 + -0.09. Let c = 0.1 + x. Is c at least as big as -1/4?
True
Let m be ((-2)/4)/((-1)/2). Let t be (2 - 4)/(m - 0). Suppose -3*q + 3*u - u = 5, -u = 4*q + 3. Which is greater: t or q?
q
Let v = 23/56 - 1/8. Let x be ((-8)/(-6))/(18/27). Suppose 4*y - x = -6. Which is smaller: v or y?
y
Let h be (-7)/(14/8) + 2. Let t be 3 - (1 + h - -1). Is t less than 3?
False
Let y(a) = 3*a**2 - 9*a. Let x(f) = 16*f**2 - 45*f - 1. Let d(n) = 2*x(n) - 11*y(n). Let m be d(8). Does m = 0?
False
Let b(g) = 6*g**2 - g + 1. Let c be b(1). Suppose -i = 4*a, -2*a + i - c = -0*a. Let p be 7*2/(a + -1). Do p and 1 have the same value?
False
Let p be 5/(-10) + 1/2. Suppose t - 2*t + 48 = p. Let o be (-4)/14 + t/21. Is o at most as big as 1?
False
Let q(d) = d + 5. Let l be q(-3). Let k = 4 - l. Let y be (k/9)/(15/(-9)). Which is bigger: y or 0?
0
Let c be 24/14 - (-6)/21. Let v be 10/(-3)*6/(-2). Let t be 8/v*5/2. Is c >= t?
True
Let i be 8/4 + 30/(-16). Is 1 bigger than i?
True
Let i(a) = a**3 + 8*a**2 + a + 8. Suppose -19 = 3*s + 5. Let j be i(s). Is j smaller than -2?
False
Let c = 7/9 - -23/9. Is 4 >= c?
True
Let l(z) = z + 3. Suppose 0 = 2*r + 5*i - 26, 2*i - 10 = -2. Let k be l(r). Suppose -s - 4*s = -4*w + 21, 4*w - 2*s = k. Which is bigger: w or -1/8?
-1/8
Let b be (6/(-4))/(77/(-22)). Are b and 1 unequal?
True
Suppose 4*t - 2*z + 14 = 0, t - 26 = 2*t - 5*z. Are t and -1 equal?
True
Let z = -19.4 - -19. Which is smaller: 3 or z?
z
Suppose -9*l - 14 = -2*l. Suppose -2*p + 7*p = -10. Is p > l?
False
Let t = -0.13 - 0.03. Let n = -0.84 - t. Let i = n - -0.7. Are i and -1/3 unequal?
True
Let r be 2/(-2)*14 - 5. Which is greater: r or -21?
r
Let n be (-2)/7 - (-2)/7. Suppose 2*x = -n*x. Suppose 2*a + 3*t = -3, 0 = 2*t + 5 - 3. Is x bigger than a?
False
Let d = -217/5 + 44. Which is smaller: d or 2?
d
Let h(i) = i**3 + 10*i**2 - 12*i - 16. Let x be h(-11). Do 6 and x have the same value?
False
Suppose -p - 2*b = -2 - 2, 4*p - 3*b = 27. Let y be (-2)/4 + p/4. Which is smaller: 2 or y?
y
Suppose -4*f + 6*i + 2 = 4*i, -3*f + 4*i + 9 = 0. Let t be (5 + f)*(-1 + 3). Is 7 equal to t?
False
Let v = 32 + -30. Does 0 = v?
False
Let f(n) = -n + 6. Let w be 2/6 - (-138)/18. Let o be f(w). Is -4/5 equal to o?
False
Let s = -2 - -0.3. Let h = -0.7 - s. Which is smaller: h or -0.03?
-0.03
Let w = -22 + 21. Which is smaller: w or 3?
w
Let p(f) = 6*f - 9. Let x be p(2). Which is smaller: 0 or x?
0
Suppose -2*k - 50 = 3*k. Let n = k - -19. Let i = -28/3 + n. Which is bigger: 1 or i?
1
Let x be 0/(0 + 0 + -3). Is x smaller than 2/33?
True
Suppose 5*n - 11 = -1, 4*j + 6 = -n. Let t(g) = g. Let a be t(0). Do a and j have the same value?
False
Let u(s) = s + 4. Let c be u(-5). Let a be (-6)/(-8)*2/(-6). Is c at most as big as a?
True
Let i = 59 - 60. Does -1/105 = i?
False
Let r be -4*(-1 - (-12)/8). Let u(d) = d**3 - 6*d**2 + 6*d - 6. Let v be u(5). Is r > v?
False
Let h = -2 - -2.6. Let p = -0.85 + 0.15. Let c = p + h. Does c = 0.2?
False
Let y be -2 + (-100)/(-26) + -2. Let l = -1.5 - -1.4. Which is smaller: l or y?
y
Let n be ((-1)/2)/((-10)/(-8)). Let h(r) = -r**3 + 4*r**2 - 3*r. Let b be h(2). Suppose 3*l = l + b. Do n and l have different values?
True
Suppose 3*r - 468 = 5*r. Let j be (-588)/r - (-4)/(-6). Let d = 194/91 - j. Is -4 > d?
False
Let u = -6 - -5.7. Is 1 >= u?
True
Let p be 4/(-18) + (-420)/54. Let a(h) = -h + 8. Let y be a(7). Is p greater than y?
False
Suppose -3*b - 4*u + 2*u + 2 = 0, 2*b + 4*u = -4. Let y be (-14)/(-10) - b/5. Which is bigger: 1/4 or y?
y
Suppose 12 = 5*l - l. Let h be (l/(-2))/(-3 - -9). Let r = 0 + 1. Which is smaller: h or r?
h
Let x be -3*((-20)/18 + (-26)/117). Which is smaller: x or 7?
x
Suppose -4*a + 32 - 12 = 0. Which is smaller: -0.2 or a?
-0.2
Let j be (5/(-140))/(6*(-3)/24). Is 1 bigger than j?
True
Let h(g) = -g**2 - 5*g + 3. Let f be h(-4). Let o be (1/2)/((-4)/(-48)). Which is smaller: o or f?
o
Suppose 0*l + l - 2 = 0. Are 4 and l nonequal?
True
Let h(o) = 4*o - 12. Let c be h(4). Is 0.4 at least as big as c?
False
Let o = -3.8 - -3. Let r = 3.8 + -3. Let q = r + o. Which is smaller: -0.2 or q?
-0.2
Suppose -5*p = -p - 60. Let r = p + -46/3. Let j = 2 - 3. Is j less than or equal to r?
True
Let q be (-110)/44*(-2)/5. Which is smaller: q or 9/4?
q
Suppose 0 = 45*k - 55*k - 10. Which is smaller: -1/71 or k?
k
Let a = -0.3 - 1.7. Let c = a - -2.4. Let u = -203 - -1829/9. Are c and u equal?
False
Let b(d) = -d**3 + 5*d**2 + 5*d. Let c be b(6). Let g = c + 0. Let w be g/10 + (-1 - -1). Which is smaller: -2 or w?
-2
Let f = 13 - -17. Suppose t = -4*t + f. Let p be (t/9 + 0)*-6. Which is greater: 2/3 or p?
2/3
Let k = -4/1427 + -71957/292535. Let o = k + 2/41. Which is bigger: o or 0?
0
Let b be (-42)/56*8/15. Which is bigger: b or -1/4?
-1/4
Let t = 1653477/2407295 - -2/20933. Let k be 4/(-10) + (-2)/(-2). Let f = k - t. Which is greater: f or 1?
1
Let c = 76 + -75. Which is greater: 8/23 or c?
c
Let v be ((-6)/(-16))/(66/(-12) + 4). Let m = 4 - 3. Is v not equal to m?
True
Let v(j) = j**2 + j + 9. Let h be v(0). Let m be (-1)/(-12) - 3/h. Which is bigger: 1 or m?
1
Let x = -43/5 - -544/65. Suppose -2*c = -5 + 3. Is c >= x?
True
Let z = -13 + 12.3. Which is smaller: -1 or z?
-1
Let b = -15 - -11. Suppose -2*r + 2*v + 3 = 1, -r = 4*v + 9. Let x be r/b + (-2)/8. Are x and -3/5 equal?
False
Let l = 7 - 6. Let x be 75/6*-2 - l. Is -25 equal to x?
False
Suppose -2*k + 2 = -0*k. Let m = -616/3 + 207. Which is smaller: m or k?
k
Let s be (-4)/10 - 18/(-20). Is s greater than or equal to -4?
True
Let k be (-1)/(-2) + (-2507)/(-46). Do k and 54 have the same value?
False
Let q = -6 - -5.89. Let g = 0.01 + q. Are 0 and g equal?
False
Let q be -1 + 2 + -120 + 4 + -3. Is -118 at most q?
True
Let y(d) = 12*d**2 - d - 1. Let r be y(-1). Suppose -4*j = -4*k - 12, -3*k - 4*j - 35 = -r. Which is smaller: k or -3?
k
Suppose 2*o = 3*o + 2. Let p be o/6 - (-12)/9. Let c(n) = -n**3 + 3*n**2 + 4*n. Let k be c(4). Do p and k have the same value?
False
Let z(s) = -s**3 - 14*s**2 - 13*s - 3. Let u be z(-13). Let a be 0 - (u + 7)*-1. Suppose 0 = -f + 1 + 2. Which is greater: f or a?
a
Let c(w) = w + 9. Let m(o) = 9*o**3 + o**2 + o. Let y be m(-1). Let t be c(y). Suppose t = k + 2 - 0. Is -4/3 greater than or equal to k?
True
Let u = -42 - -335/8. Let z be 2/(-4) - (-6)/(-12). Let w be 0/((-1 - -3)*z). Is u >= w?
False
Let j = -653/5 - -131. Is j at most as big as -28?
False
Let l(z) = -5*z + z + 3*z + 0 - 5. Let w be l(-6). Which is greater: 3 or w?
3
Let i(f) = -2*f**2 + 47*f - 22. Let n be i(23). Is n at least -1/6?
True
Suppose -4*t + 26 = w, 0 = 2*w - 0*w + 4*t - 48. Is w < 23?
True
Let h = 2 - 1.9. Is -11 < h?
True
Let l = 12 - 8. Suppose 5 = 3*y - h, 2*h = -5*y + 16 - l. Let r = -79/12 - -19/3. Which is smaller: y or r?
r
Suppose -57 = 5*l + 4*j - 20, -5*j + 5 = -4*l. Let p = -0.1 + 0.1. Is l < p?
True
Suppose 4*t + t = 20. Suppose 4*v + 2 - 6 = w, -5*w = -t*v + 4. Which is smaller: -1/3 or v?
-1/3
Let p be (-2)/14*(1 - -1). Let o = 0.067 - 0.067. Which is smaller: o or p?
p
Let f = -56110/13 - -4631. Let y = f - 315. Suppose 4*w - 3*v + 19 = 0, -w - 8 = -4*v + 13. Which is bigger: w or y?
y
Suppose 1 = 3*b - 2. Let d be ((b + -1)/(-3))/1. Which is bigger: 3 or d?
3
Let r = -81 - -78. Let v be 3/12 - (-30)/(-56). Which is bigger: r or v?
v
Let k be -32 - ((-2 - (2 + -1)) + 0). Is k equal to -29?
True
Let j = 73 + -73.1. Let b(c) = 2*c**2 + 1. Let r be b(1). Suppose -r*z - z = 0. Which is smaller: z or j?
j
Suppose 0 = -x - 3*x + l - 12, 0 = 3*x + 3*l + 24. Let k = -5 - x. Which is bigger: 1/6 or k?
1/6
Let z be 1/2*(3 - 7). Is z greater than or equal to 0.8?
False
Let q be (-2*1/4)/(-2). Let p = 3 - 2.7. Is p smaller than q?
False
Let u = 224 - -1282. Suppose -4*i - u = -i. Let b = i - -12548/25. Is b not equal to -1?
True
Let q(o) = 3*o**3 - 3*o**2 + 2. Let b(p) = -7*p**3 + 5*p**2 - 5. Let i(j) = -2*b(j) - 5*q(j). Let z be i(4). Let y be 4/z - 15/28. Which is smaller: y or 0?
y
Let n = 97/12 + -31/4. Let c(r) = r**3 - 3*r**2 + r + 2. Let y be c(2). Is n greater than y?
True
Let s = 1 + 4. Suppose 2 - s = -3*n. Whi