((-20)/8). Let m be -2 + (117/(-24))/(-13). Is j at most as big as m?
False
Let u(r) = -2*r**2 - 3*r + 2. Let l be u(-3). Let y be (l/((-105)/(-12)))/(6/15). Is y smaller than -9?
False
Let k be (2 + 0)/((-2)/8). Let c be ((-4)/6)/(56/(-54) + 1). Let d be (75/27 - 3) + (-104)/c. Is k < d?
True
Suppose -5*o - 1612 = 2*v - 6*v, v - 1294 = 4*o. Is o <= -323?
True
Let f = 1 + 3. Suppose -f - 2 = 2*i + 2*p, -2*i = -2*p + 10. Let h be ((-3)/(-78))/(i/(-16)). Which is smaller: h or 1?
h
Let h(w) = -w**2 + 14*w + 16. Let i be h(15). Let u be 0 - -9 - i*3. Which is smaller: 2 or u?
2
Let v = -13 + 16. Suppose v*r + 46 = 4. Let a be ((-11)/(-2))/(7/r). Do a and -11 have the same value?
True
Suppose 13*x + 12*x = 2100. Which is smaller: x or 83?
83
Let i be (18 + -16)/(1209/6). Is 1 at least as big as i?
True
Suppose 23*b = -8*b + 1085. Let d = -70 - -44. Let v = b + d. Which is smaller: v or 8?
8
Let a = -34 + 103/3. Suppose -68 = 2*y + 12. Let x be 34/8 - y/(-10). Which is smaller: x or a?
x
Let o be 1 + (-6)/(-3) + 2. Let f be -1 + (0 - 2) + o. Let i be (6/(-56))/(f/8). Is i smaller than 0?
True
Let o be (-2233576)/(-2684) + (-4)/22. Are 832 and o non-equal?
False
Let g = 1016 - 1045. Which is smaller: -3/22 or g?
g
Suppose 3*u = 2*u. Suppose u = 2*n - 0 - 4. Suppose o - n*o = 0. Which is greater: -1/18 or o?
o
Let z be (10/(-35) + (-4)/(-14))/1. Let u(k) = k + 4. Let p be u(z). Is 9 equal to p?
False
Let n = -636 - -651. Which is greater: n or 11?
n
Let z(r) = -4*r + 32 + 4*r + 0*r + r. Let k be z(-19). Which is smaller: k or 14?
k
Suppose -70 = 6*f + 4*f. Let t(c) = 2*c**2 + 9*c + 6. Let d be t(f). Which is greater: 39 or d?
d
Suppose 3*m - 2*m - 235 = -3*j, -2*m + 239 = 3*j. Suppose -3*u = -3*q - 4*u + j, -4*q = -3*u - 94. Do 28 and q have the same value?
False
Suppose 5*b = 7*b - 132. Is b at most as big as 60?
False
Suppose 130 = -2*r + 112. Which is bigger: -19/2 or r?
r
Suppose -11 - 4 = 5*t. Let i(w) be the second derivative of -w**5/20 - w**4/4 + w**3/6 + 3*w**2/2 - 5*w. Let p be i(-2). Is p at most t?
True
Suppose 0 = 5*a + 64 + 146. Let l be -6 - ((-732)/(-21) - (-2)/14). Is a >= l?
False
Let n = -35 + 37.3. Let c = 2.1 - n. Which is smaller: -2/3 or c?
-2/3
Suppose -5*o + 608 = 4*v - 8*o, -3*o = -v + 152. Which is greater: 151 or v?
v
Let g = -1769/3 - -590. Which is smaller: g or -739?
-739
Let z = -468 - -6549/14. Let g be 47 + -5 + 1/((-2)/(-4)). Let l be 1/4*g/11. Is z at least l?
False
Let p = 2267/165 + -69/5. Let o = -2 + 1. Which is bigger: o or p?
p
Let r = -149 + 540. Is 390 greater than or equal to r?
False
Let c = 91.85 + -0.85. Let j = 90.9 - c. Is 9 smaller than j?
False
Let j be (2/(-3))/(2/6). Suppose -k = f, -3*f + 11 = -4*k - 10. Let n be ((-1)/(-3))/(-1) - (-9)/k. Is n less than j?
True
Let p = 92.96 + -150.95. Let l = -58 - p. Is l greater than -1?
True
Suppose 776 - 860 = 21*b. Let m(s) = -311*s**3 + 2*s**2 + s. Let z be m(-1). Let h = z + -946/3. Which is greater: h or b?
h
Let x be 110/44*36/70. Let o = 11/14 - x. Which is smaller: o or 0.13?
o
Suppose 0 = -2*k + 3*p + 561, -4*k + p + p + 1118 = 0. Which is greater: k or 278?
k
Let r = 2 + -1. Let m = 6322 + -6339. Are r and m equal?
False
Let y(k) = -62*k**2 + 8*k + 13. Let x be y(-1). Let g be 0 - (29 + 0)*2. Is g at least as big as x?
False
Let p(f) = -f - 6. Let g be p(0). Let b be (g/16)/(0 - -1). Let n be -6 - 11/(88/(-48)). Which is smaller: n or b?
b
Let f be 4*(-5)/(-80) + (-889)/1988. Does f = -1?
False
Let j be 1 - 2 - 3/(-5). Let r = -0.932 - 0.068. Let w = r - 0. Are w and j equal?
False
Let b be ((-5)/(-15))/1*-3. Let m = -1401/565 + 9/113. Is m at least b?
False
Suppose 3*o - 4*r + 50 = -110, 3*r - 162 = 3*o. Which is smaller: o or -57?
-57
Let y = 276 + -274. Is y at most as big as -17?
False
Let o(q) = 2*q - 50. Let p be o(20). Are p and -11 non-equal?
True
Suppose 3*o - 20 = -2*o. Suppose -4*s + 2*s + o = 0. Suppose -4*m + s = -2. Which is bigger: -2 or m?
m
Let t be ((-166)/48 - 54/(-432))*3. Is t > -8?
False
Let j(h) = h**3 + 6*h**2 + 7*h + 6. Let o be j(-4). Let k be (-5245)/(-25) + 2/o. Let c = k + -3992/19. Which is smaller: c or 1?
c
Let s be ((-1)/(-5))/(216/40). Which is bigger: -1 or s?
s
Let g = 46 + -65. Let r = -14 - g. Do r and -0.3 have the same value?
False
Let y(b) = 10*b - 21. Let n be 26/12 - (-3)/(-18). Let m be y(n). Let k be 2*(1/1)/28. Is k at least m?
True
Suppose 0 = -4*l - l - 10. Let j = -1 - l. Let v be -14 - -12 - 7/(-3). Do j and v have different values?
True
Let c(r) = -3*r + 2. Let d be c(-2). Suppose 0 = -k - 5*l - d, k + l = -l - 2. Suppose h = -u - 7, -4*u - 30 = k*h - 12. Is -6 equal to h?
False
Suppose 5*h + 0 = -5. Let m = -62 + 113. Let c be ((-12)/m)/((-4)/(-2)). Is h equal to c?
False
Let s be 4 + (-8)/((-12)/(-3)). Suppose 0*v - 4 = 2*w - 4*v, 5*w + s*v = 2. Which is smaller: 1/27 or w?
w
Let x be 4/(-1) - (-6)/(48/1960). Suppose -89 = -5*l + g - x, -l + g - 28 = 0. Is -31 <= l?
True
Let y(p) = p**3 + 2*p**2 - p + 4. Let f be y(-3). Let m = -45 - -47. Let d be (-96)/27 + (20/9 - m). Is d less than or equal to f?
True
Let w(l) = l - 11. Let b be w(14). Suppose 5*k + o = -15 - 3, -2*o - 15 = b*k. Which is smaller: k or -4?
-4
Let d = -1.99 + 1.9. Let x = -1.53 + 1.376. Let c = x - -1.154. Is c > d?
True
Let v = -161 + 161. Which is smaller: v or -29.8?
-29.8
Suppose -90*d + 86*d + 112 = -4*o, -5*d + 132 = -3*o. Which is smaller: d or -18?
-18
Suppose 0 = 5*r - 2*r - 180. Suppose -c = 4*i - 0*c - 15, 3*i - 18 = -3*c. Let m be i/(-4) + (-15)/r. Which is greater: 4/15 or m?
4/15
Let c = 0.113 + 0.027. Let l = c - 0.04. Is -3/25 <= l?
True
Let t(i) = -i + 7. Let z be t(3). Let k = 5 - 6. Let v = k + z. Is 11/4 >= v?
False
Let n = 11.56 + 0.44. Let o = -0.06 - -0.06. Is o != n?
True
Let m = 230 - 324. Let c = -95 - m. Is c less than or equal to -5/21?
True
Let q be (-4 + 1)*1 - -7. Let m = q - 4. Suppose -r = -m*r + 3. Which is bigger: 5 or r?
5
Let z(k) = 2*k**2 - 2*k - 9. Let t be z(4). Let v = 5 - t. Do -10 and v have different values?
False
Let j be (-1 - -9 - -4)*7/(-2). Which is smaller: -1 or j?
j
Let y be -2 - (3 - (-15)/(-3)). Suppose -j = b - 5 + 1, -5*j + 5*b = y. Suppose -j*w + 3*w = -8. Which is smaller: -7 or w?
w
Let n = -15.7 + 17. Let z = 1.44 - n. Let b = -0.34 + z. Which is smaller: 4 or b?
b
Let w = -0.097 - 8.103. Let l = 8 + w. Are l and 0.19 unequal?
True
Let k = 67.843 - -0.157. Let z = k + -68. Is z at least as big as 1/2?
False
Let d = -352 + 326. Which is smaller: d or -22?
d
Let o = 2045 - 2044. Is o at most 213.4?
True
Suppose -3*b - 2*x - 292 = 0, 4*b - 3*x = -212 - 149. Is b <= -95?
False
Let o = 1096 + -1058. Which is smaller: o or 1/5?
1/5
Let x = -31 - -34. Suppose -8 = -7*t + x*t. Are -2 and t equal?
False
Let i be (3/15)/((-6)/(-30)). Is i at least as big as 1/225?
True
Suppose -5*c = -4 - 11. Let o be (-7)/105*-33 - 1/5. Let h be o/c*6/(-4). Which is smaller: h or -1/18?
h
Let m = 71.5 - 71.7. Let l = -20 + 18.9. Let o = 1 + l. Which is smaller: o or m?
m
Suppose 0 = -5*n - 8 + 28. Suppose -42 = -o - 38. Let d(g) = g + 2. Let t be d(o). Which is smaller: t or n?
n
Suppose t + 5 = 51. Let i = t + -78. Which is bigger: i or -33?
i
Suppose -16*t - 26 - 22 = 0. Let q = 5 - 9. Which is greater: q or t?
t
Let z(d) = -d**3 - 11*d**2 + 4*d + 44. Let l be z(-11). Which is bigger: 1/58 or l?
1/58
Let b = 1303/266 + -73/14. Is b bigger than -1?
True
Let n = -2 - -48. Let f = n - 42. Is -0.2 equal to f?
False
Let q = 1357/55 - 300/11. Which is bigger: -18 or q?
q
Let b(z) = 19*z - 305. Let f be b(24). Is 151 > f?
False
Let l = -1413 + 1458. Does l = -0.5?
False
Suppose v = -0*k + 5*k - 376, v - 2*k + 388 = 0. Which is smaller: v or -395?
v
Let j be 3 - (1 + 0 + -24). Suppose -5*w = 4*p - j, 4*p + 2 = -2. Let s be -3 + w + 2 + -1. Which is bigger: 6 or s?
6
Let x be 4 + (-1 - 1) + -2. Suppose -5*k = -365 + 80. Let w be ((-2)/4)/(k/(-6)). Which is greater: x or w?
w
Let a(w) = -w**2 - 11*w + 13. Let o be a(-12). Which is bigger: -2/313 or o?
o
Let l be 1 + 0 + (-1 - -2). Suppose -l*s - s + 22 = c, 4*s = -c + 28. Let t = 25645/5496 + 1/1832. Is s equal to t?
False
Let o(b) = 2*b**2 - 68*b + 85. Let r be o(31). Which is smaller: -99 or r?
r
Let k be 1*(75/25 + (2 - -608)). Which is smaller: