?
True
Let h be (2/(-1) + 0)*480/(-20). Which is smaller: h or -1?
-1
Let v = 2 - 9. Let s be (v/2 + 3)*-8. Let z(w) = w**2 + 7*w + 3. Let n be z(-7). Is s bigger than n?
True
Let q = -38.2 - -0.2. Let m = q + 37.4. Which is greater: 1/2 or m?
1/2
Let n = 6 - -7. Suppose -3*i = -6*i + 2*w + 11, -5*i + n = -2*w. Is i < 2/27?
False
Suppose i - 3*r - 5 = 0, 7*i - 25 = 2*i - r. Suppose 5*s - i*v = 105, 2*s - 5*v = -0*s + 51. Let y = s - 53/3. Is 0.1 at least as big as y?
False
Let p(q) = -q**3 + 4*q**2 - 13. Let r be p(2). Let z be (-12)/2*(-3)/(-6). Is r > z?
False
Let t = 35 - 37. Let d be t/(-4)*(29 + 1). Let l be (-12)/d*(-5)/(-1). Which is bigger: -2 or l?
-2
Let l be (-3)/(-12)*4/(-10). Let p = 512 - 1550/3. Let z = p - -4. Is z >= l?
False
Let b = -1730 - -1546. Is b less than -3/2?
True
Let s = -13 + 11. Let w = s - -9. Let a = w + -6.9. Is a less than -0.08?
False
Suppose 0 = 4*g - 5*w - 101 - 114, -4*g = -3*w - 225. Suppose 3*u - g = 5*u. Which is bigger: u or -29?
-29
Let u = 113.1 - 113.4. Is u > 30?
False
Let j = -0.14 - 1.76. Let z = -10.9 - j. Is -0.2 at most as big as z?
False
Suppose -4469*g + 4475*g + 954 = 0. Is g at most as big as -789/5?
True
Suppose -3*y = 4*q - 26, -5*y - 2 = 5*q - 37. Let r be 3/(-4) - 3/(12/(-23)). Suppose 4*f = k + r + 2, 2*f = 2*k + y. Is 2 at least f?
True
Let s(v) = -v**3 + 4*v + 6. Let n be s(-5). Suppose 64 = 5*j - n. Let g be (3 - 120/j) + 3. Is g <= 4?
True
Let d = 44.002 + -44. Let i = -0.698 - d. Let c = 2 - 0. Which is smaller: i or c?
i
Suppose s - 1 = 4*x, -5*x + s = 2*s - 1. Let z = 88 + -73. Let q = 12 - z. Which is smaller: x or q?
q
Let v = 52380/7 + -7501. Is v at least as big as -19?
True
Suppose -2*s + 6 = -2*a, 7 = -3*s - 2*a - 9. Let h(k) = -4*k**2 + 5*k. Let w be h(2). Which is bigger: w or s?
s
Let b = 106 - 74. Are 33 and b equal?
False
Let q = 290 + -289. Which is smaller: q or 238?
q
Let l(k) = k**2 + 83. Let h be l(0). Let f = 149 - h. Is f >= 66?
True
Let a be (-22*1)/((-21)/(105/(-10))). Which is greater: 22 or a?
22
Suppose 0 = -21*m + 17*m + 16. Suppose 11 - 7 = m*p. Is 2 smaller than p?
False
Let r be (-3 - 42/(-18)) + 35/12. Which is smaller: r or -0.3?
-0.3
Let r be -4*(252/20 + -9). Which is smaller: -13 or r?
r
Let t(h) = -10*h. Let w be t(2). Let p = 23 + w. Let j be p/((420/8)/5). Which is smaller: -0.11 or j?
-0.11
Let p be -1*(-3)/1 + -2. Suppose 0 = 5*i - 5*l + 50, -3*i + 3*l - 34 = -l. Let g be (-2)/24 + p/i. Which is smaller: g or 1?
g
Let v(s) = -2*s**3 + 11*s**2 - 3*s - 9. Let n be v(5). Which is smaller: n or 3/73?
3/73
Suppose 5*c + 5*a = 0, -c - 5*a = 3*c + 2. Let n be (-4 - (c - 4)) + 5. Suppose -5 + 2 = -n*k. Is k at most as big as -3/13?
False
Let j be 5 + 1 + (-75)/12. Which is smaller: j or 0.3?
j
Let s = -159.75 - -159.7. Let o = -3 - -5. Is o at most as big as s?
False
Let a = 199/276 - -2/69. Let u = 10.15 + -10. Let j = 0.05 + u. Which is smaller: a or j?
j
Suppose 2 = 5*g - 23. Suppose -4*a = -g + 1. Let s be (11/(-22))/((-13)/8). Which is greater: s or a?
a
Suppose 23*w + 1222 - 279 = 0. Which is smaller: w or -38?
w
Let h = -34121812/116627 - -12/16661. Let c be -12*(-1)/((-3)/(-73)). Let r = h + c. Is 0 equal to r?
False
Suppose -2*x = 3*m - 97, -x + 90 = x - 4*m. Is x smaller than 64?
True
Let f(h) = -15*h**2 + h. Let j be f(1). Suppose -17 + 77 = -4*w. Is j > w?
True
Suppose 0 = -9*g + 6*g - 108. Let t be 2 - (g/14 + 2 + 3). Are -1 and t equal?
False
Suppose -5*p = -4*l - 8 + 142, -3*l - 5*p + 118 = 0. Which is greater: l or 32?
l
Suppose 3 = -3*m, 0 = 5*f + 4*m + 10 - 6. Do f and 7/54 have different values?
True
Suppose -59 - 13 = -4*j. Let c = 120/7 - j. Which is smaller: 0 or c?
c
Let t be (-92)/(-22) - (-4)/(-22). Suppose 4 = 2*j, n - 8 = t*j - 3. Let y = -1.336 - -0.336. Which is smaller: n or y?
y
Suppose -2*i + 4*d - 3 = 29, -5*d + 25 = 0. Let l be (-106)/(-10) - -2*(-1)/(-5). Suppose -l*w - 44 = 11. Which is bigger: i or w?
w
Let c = 185/3 + -61. Let o = 0.047 - -21.953. Let g = o + -22. Which is smaller: c or g?
g
Let i = -78 - -80. Suppose 5*u = -i*b - 11, 3*b + 4*u + 13 = -0. Is -3 != b?
False
Let s = 742.1 - 731. Is s less than -4?
False
Suppose -7*n - 43 = 167. Do -123/4 and n have the same value?
False
Let f be -1 + 0 + -1 + 2. Let y be 210/(-37450)*10/(-3). Is f bigger than y?
False
Let k be ((-40)/6 + 7)*-366. Is -121 at least as big as k?
True
Let n(f) be the second derivative of f**5/20 - 2*f**4/3 + f**3 + 7*f**2/2 - 4*f. Let u be n(7). Which is greater: u or 1/13?
1/13
Suppose 110 = 5*h + q + 4*q, 0 = -2*h - 3*q + 42. Let l be (-1)/3*h/76. Which is smaller: l or -1?
-1
Let k = 21 + -21. Suppose 9*i - 6*i = k. Is -6/35 > i?
False
Let m be 3366/306 - (-1289)/(-117). Let h = -6 - -5. Are h and m nonequal?
True
Let y(c) = 2*c**3 + 2*c**2 - 4*c - 1. Let v be y(-3). Let b = 12 + 4. Let n = v + b. Is -8 at least as big as n?
True
Let z(t) = -14*t - 181. Let p be z(-13). Which is bigger: -16/209 or p?
p
Suppose 76*j + 1801 = -4735. Does -2 = j?
False
Let t = -10.75 - -9.75. Which is smaller: 125 or t?
t
Let k be (-1)/((-44)/20 - -2). Let l = 8 + 2. Which is smaller: l or k?
k
Suppose -6*b - 25 = -b, 0 = 4*y - 3*b - 31. Let i(d) = -d**2 + 5. Let l be i(0). Suppose 2*o = -a + 3*o - 22, l*o - 92 = y*a. Which is smaller: -17 or a?
a
Let s be (-2)/(-5) - (-1 + 16/(-10)). Let v(a) = -a - 10. Let h be v(s). Are -15 and h unequal?
True
Let u be (-9)/24*(-2)/3. Let z = -3 + 6. Let m = -3.1 + z. Which is smaller: m or u?
m
Let b be 5/10 - 3/((-36)/(-10)). Do -1/125 and b have the same value?
False
Suppose -2*j + 3*b = -7, 47*j - 13 = 51*j + 3*b. Suppose 98 = 4*i - 34. Let f = i - 98/3. Is f at least as big as j?
True
Let o = 2.1 - 0.2. Let w = 2 - o. Let g = -10714.8 - -10717. Which is bigger: g or w?
g
Let a be (6 + 205/(-30))*(-3)/(-5). Is 4.25 not equal to a?
True
Let s = 3/44 - -5391/308. Which is bigger: s or 19?
19
Let m = 101/315 + -19/35. Which is bigger: m or 4/9?
4/9
Let d(k) be the third derivative of -k**6/120 + 2*k**5/15 - 7*k**4/24 + k**3/3 - 13*k**2. Let j be d(6). Let v = j + -31. Which is bigger: -6/25 or v?
v
Let r = -23 - 1. Let n = -27 - r. Is 5 at most as big as n?
False
Let i = -0.079 + 0.279. Let q = 4 + -2. Let s = -2 - q. Which is bigger: i or s?
i
Suppose -3*n = -2*n - 1. Let t be (-32)/(-12)*(-9)/(-12). Which is smaller: n or t?
n
Let g be (-8)/(4/4) + 3/(-1). Let c(m) = 2*m + 23. Let j be c(g). Is j < -36?
False
Let x = -45 + 51. Let s be (-3 + x + 0)*-1. Which is smaller: 0.4 or s?
s
Let q = -12 - -8. Suppose k + 0*j + 5*j = 18, -j = -4. Let i be ((-1)/k)/(1/(-8)). Are i and q nonequal?
False
Let z(x) be the third derivative of x**6/120 + x**5/12 + x**4/4 - x**3/6 + 3*x**2. Let p be z(-3). Let d be (-2 + 2)/(4 - 2). Which is smaller: p or d?
p
Suppose -737 = -16*j + 575. Which is smaller: 80 or j?
80
Let w = 5.53 - 5.4. Let g = -1.3 + 0.3. Is w != g?
True
Suppose -2*q + 13 = 3. Let t be -1 + (69 - 4)/q. Suppose 2*j + 7 = -4*g + 3*j, 0 = 4*g + 4*j + t. Is g != 1?
True
Let f = 29 - 26.2. Let l be (-126)/26 - -5 - 8/(-117). Which is bigger: l or f?
f
Let x = 1/161 + -663/3059. Is -2/5 >= x?
False
Let r = -6.384 - -6.4. Let u = -0.084 - r. Which is smaller: 72 or u?
u
Let w be (-65)/(-260) - 302/(-8). Is w greater than 44?
False
Let c = -8 + 12. Let y be (0 - -3) + (-2)/(-2). Suppose 3*z - 2 = y. Which is bigger: z or c?
c
Let m = -62411591/1608888 + 6/67037. Let k = -113/3 - m. Which is smaller: k or 2?
k
Let l be (-3)/13 - 1/(-4). Suppose 3*g = -o + 3, 6*g - 11*g = 3*o - 5. Which is smaller: l or g?
l
Suppose -2*b - 6 = -4. Let x be (b/(-15))/(48/18). Is x > 0?
True
Let o be (-6)/9 - (-24)/48. Is o not equal to 43/4?
True
Suppose 0 = -2*b + 3*w + 41, 3*b + 2*w - 63 = 5*w. Let o be ((-20)/b)/(9 - 2). Let f = o - 131/770. Is f less than or equal to -0.1?
True
Suppose 2*p - 8 = -2*p. Suppose 8 = -p*y + y. Let w(i) = -2*i**2 + 45*i + 14. Let a be w(23). Are y and a equal?
False
Let k be 2 + -26*1/10. Let m = k + 2/5. Let r = -11 + 11. Which is bigger: m or r?
r
Let k(h) = -h**2 - 8*h - 13. Let u be k(-7). Suppose 7*o = 3*o - 20. Which is bigger: u or o?
o
Let k = 81 - 205. Let p be (278/k)/(30/(-40)) + -3. Which is greater: p or -1?
p
Suppose -2*d + 3 + 7 = 0, -11 = -4*u + d. Suppose 4*r - 5*r - 5*f = -1, -4*r - u*