z = p + w. Which is smaller: z or 4?
z
Let x(q) = q + 10. Let v be x(-8). Suppose 4*g - 5*h + 29 = 0, -4*h = 2*g + v*g - 16. Let w be (-1)/3 - 3/(-9). Is g greater than w?
False
Suppose -4*p - 6 - 2 = 0. Let o be -3 + (p - -2)*1. Are -3 and o unequal?
False
Suppose 2*p = d - 5, 2*p + 9 - 1 = -2*d. Does 3/16 = d?
False
Suppose 6*t - 4*t = 10. Suppose t = -3*u + 14. Is 4 less than u?
False
Let j be 0/2 + (-4)/(-14). Let s be 6/(-12) - 5/(-7). Let k = s + j. Is k smaller than 0?
False
Let a = 18 - 17.7. Do a and 26 have different values?
True
Suppose 0 = 6*v + 24 + 72. Is v at least -16?
True
Suppose 0 = -3*q - 5*x + 21, 4*x = -3*q - 0*x + 18. Is q <= 8/9?
False
Suppose -3*t + 44 = 41. Is t <= -2/37?
False
Let t = -134 + 136. Is t less than or equal to 10/9?
False
Let x(g) = 5*g + 2. Let n be x(1). Which is smaller: 8 or n?
n
Let s(l) = -l**2 - 4*l + 7. Suppose 6*b = 2*b + 3*d - 22, -2*b - 3*d = 20. Let o be s(b). Let p be 4 + -6 - o/10. Is 0 < p?
False
Let t(o) = -2*o**2 - 1. Let v be t(-1). Let b(z) = -5*z + 83. Let h be b(17). Is h > v?
True
Let p = -104/5 - -21. Which is bigger: p or 1?
1
Let n be (9/(-4))/((-6)/32). Suppose 0*u + n = 3*u. Is u equal to 4?
True
Suppose 0 = -3*t - 3*g + 24, 0 = -3*t + 3*g + 2*g. Let x(p) = p**3 - 6*p**2 + 5*p + 6. Let y be x(t). Let a be y/(-4)*(-4)/(-3). Is 1 at most a?
False
Let d = 84/17 + -1630/323. Which is smaller: -1 or d?
-1
Let o = 1 + -2. Let m(b) = b**3 + 9*b**2 + 5*b - 12. Let v be m(-9). Let j be v/117 - (-1)/3. Is o at most as big as j?
True
Let g = 1051 - 3089/3. Let n = -22 + g. Is -1/3 < n?
False
Let x = 8 + 1. Suppose -2*y + 2*m = -19 + 7, -x = 3*m. Suppose -3*a = y*j, j - 7*a = -2*a. Is 3/8 at most j?
False
Let f = -9 - -9.2. Which is smaller: 1.9 or f?
f
Suppose -45 = 2*p + 17. Which is greater: -29 or p?
-29
Let x = -80 - -67. Which is smaller: x or -12?
x
Let l = 2719/418 - 140/19. Let v = -1643/4488 - -1/408. Let z = l - v. Is z >= 2?
False
Suppose -d - 39 = -15. Let y = d + 122/5. Which is bigger: 1/4 or y?
y
Let q = -73 + 74. Which is greater: 6.3 or q?
6.3
Let t = 89083/41 + -2173. Which is greater: 1 or t?
1
Let u = -17 - -18. Let z be (4/5)/(4/10). Suppose 2*k + 4 = z*c, 2*c + 3*k - 11 + 2 = 0. Which is greater: c or u?
c
Suppose -46*h + 47*h + 5 = 0. Is -5 not equal to h?
False
Let c(u) = u**2 - 5*u - 6. Let t be c(7). Suppose t*k = 7*k - 14. Which is smaller: -15 or k?
-15
Suppose -r + 26 = 5*w - 16, 4*r + 24 = 4*w. Let i = w - 15. Suppose -4*o - d - d = 38, 2*o + 2*d = -22. Which is smaller: o or i?
o
Suppose -z + l + 11 = -3*l, 0 = 4*z + l + 7. Suppose 0*f + 2*f - 18 = 0. Let o be z - -3 - f/4. Which is smaller: o or 1?
o
Let u = -21 - -20. Is -5/8 smaller than u?
False
Let f(w) be the third derivative of -w**4/12 - w**3/6 - w**2. Let r be f(-2). Suppose 16 = -r*s - s. Do s and -4 have the same value?
True
Let l = 0.45 - -2.55. Which is bigger: -7 or l?
l
Let d = 0.75 + -0.35. Let i = -0.3 + 0.1. Let y = i + 0.4. Is y greater than d?
False
Let y(s) = 4*s**2 + s + 1. Let g = -2 - -1. Let t be y(g). Is t > 1?
True
Suppose -5*r + 25 = f, f + 10 + 5 = 3*r. Let o = 5 + f. Suppose 3*d + 15 = 8*d, d = -o*i + 13. Is i <= 3/4?
False
Suppose t - 1 - 4 = 0. Let m = -4 - -2. Let y = t + m. Which is smaller: y or 5/3?
5/3
Let m be (-17)/10 + (4 - 2). Which is smaller: 1 or m?
m
Let p = 1 + 2. Let f be 2 + 0 - (p - -4). Let j be (5 - 3) + 14/f. Is j != -2?
True
Let j(d) = 2*d. Let t be j(1). Which is smaller: -4 or t?
-4
Suppose 0 = 2*x + 8, 14 = -u + 4*x - 7*x. Let g = u + 7. Suppose g*a - a = 0. Is 1 greater than a?
True
Let t = -31831/5 + 6340. Let b = t + 26. Is b less than or equal to -1/8?
True
Let q = -71 + 68. Is q < -4?
False
Let u(b) = b**2 + 5*b - 4. Let d be u(-6). Let i be ((-9)/12)/(d/(-8)). Which is smaller: i or 2?
2
Let s(g) = g**3 - 8*g**2 + 10*g - 19. Let q be s(7). Which is smaller: q or 36/11?
q
Let i(q) = -q**2 + q + 14. Let t be i(0). Suppose 5*d - t = -4. Let h be (1/d)/((-3)/2). Is 0 less than h?
False
Let f be 10/(-12) - (-5)/(-30). Which is smaller: f or -2?
-2
Suppose -3 = -3*b + 3*v, -3*b + 2*v - 4*v = 12. Suppose 2*d + 19 = -3*t, t + 3 = -3*d - 8. Let h be (-14)/15 - (-2)/t. Which is smaller: b or h?
b
Let y be (1/((-2)/(-4)))/(14/28). Let s be ((-2)/(-3) - 0)*3. Is s != y?
True
Let h = -7 - -8. Suppose -41 = -5*k - h. Which is smaller: 9 or k?
k
Suppose -j = -5, 62 = 3*u + j - 27. Suppose 0 = -3*g + 87 - 6. Which is bigger: g or u?
u
Let t be 1/(-30)*-8*6. Let z(w) be the first derivative of w**2/2 + 4. Let o be z(1). Is o less than t?
True
Let q = -241/4 + 1187/20. Is 0 less than or equal to q?
False
Let g(b) be the second derivative of b**4/12 + b**3 - 5*b**2/2 + 3*b. Let h be g(-7). Let k(y) = y - 2. Let s be k(4). Is s greater than h?
False
Let z = -6301 + 1531145/243. Let n = z - 1705/486. Is n bigger than -0.1?
False
Let n = 13.9 + -14. Are 1 and n unequal?
True
Let f(v) = -v**2 + 0*v**2 + 0 + v + 18. Let j be f(0). Suppose 0 = -3*n - 2*z + 5, -2*n + 5*z - z - j = 0. Which is smaller: -2/5 or n?
n
Suppose -47*m + 41*m = 0. Is 2/345 < m?
False
Suppose -2*r = -2 + 6. Let s be (r/2)/(0 - 1). Is s equal to 0?
False
Let f(k) = k**2 + 6*k + 5. Let j be f(-5). Which is bigger: j or 2/11?
2/11
Let b = 9 - 8.9. Let h = 9 + -15. Let a = h - -6.3. Is a < b?
False
Let u be -3 + 64/12 + 0. Let r = u - 3. Which is greater: 3/7 or r?
3/7
Suppose 2*l + 3*l = 3*h + 7, -3*h = -3. Let b(f) = f - 9. Let j = -10 + 20. Let q be b(j). Is l greater than q?
True
Let s = -7 + 7. Let f be (3/66*-6)/((-12)/8). Is s greater than or equal to f?
False
Suppose 0*z - 3*z = 6, 5*z = -2*m - 6. Which is greater: m or 4?
4
Let f = -18 - -12. Let w be (4/(-3))/(1/3). Do f and w have the same value?
False
Let x be 2/(-4) - (-135)/230. Let l = 49 + -49. Is l >= x?
False
Let o = 14 - 9. Let i = o + -4. Let h be (2/(-35))/(i/(-5)). Is h smaller than 1?
True
Suppose -2*w = 3*i - 2*i - 23, 2*w = -4*i + 68. Suppose 6*z - 28 = 3*z - 4*n, 0 = 3*n + i. Suppose 5*j - 15 = a, 2*j + z = -5*a + a. Is j < 2?
False
Let n = -6 - 19. Suppose 0 = 5*g + 13 + 12. Let k be g/n - 1/55. Which is bigger: k or -1?
k
Let q be (-24)/(-18) + 136/12. Is q > 13?
False
Let a = 1.1 + -5.1. Let c = a + 3.9. Let b be (-2 + 3)/((-2)/4). Is b smaller than c?
True
Let q(l) = -l**2 + 9*l + 4. Let c be q(9). Suppose 4*y = j + 3*y + 4, 3*y = -5*j + 12. Suppose c*p + j*p = -4. Which is smaller: 0 or p?
p
Let n = 1/2 + -1/18. Let y = 177 + -1591/9. Let p = y + n. Which is greater: p or 2?
2
Let y = 0 + 1. Let q be y/3*(2 + -5). Let b = -17/21 + 2/3. Which is bigger: q or b?
b
Let a be (-2)/3 + (-4)/(-6). Let m be (6/(-4))/((-1)/(-10)). Let d be 0 + (6/m)/(-2). Which is greater: a or d?
d
Let y be 111/(-12) - 1/(-4). Let h be y/12 - (-3)/4. Do 1/5 and h have the same value?
False
Let m be (-2)/8 + (-3762)/(-40). Let p = m - 93. Which is bigger: p or 2?
2
Let i be (2/(-3))/((-14)/(-63)). Let n be (-6)/(-12) + i/(-2). Which is smaller: 4 or n?
n
Let o = 19.8 - 20. Is o at most -5/7?
False
Let i = -10.8 + 74.7. Let j = 58 - i. Let m = -6 - j. Which is smaller: 1/2 or m?
m
Let a = -0.31 - -0.41. Which is smaller: a or 49?
a
Let v be 5 - 6 - (2 + 0). Let s = -3 - v. Is 4/7 at least as big as s?
True
Let a = 159 + -136. Is 27 <= a?
False
Let n be (-5 + 5)/(4/2). Which is bigger: n or 1/4?
1/4
Let h = 124 - 123. Is 9/4 >= h?
True
Let u = -22 - -22. Is -1/28 smaller than u?
True
Suppose -93 = 2*b + 145. Let y = b - -1311/11. Which is smaller: y or 2?
y
Suppose -11 = -3*o + y - 0*y, -5 = y. Suppose -o*p + p = 0. Let q = 29 - 57/2. Which is smaller: p or q?
p
Let a(v) = -v - 6. Let n be a(-9). Is -1/3 at most as big as n?
True
Let j = -2.97 + -0.03. Let s = j + 2. Let u = 50/57 - 4/19. Which is greater: u or s?
u
Suppose 0 = 5*x - 5*y + 5, -x - 5 = 3*y - 8. Does x = 0?
True
Suppose 0 = 7*f - 13 + 13. Is 1/27 less than f?
False
Let i be (1/14)/((-2)/(-8)). Let j be -2*((-1)/2 - 1). Suppose 0*x = j*x. Is x >= i?
False
Let a(w) = -2*w - 2. Let l be a(-2). Suppose f + 1 = l. Let b = 1/32 - 9/32. Are f and b equal?
False
Let n = -6.06 - -0.06. Let o = n - -3. Let j = o - -6. Is j >= 2/5?
True
Let l = 2 + -3. Let o = 2 + -6. Is o greater than l?
False
Suppose 2*s + 80 = 6*s. Let d be 3/(-4) - (-15)/s. Are 0.2 and d non-equal?
True
Suppose 0 = -5*b