ller: h or c?
c
Suppose 3*b + 79 = -2*i, 8 = 5*i + 5*b + 213. Let m be i/(-10) + (-12)/(-20). Let t = -5 + m. Is t >= -2?
True
Let d be 3/(-2)*1/2. Suppose 0 = -3*n - 2*z + 67, -7*z + 3*z = 2*n - 58. Suppose -5*p - n + 3 = -2*t, -9 = 3*p - t. Which is smaller: d or p?
p
Let p = 18220/11709 - 2/3903. Which is bigger: p or 1?
p
Let m(f) = -f**3 + 9*f**2 - 2*f + 20. Let n be m(9). Let j be (-6)/n - 16/(8/(-2)). Is j less than or equal to 15/7?
True
Let s be (-252)/14*2/(-6). Suppose -5*w = -26 + s. Are -4 and w equal?
False
Let l = 106 + -104. Suppose -7*f - 3*a + 1 = -2*f, 5*f + l*a = -1. Is f bigger than -2/11?
False
Suppose -5*d = 5*b + 15, b - d + 2 = -1. Suppose -3*z - 6 = -z. Is b >= z?
True
Let z(x) = x**3 + 16*x**2 + 22*x - 83. Let v be z(-14). Is v at most -2/333?
False
Let z be (-2159)/(-8) + (1 - 14/16). Let b = -1884/7 + z. Let f = 0 + 0. Which is smaller: b or f?
f
Let j = 665 + -677.1. Which is bigger: -0.1 or j?
-0.1
Let q = 0.88 - 1.392. Let p = 0.162 + q. Which is greater: -1 or p?
p
Let h(n) = -5*n + 7. Let x be h(2). Let w = 7 - 4. Which is smaller: w or x?
x
Let f(h) = -h**3 - 9*h**2 + 11*h + 11. Let x be f(-10). Let d be ((-3)/20)/((-4)/1390). Let c = d - 52. Is x < c?
False
Suppose -5 = 2*g - a, a - 2 = 3. Suppose 2*d - 24 = -g*z + 4*z, -4*z - 36 = 4*d. Is -7 equal to z?
True
Let w = 2.2 + -2.7. Is -0.064 bigger than w?
True
Let u = -3 - -7. Let b be 3/2*(-6 + 2 - -12). Suppose -b = 7*n - 10*n. Is n bigger than u?
False
Let b = -42 + 41.722. Let m = b + -0.022. Is m greater than or equal to 5?
False
Suppose -396 = 13*l - 24*l. Is l equal to 39?
False
Let o be (200/16 - 10)*32/(-10). Are -11 and o equal?
False
Let z = -493 - -532. Is z greater than or equal to 39?
True
Let n = 1281 - 1269. Which is smaller: 255/22 or n?
255/22
Let d = -186 - -1766/9. Which is greater: d or 9?
d
Let w be -6 - -8 - (2 + -3). Suppose w*x - 12 = -3. Is 2 greater than or equal to x?
False
Let m = 1760 - 1761.59. Which is smaller: m or 2?
m
Let s(h) = -h**3 + 5*h**2 - 3*h - 1. Let q be s(5). Let y be 12/q + 12/16. Let g be y/(3/(-1 - -4)). Which is smaller: g or 2/13?
g
Suppose -j = 65 - 15. Is j at least -49?
False
Let q be 3/((-3)/7)*(-660)/(-77). Let f = q - -29. Is -31 != f?
False
Suppose 6*h = h + 5. Let f be (3 + -1 + h)/1. Suppose 3*x + 3*a - 6 = 0, -4*x + 3*a + 15 = -0. Is x bigger than f?
False
Let z be (20/25)/((-6)/(-15)). Suppose 0 = 5*a + k - 150, -z*a - a + 4*k = -90. Let y be (-504)/a - 1/5. Is y at least as big as -16?
False
Let v be (-6 - (-8 + 2))/1. Is v != -2/29?
True
Let y = 846/17 + -448/9. Is y equal to 1?
False
Let u = 4.3 - 1.7. Let z = -2.4 + 1.4. Are z and u non-equal?
True
Suppose 2*a = q + 43, -3*q = -2*a + 24 + 25. Let r be (1 + -2)*24/a. Which is smaller: r or 0?
r
Let w be 6 + -2 + (25 - 2). Which is smaller: 28 or w?
w
Let k(c) be the second derivative of -c**4/12 - c**3 - 16*c. Let n be k(-3). Suppose -3*x - 10 = -4*x. Which is smaller: n or x?
n
Let g = 2802 - 5739/2. Which is greater: g or -68?
g
Let i = 116591007/308 + -378545. Let f = 3/154 + i. Which is greater: f or -3?
f
Let p = 4603 + -4418881/960. Which is greater: p or -1?
p
Let g = -1078/9 + 120. Let w be ((-34)/30 - 3) + 4. Is g smaller than w?
False
Let g = 151 - 153. Let u = -130.8 - -118. Let q = u + 13. Which is greater: q or g?
q
Let d = 43 + -31. Let m = d + -13.8. Suppose w + 3 = -z, -3*w + 0*z - z - 3 = 0. Is w bigger than m?
True
Let m = -6 - -2. Let f(a) = -a + 1. Let j(k) = -3. Let d(c) = m*f(c) - j(c). Let b be d(1). Which is smaller: 2 or b?
2
Let h(m) = m**2 + 7*m - 6. Let t be h(-8). Suppose -t*o = 50 - 48. Which is greater: o or -1/6?
-1/6
Let p = 3 + -2. Suppose -5*j = -0*j. Let u(m) = 3*m + 3. Let x be u(j). Is p bigger than x?
False
Suppose -2*b - 3*s - 15 = -0*s, 4*s = 2*b - 20. Which is bigger: 5/52 or b?
5/52
Let y be 21/35 - (16/10)/(-4). Which is greater: 1/210 or y?
y
Let u = -1.1 + 2.4. Let f = 8.7 + u. Let s = f + -9.7. Which is greater: 0.1 or s?
s
Suppose -19*f - 11*f = -120. Does f = 0.22?
False
Let x = -7.84 + 7.99. Is x > 4?
False
Let b(l) = 20*l. Let n be b(-1). Let a = -61/3 - n. Let w = 0.11 - -3.89. Is w at least a?
True
Suppose -4*p + 22 - 13 = -3*q, 2*q = 4*p - 10. Let f be ((q + 0)*(-6 + 6))/(-3). Which is greater: 3/20 or f?
3/20
Suppose -3*b + 2*r = -6*b - 77, -3*b - 65 = -r. Is -8/7 bigger than b?
True
Let t(v) = v**2 + 31*v + 148. Let n be t(-24). Which is smaller: -24 or n?
-24
Suppose -5*u - 4*c + 46 = 0, 0 = -3*u - 2*c + 14 + 14. Let k be 51/(-5) - (-2)/u. Let r = -0.0071 + 0.1071. Which is smaller: r or k?
k
Let a(i) = i**2 - 10*i + 8. Let j(l) = -l**2 - 11*l - 15. Let u be j(-9). Suppose -24 - 3 = -u*v. Let y be a(v). Is y at least as big as -3?
True
Let a(w) = -w - 7. Let j be a(-10). Suppose -4*s - j*b = 203, s + 5*b + 13 + 42 = 0. Let q be 8/16 + s/68. Which is smaller: 0 or q?
q
Suppose 1248 = 2*a + 2*a. Let z be (150986/(-242))/(1 + 1). Let p = z + a. Which is greater: p or 0?
p
Let r(c) = 3*c**3 + c - 1. Let d be r(1). Suppose -2*k = 6, 4*u + 80 = -k - d*k. Let a = u - -18. Do a and 6/7 have different values?
True
Let z be 4 + (-7)/1 + 3. Let d be 3/(-3) + (z - 2) - -2. Which is bigger: d or 3/19?
3/19
Let v(n) = -n**2 + 8*n - 41. Let t be v(6). Let y be (2/4 - -1)/((-6)/118). Which is smaller: y or t?
y
Let v = -444.9 + 446. Let x = -12 - -10.8. Let h = v + x. Is -4 at most h?
True
Suppose q - 5*q = -5*a + 619, q - 614 = -5*a. Is a <= 1/3?
False
Let w be (-40)/500 + (-3)/(-350). Which is bigger: w or -0.16?
w
Let b = 0.1 + -0.2. Let p = -1750 - -1750.31. Is b smaller than p?
True
Let k = -0.0574 + 51.2574. Let y = k - 47. Is -0.1 equal to y?
False
Let x(g) = -3*g**2 - 15*g - 13. Let v be x(-6). Are -31 and v equal?
True
Suppose 4*w = -n + 6 - 0, 3*w - 3*n = 12. Suppose 38 = -3*x - w*u, -3*x + 21 = -4*u + 89. Is -15 != x?
True
Let f(h) = 28*h + 453. Let w be f(27). Is 1210 less than w?
False
Let p = -1 - -5. Suppose 11 = -4*j - 3*n, p*j - 3*n = -n - 6. Suppose 3 = -5*t - 2. Is j at least t?
False
Suppose -2*t + 6 = 2*i - 2, 5 = 2*i - t. Suppose 3*b + 3*k - 57 = -18, -b + 2*k + 4 = 0. Let u be ((-6)/i)/(b + -1). Which is smaller: u or 0.1?
u
Let f = 783 + -35234/45. Which is smaller: 0.1 or f?
f
Let w(r) = 8*r. Let z be w(1). Let n = z + -6. Suppose n*m = -m. Which is bigger: 2/33 or m?
2/33
Suppose 0 = 5*h - 5*i - 20, h = i - 3*i + 7. Suppose 6*z = -208 + 244. Are h and z nonequal?
True
Let y be 15/5*28/6. Let g be (8/(-20) + y/10)/(-1). Let m be 0 + (-4)/7 - -1. Are m and g unequal?
True
Let c be (-2)/(-4) + (-86)/(-4). Let y = 43/2 - c. Suppose 0 = -3*r + 3*i, -22 = -5*r + i - 26. Which is smaller: y or r?
r
Let g = -8 + 10. Let h = -871 - -862. Do h and g have the same value?
False
Suppose 61*u - 48*u = -4134. Is u greater than -319?
True
Let p be (-2)/(-2)*(7 - (2 + 5)). Let z be (-75)/150 + ((-15)/(-2) - p). Is 5 < z?
True
Let m = -61052 - -306242/5. Is m at least 196?
True
Let d(w) = -w**3 + 11*w**2 + 9*w. Let u(l) = 2*l**3 - 23*l**2 - 18*l + 1. Let n(b) = -13*d(b) - 6*u(b). Let j be n(7). Let f = -30 + j. Are f and -5 equal?
False
Let f = -12.98 - -13. Let t = 0.02 - f. Let z = t - 1. Which is greater: z or -4?
z
Let k be 4/34 + 8/(-68). Suppose 0 = -4*q - 5*s - 35, 4*q + k*s + 8 = 4*s. Does -6 = q?
False
Suppose q - 6*q - m = 1672, 3*m - 1014 = 3*q. Let y be q/111 - (-3 + 0). Is y less than 0?
True
Let u(o) = o + 14. Let i be u(6). Let v be (46/4)/(10/i). Let g = 68/3 - v. Is 1/3 <= g?
False
Let p = 217 - 218. Which is greater: p or -3/22?
-3/22
Let u be 4*1/(-4)*-2. Let l = 0.29 - 3.29. Is l < u?
True
Let c = -125 - -126. Let x = 18 + -15. Suppose 4*h = -12, -5*l + 5*h - x*h = -76. Is c at most l?
True
Let f = -791 - -790. Are f and -4/237 equal?
False
Let n = 672 + -564. Are 107 and n equal?
False
Let f = -5.6 + 0.6. Let i = f - -5.1. Let g = -343/8 - -43. Is i bigger than g?
False
Let m = -1.39 - -0.09. Let b = m - -2.9. Are b and 1/3 nonequal?
True
Let i be (-5 - -20)*16/(-260). Let b be (0 + 3 + -3)/1. Suppose -3*j - 4 + 1 = b. Is i less than j?
False
Let o be 237/27 - (416/72 + -6). Is o > 8?
True
Let k = 88.4112 + -0.1112. Let h = 76 - k. Let g = h + 12. Is g < 2?
True
Let s be 3/(-15) + 93/15. Let v = 6 - s. Suppose 0*x - 16 = -x + 4*h, 4*x + 5*h + 20 = v. Which is greater: x or 