t z be (10/(-4))/l*0. Which is bigger: z or 0.1?
0.1
Let b be (0 - -2)*(-3)/(-2). Suppose -9 - b = 3*h. Let j = h + 3. Which is bigger: -3/5 or j?
-3/5
Let h(m) = m**2 + 4*m + 6. Let j be h(-4). Suppose o + 5 = 3*b, -b - j + 1 = 3*o. Is 1 greater than or equal to o?
True
Let z be 114/(-234) + 6/39. Suppose 7 = -5*p + 37. Suppose 3*x + 3*u + 21 = 0, -3 + p = 3*x - 3*u. Which is smaller: z or x?
x
Let c = 14 + -27. Which is bigger: c or 0.2?
0.2
Let t = 19 - 10. Let m = t - 6. Suppose 5*z = -4*k - 12, 4*z + 5*k + m = -12. Do z and -3/8 have different values?
True
Let v = -4 - -4. Let z = -144258/18445 + -4/527. Let q = z + 52/7. Which is bigger: v or q?
v
Let x = -1 - -3. Let d = -18/7 + 71/14. Which is bigger: d or x?
d
Let o be (-36)/810*(-2 + 5). Suppose 5*a = -0 + 5. Which is greater: o or a?
a
Let y be (-392)/18 - 66/297. Which is greater: y or -23?
y
Suppose a = 3*f - 2, 4*f - 4*a - 6 = -a. Is f at most as big as 0?
True
Let d = -1.4 - -1.5. Let j = d - -3.9. Which is bigger: 2/5 or j?
j
Let y = -30 + 931/31. Which is smaller: 1 or y?
y
Let l = -1787/5 + 356. Does -3/5 = l?
False
Let s be ((-6)/3 - -3) + -2. Let z = -2 + 2.01. Let b = 0.99 + z. Which is smaller: b or s?
s
Let d be (-263)/10*(-496)/56. Let n = -233 + d. Which is bigger: n or -1?
n
Let i = 10 - 10.1. Let q = 147 - 1325/9. Which is smaller: i or q?
q
Suppose -2*n + 1 = -13. Suppose -4*z - 43 + n = 0. Are z and -9 equal?
True
Let j = -4 + 4. Suppose -3*o - 17 = -j*o - 2*m, -3*m + 18 = -2*o. Let k be o/9 + 5/(-3). Is -1 less than or equal to k?
False
Suppose -2*s - 61 - 21 = 5*q, 0 = 4*q + 3*s + 67. Is -17 < q?
True
Let m be 4*(5/(-4) - 0). Suppose 99 = -12*u + 27. Which is greater: u or m?
m
Suppose -n - s + 9 = 1, 2*n - 18 = -3*s. Suppose 2*q + 5 - 37 = -5*h, -27 = -4*h - 3*q. Are n and h equal?
True
Let k(g) = -g**2 + 8*g - 4. Let s be k(7). Suppose -2*v + v = -s. Which is greater: v or 13/4?
13/4
Suppose 0 = -3*n - 3*r + 3, n - 24 + 3 = 4*r. Let f = n + -5. Which is smaller: f or 4/5?
f
Let n(k) = -k**2 + 7*k + 5. Let x be n(8). Let l = x + 4. Is -2/13 greater than l?
False
Let l = -21.8736 - 0.0764. Let c = l - -21. Let g = c + -0.05. Is g bigger than -2?
True
Let x = -36.4 + 55.7. Let q = -19 + x. Which is smaller: -2 or q?
-2
Let n(u) = u - 5. Let m be n(8). Suppose 0 = 3*c - i - m*i - 7, 0 = 3*c - 5*i - 11. Which is smaller: c or -4?
-4
Let x = -45 + 34. Which is smaller: -12 or x?
-12
Let w(g) = g - 11. Suppose 5*v + 0*p - 42 = -p, 0 = 5*v - 4*p - 32. Let b be w(v). Is b != -1?
True
Suppose 1 = -2*z - b - 0*b, -3*b - 3 = 0. Let x be (-2)/(-4) - (-363)/(-6). Let g be 32/x - (-2)/10. Is z < g?
False
Suppose 0 = -3*p + 12 - 3. Suppose 0 = -p*d + 3*c + 15, 0 = 5*c - 0*c + 20. Does d = 2?
False
Suppose 0 = -3*r + 2*r. Let j be (r/(-2))/(1*-2). Which is greater: j or 2?
2
Let k(c) = -c**3 - 5*c**2 - 5*c + 3. Let y be k(-4). Let d = y - 7. Suppose 3*u = 2*u + 2. Is u at least as big as d?
True
Let r = 1/17 - -14/51. Which is bigger: 0.1 or r?
r
Suppose -4*n = 8, 3*f + 0*n + 2*n = 5. Suppose j = -f*j + 36. Suppose -4*v - j = -v. Are -3 and v nonequal?
False
Suppose 2*i - 2 = n, 3*n + 5*i = -7 + 1. Let z be n*((-1 - 1) + 3). Let u(s) = -s**3 - 8*s**2 - 6*s + 4. Let t be u(-7). Does t = z?
False
Let y be 40/(-30) + (-2)/(-6). Is -2/17 bigger than y?
True
Let s be 4*-1*(1 + 266). Let n be 1*-12*s/(-63). Let x = -203 - n. Is x less than 0?
False
Let d = 14.1 - 13. Let p = -9.1 + d. Is 1 at least as big as p?
True
Let i be 6/8 + 695/(-20). Is -34 equal to i?
True
Suppose q + 3*v - 4 = -4*q, -2*q - 8 = -2*v. Let n = -15.3 + 16. Let z = n - 0.6. Is z greater than q?
True
Let x be (-3)/(-2)*56/84. Are x and 40/3 equal?
False
Suppose 0 = -4*t + 2*t - 4. Let i be (t/(-8))/(3/(-4)). Is i > 0?
False
Let t(b) = 13*b**3 - 3*b**2 + 14*b - 29. Let r(d) = -7*d**3 + d**2 - 7*d + 15. Let p(u) = 11*r(u) + 6*t(u). Let w be p(6). Is w at most as big as -8/5?
True
Let j(o) be the third derivative of o**6/120 + o**5/10 - o**4/12 - o**3 + o**2. Let c be j(-6). Let i = 7 - c. Is 0.2 < i?
True
Let w = 132/2047 - -2/89. Is w > -1?
True
Let z be (2/(-6))/(2/(-30)). Suppose -4*l - z = -5*l. Is 5 at most l?
True
Let s be (1 - (-10)/(-14))/1. Let h = 0.5 - -0.5. Is h equal to s?
False
Let b be 5/1*4/(-510). Let u = -149/102 + b. Suppose -4*g = -0*l - 2*l + 22, -4*g - 27 = -3*l. Which is greater: g or u?
u
Let o be (-2)/(-4) + (-1)/(-2). Suppose -3*q - o = -5*v - 11, 5*v + 10 = -5*q. Suppose -n = 3*n + 4. Are v and n non-equal?
True
Let d = -4 + 4.3. Let k = 0.8 - 1.6. Let l = -0.8 - k. Is d less than or equal to l?
False
Let q be (-51)/12 + (-2)/(-8). Suppose -12 = -2*b - 0*b. Let a be 5/21 + q/b. Which is smaller: a or 1?
a
Suppose 7*h = 3*h + 32. Which is bigger: 4 or h?
h
Suppose 5*t + 27 = 4*q - 1, 10 = -3*q - 4*t. Suppose 0 = -u - q - 0. Is u >= 1?
False
Let t be (8/36)/((-4)/(-18)). Do -12 and t have different values?
True
Let t = 30 + -20. Let f be (6/t)/((-1)/(-5)). Which is smaller: f or 4?
f
Let r = 5 + -23. Which is smaller: -1 or r?
r
Let v = -1/5 - -23/15. Is v at least as big as 2?
False
Let z be (-2)/5 - 572/(-1105). Let p(k) = -5*k**3 + 2*k + 1. Let q be p(-1). Suppose o + 5 = -q*o. Which is smaller: z or o?
o
Let o(z) = -2*z - 8. Let p be o(-8). Which is greater: p or 27/4?
p
Let a = -11 + 16. Let v be ((-1 - a) + 3)/(-1). Is 1 at least v?
False
Suppose 5*c = -2*a - 38, -c - a - 3 = 4*a. Let g be c/(-3)*9/6. Suppose 5*x = 3*t - 6*t - 13, 0 = 4*x + g*t + 12. Which is greater: x or -1?
-1
Suppose 0 = 2*j + 2*j - 24. Suppose -2*x + 6 = 4*p - j*p, 0 = 5*x + 4*p + 21. Let q be ((-3)/2)/(12/16). Which is smaller: x or q?
q
Let n = -4 - -3. Let c(k) = -27*k**3 - k**2 - k + 1. Let q be c(2). Let m = q + 1101/5. Which is greater: m or n?
m
Let q = 42 - 41.84. Is -0.4 bigger than q?
False
Let s = 1841/141205 - 6/911. Let n = s + -393/12865. Which is bigger: 0 or n?
0
Let x be 38/4 - 11/(-22). Let b = 1 + 1. Suppose -b*m + 4*m = x. Is m >= 3?
True
Let g be ((-4)/4)/1 + 3. Let n = -15 - -26. Suppose -g*p = -5*d - 14, 5*d - p + n = 2*p. Is d at most -4?
True
Let w be (-1)/((-1)/14) + -2. Which is greater: w or 4?
w
Let v be (-1)/4 - (-60)/880. Is -0.1 > v?
True
Let g = 39/20 + -11/5. Which is bigger: -13 or g?
g
Let s = 0.19 - 0.19. Which is greater: s or -2?
s
Let g be (90/(-8))/(8/32). Let c be -1 - (-2)/((-102)/g). Which is smaller: c or 0?
c
Let t = -33 + 22. Let f = 12.9 - 13. Is t at least as big as f?
False
Suppose 84 = 2*r + 30. Is 27 at most as big as r?
True
Let t be -1 + 6/(-28)*-6. Let b be (6/(-18))/(2/(-6)). Let v = b + -1. Which is smaller: v or t?
v
Suppose a + 1 + 3 = 5*t, -5*t = -4*a - 1. Which is smaller: 6/13 or t?
6/13
Let k = -0.4 + 1.4. Let y = 6 + -8. Let i = k + y. Is i > 0.4?
False
Let g(v) = v - 6. Let h(j) = j - 5. Let r(a) = -3*g(a) + 2*h(a). Let d be r(11). Does d = -5?
False
Let i = 33 + -31. Is -1/3 less than or equal to i?
True
Let z(r) = 5 + 4 + 0 + 2*r. Suppose 4*n + 24 = 5*i, -n - 4*n - 30 = -5*i. Let l be z(n). Are -2 and l nonequal?
True
Let n = 8.01 - 0.01. Let g = 0 - -5. Let a = g - n. Which is greater: a or -0.1?
-0.1
Suppose 5*i - 9*i - 20 = 0. Is -9/2 greater than i?
True
Let c = 36 - 36. Is c greater than -10/9?
True
Let m(a) = 3*a**2 - 5*a + 1. Let q(r) = -2*r**2 + 4*r. Let k(w) = 3*m(w) + 4*q(w). Let j be k(0). Let u be 5/(3*6/9). Is j equal to u?
False
Let o = 2113/15 - 141. Let v(p) = p**3 + 5*p**2 + 5*p + 4. Let f be v(-3). Suppose 2*d + 3*b = -f, -2*d - 2*d = -5*b - 19. Is o greater than or equal to d?
False
Suppose -4*u = 3 + 1. Is 3/2 > u?
True
Let r = -1.02 + 0.39. Let p = r - 0.07. Let y = 0.6 + p. Which is smaller: y or 0.3?
y
Let a(k) be the third derivative of -k**2 + 0*k - 1/8*k**4 + 2/3*k**3 + 0 - 1/60*k**5. Let t be a(-4). Is t <= -1?
False
Let j = -0.3 + 0.3. Let q = j - 2. Let o = 2.1 + q. Which is smaller: o or 2/11?
o
Let o = 8373/17 + -493. Is o > 0?
False
Let f = 24 - 22. Which is greater: f or 7/3?
7/3
Let p(g) = -g - 2. Let m be p(-4). Let d be -2*((-1 - m) + 2). Let v be d + 0 + (-18)/3. Is -3 < v?
False
Let p = -11 + 10. Which is bigger: p or 2/113?
2/113
Suppose 2*o = x - 23, -o = 4*x - 2*o - 92. Which is greater: x or 24?
24
Suppose -4*y - 441 = -3*i, -2*y = -3*y. Does i = 147?
True
Let o = 13 + -12.9. Is o < -8?
False
Let y be