Let p be -2*((-1)/3)/((-10)/(-45)). Let j = p + t. Does j = 1?
False
Suppose 0 = -0*w + 5*w. Suppose 4*c - 4*v + 12 = w, -4*c - 17 + 5 = -2*v. Which is smaller: c or -1?
c
Suppose -3*u - 31 = -3*l + 2, 5*l = -u + 49. Let b = -9 + l. Is b > 10?
False
Suppose -3*s + 2*s = 2, j + s + 2 = 0. Which is smaller: -2 or j?
-2
Suppose 3*s = 2*w - 3*w + 5, 3*w - 15 = s. Which is smaller: s or -1?
-1
Let v be 1/((-4)/(-12))*1. Let m be v/2*2/3. Which is smaller: 2/21 or m?
2/21
Let t be (3/27 + 0)*-3. Which is smaller: 0 or t?
t
Suppose 0 = 7*l - 3*l - 88. Suppose -10 = -4*j - l. Let h(c) = c**3 + 2*c**2 - 4*c + 1. Let m be h(j). Which is smaller: 0 or m?
0
Let h be (0 - -5)*(3 - 4). Let n(x) = -x**3 - 5*x**2 - x - 5. Let r be n(h). Suppose 2*z - 5*f - 3 = -16, 4*z = 5*f - 11. Which is bigger: r or z?
z
Let v = 76 - 153/2. Is 3.5 equal to v?
False
Let l(m) be the third derivative of -m**5/60 + 3*m**4/8 - 5*m**3/3 - 3*m**2. Let a be l(7). Which is smaller: a or 7?
a
Suppose 0 = c + 4*t - 2*t + 1, 4 = -2*c - 2*t. Which is bigger: -0.1 or c?
-0.1
Let g = 2 + -2. Let n = 3.973 - -0.027. Which is smaller: n or g?
g
Let w be (5/2 + -2)*16. Let u = -3 + w. Let b = u + -4. Is -2/15 greater than or equal to b?
False
Let k be (124/6)/(10/(-30)). Let h be (-4)/(-6) + k/(-6). Let s = h - 11. Which is greater: 2/3 or s?
2/3
Let i(l) = 3*l + 1. Let b be i(1). Suppose 0*y + 65 = 5*o - 5*y, b*o = -y + 67. Let v be 4/o + 7/4. Is v equal to 3?
False
Let f(h) = -1 + 3 + 5*h + 0*h - 3*h. Let j be f(-3). Is j > -4?
False
Let t = 0.02 - -3.98. Let r = 0.1 + 0.3. Let g = -1.4 + r. Does g = t?
False
Suppose 11*m = 8*m + 15. Let x = -0.2 + 0.1. Which is greater: m or x?
m
Suppose 4*g + 8 - 22 = -d, 3*d - 9 = -g. Suppose g*r = 5*f - 23, 2*r - 7*r = 2*f - 3. Is -1 bigger than r?
False
Let z = 0.014 - -0.986. Which is bigger: -1/2 or z?
z
Let a be (-1 + 17 - 3) + -3. Let z = -11 + a. Is z at least -8/9?
False
Let o be 0 + -2 + -1 + -1. Let a = -2 - o. Suppose 2*q = 5*q - r + 2, 0 = 3*q + r - a. Which is greater: -3/5 or q?
q
Suppose -3*f + 0*f = -3. Let n be 2/f*1/34. Are 1 and n equal?
False
Let z = 80 + -42. Is 0 >= z?
False
Let t(d) = d**3 - 8*d**2 - 2*d + 11. Let y be t(8). Let k be 1/(-4) - y/20. Which is smaller: 5 or k?
k
Let r = 67/44 - 14/11. Is -1/5 equal to r?
False
Let a = -32 - -33. Which is bigger: 7 or a?
7
Let c = 6.4 + -3.6. Let h = c - 3. Let j be (8/(-6) - -1)*3. Does h = j?
False
Let b be -4 + (2 - 0) + 3. Let t = 0 + b. Suppose -4*r + 4*n + 4 = 0, -2*r + r + 2*n = -2. Which is bigger: r or t?
t
Let s = 115/6 + -20. Are 0 and s equal?
False
Let a be 0 - (3 + (-672)/225). Is a less than 1?
True
Let t = 1916 + -38329/20. Is 0 not equal to t?
True
Let h be (0 + -2)/2 - -1. Suppose h*c - 2*c = -4. Suppose y = 3*y - c. Are y and 0 equal?
False
Suppose 0 = 5*g - 9*g. Is 9/7 >= g?
True
Let g = 12.23 + -12. Which is greater: g or -1?
g
Let s = 565/8399 + -3/227. Is s greater than or equal to 0?
True
Suppose -3*b + 6 = 0, 6*l = l - 3*b + 61. Is l smaller than 11?
False
Let u be 10/(-35) - (-3236)/(-42). Let p = u - -78. Let l = 2 + -1. Do l and p have the same value?
False
Let c = 0 - 0. Suppose c = 2*n - 0*n + 2. Is n at least as big as 4?
False
Let w(r) = 4*r. Let x be w(2). Suppose 0 = 4*j - x - 8. Which is smaller: j or 5?
j
Let f(x) = x**2 - 5*x - 6. Let c be f(5). Let p be (1/(-2))/(1/c). Suppose 0 = -2*g + p*g + 4. Is -3 <= g?
False
Let l = 6703/8 - 839. Is 0 > l?
True
Let w = -13 - -13. Let b = -0.1 - w. Let d be (-4)/14 - (-33)/(-7). Is d bigger than b?
False
Let f be ((-3)/(-5))/(2/10) - 2. Which is bigger: f or 9?
9
Let r(s) = 1. Let c(u) = u - 1. Let p(i) = c(i) + r(i). Let v be p(1). Suppose -v + 0 = j. Is j at least as big as -1?
True
Let a(b) = b**3 + 2*b**2 - 3*b - 1. Let d be a(-3). Which is smaller: d or -8/9?
d
Let v = -24 - -30. Let f(i) = -2*i - 4. Let o be f(v). Is o at most as big as -15?
True
Let v(h) = 2 + 8 - 8 - 2*h + h**2 + 7*h. Let u be v(-5). Let d be (-6)/(-8) - (-2)/(-8). Do d and u have different values?
True
Suppose -10 = 2*m - 8. Are m and 1 unequal?
True
Let j = 16 - 16. Which is smaller: j or -11/8?
-11/8
Let y(l) = -l**2 - 4*l - 6. Let h be y(-4). Is h <= -7?
False
Suppose 3*j - 4*j = -12. Which is smaller: 13 or j?
j
Let i be 34/(-8)*(1 + 3). Which is smaller: i or 1?
i
Suppose 10 = 2*d - 0*d. Let m = 9/10 - -18/5. Are m and d non-equal?
True
Suppose 59 = -5*y - u, -2*y + 4*u = -7*y - 56. Is -13 <= y?
True
Let m = -77/370 - -4/37. Is 0 != m?
True
Let k = -269/9 - 1712/99. Let h = k - -47. Is h at most 1?
True
Let n be -20*((-144)/(-30))/4. Is -2 less than n?
False
Let y be (1 + -1)/(4 - 6). Let t = -2 - -2. Let b be y/(-1 - t/3). Is b != -1/3?
True
Let a = 0.06 - 8.06. Let z = -9 - a. Let p be ((-1)/1)/(14/(-4)). Which is bigger: z or p?
p
Suppose 80 = -7*d + 10. Which is greater: d or -11?
d
Let z = 5/53 - -61/477. Let f = -577 + 13273/23. Is z equal to f?
False
Let z = 194 + -2518/13. Let c(s) = -2*s - 29. Let u be c(-15). Is u at least z?
True
Let b(r) = r - 3. Let q be b(5). Let j = -2 + q. Which is smaller: j or 2?
j
Let s = 0.15 + -0.2. Let z = s - -0.1. Let d = z - 1.05. Which is smaller: -0.2 or d?
d
Let t be -1 - 2/(360/766). Let k = -50/9 - t. Is k bigger than 1?
False
Let v be (0/(-4))/(0 + 2). Let p = 8 + -11. Let o = p - v. Which is greater: o or -2?
-2
Suppose -2*d = 5*w - 9, w = -5*d - w + 12. Suppose -5*y + 0*q - q = -1, -17 = 3*y + 5*q. Which is bigger: y or d?
d
Let h(v) = -v**3 - 5*v**2 + 5*v + 7. Let a be h(-6). Let d = a - 9. Which is bigger: d or -1?
d
Suppose -w + 6 = 14. Let m be (-2)/w - 15/28. Suppose 0 = 4*d - 9*d - 5. Which is smaller: m or d?
d
Let p(a) be the first derivative of -a**3/3 - 3*a**2/2 + a - 2. Let j be p(-4). Let v(h) = h**3 - 3*h**2 - h + 1. Let d be v(3). Is d bigger than j?
True
Let c = 634827/1138124 + -2/21887. Let x = c + -4/13. Which is smaller: x or -1?
-1
Let t = -93/176 + -3/176. Is 1/2 equal to t?
False
Let x(a) = 4*a - 19. Let s be x(5). Which is greater: s or 3?
3
Let u = 2.8 + -3. Let p = 15.2 + -15. Is u > p?
False
Suppose -9 = 5*z + 11, -3*z = 2*l + 12. Let d = -3 + 4. Suppose h + l*h = -d. Is -2 < h?
True
Let j(g) = -g - 12. Let s be j(-9). Is s at most as big as -4?
False
Let r = -34 - -31. Is r at least as big as -3/2?
False
Let s = -3532/5 - -710. Do s and 4 have the same value?
False
Let l(p) = -p**2 - 8*p - 14. Let f(k) = k**2 - 14*k + 8. Let z be f(13). Let u be l(z). Is u >= 9/7?
False
Suppose -3*l = -4 - 11. Suppose l*h + 13 = -2. Let r be -1 + 1/(-2)*2. Which is greater: h or r?
r
Let m = -8 + 12. Let j = m + -2. Let n = 2 - j. Which is smaller: n or -1/3?
-1/3
Let u(a) = a**2 - 3*a - 9. Let v be u(6). Are v and 9 non-equal?
False
Let b = 0.07 - 0.19. Let n = -0.98 + b. Is -1 > n?
True
Let w = -13/25 + -357/25. Which is smaller: -16 or w?
-16
Suppose 3*p = p - v + 6, 15 = -p + 4*v. Suppose -4 = -3*q - p. Let n be (6 - 2) + 350/(-91). Is n != q?
True
Let i be (5 + -2 + -1)*(-2)/4. Which is greater: i or 8?
8
Let x = 2 - 2.02. Let p = x - 0.18. Are -1/5 and p unequal?
False
Suppose 0 - 57 = -3*d. Let j = -19 + d. Which is bigger: j or 3/8?
3/8
Let a be 4/(-6) + 8/12. Which is smaller: a or 6/19?
a
Let c = 79486 - 719527/9. Let z = 461 + c. Is -1 equal to z?
False
Let v = -10.8 - -13.1. Is -2 greater than or equal to v?
False
Let n = -0.4 - -0.4. Let u = n + 0. Which is bigger: u or 0.1?
0.1
Suppose 5*w = -2*x + 120, -2*w = -7*w + 2*x + 100. Does w = 20?
False
Suppose r - 3*f - 2 = 0, 4*r + 5*f - 11 = -37. Let v be 1*4*(-2)/r. Suppose 5 - 3 = -3*k + j, 2*k + v*j = 12. Are 0 and k equal?
False
Suppose r - 5 = -2*y, 2*r - 1 = 5*r - 2*y. Let i = -1/3640 - -3/104. Let o = -3/7 + i. Is o less than or equal to r?
True
Suppose -2*n + 4*m + 15 - 41 = 0, -2*m + 24 = -2*n. Which is bigger: n or -10?
-10
Let i = -12/7 + 29/21. Let n = -0.5 - -0.3. Let z = n + 0.3. Do i and z have the same value?
False
Let v = -16 + 10. Let f = v + 8. Let b = f + -1.7. Do b and 0.1 have different values?
True
Let c = 2 - 1. Let m be 2*((-22)/(-8) + -3). Which is smaller: c or m?
m
Let a be 4/(-11) - (-6)/33. Let b(q) = q**2 - 8*q - 8. Let t be b(-1). Which is smaller: a or t?
a
Suppose -4*t - 9 = -5*q, -3*t + 3*q + 5 = 2*t. Suppose t*l = 2*l. Is l <= -2?
False
Suppose -4*q + 1 = 5. Let h = -1