2/809. Is o < j?
True
Let i = 12382 - 12340. Let c = 0.1 + -0.1. Is c equal to i?
False
Suppose -8*z - 24 = -4*z. Let m be 2/2 - (z + 8 + 0). Is m smaller than -1/21?
True
Let j(s) = -s**2 - 22*s + 25. Let t be j(-19). Is t < 82?
False
Suppose -6*m - 903 = -3*m - 3*r, 2*m + r = -590. Are m and -297 equal?
True
Let q(z) = -26*z + 130. Let l be q(5). Is l bigger than 2/469?
False
Let s = 97 + -40. Suppose 3*c = -u - 4*u + 95, s = 2*c - 3*u. Let t be (9/c)/(3/6). Is t smaller than 0?
False
Let q be (-592)/(-60) - 8/(-60). Let k = 0 + q. Is 11 equal to k?
False
Let p(n) = -3*n + 5. Suppose 4*h = -3*r + 42 - 8, 2*r + 3*h = 24. Let w be p(r). Which is bigger: -25/2 or w?
-25/2
Suppose 5*s = 3*o + 24, -3*s = 5*o - 0*o + 6. Suppose -4*r + 6 = 2*u, s*u = 4*r - r + 9. Which is smaller: r or 4?
r
Suppose -2*y + 4*y + 28 = 0. Let k = -11 - y. Is 7/4 at most as big as k?
True
Let r = -1231 - -754. Which is greater: r or -479?
r
Let c = 4 - 3. Let i = 1.2 - c. Let m = -2.962 + 1.962. Which is smaller: i or m?
m
Let o = -196 + 219. Which is greater: -0.3 or o?
o
Let z(t) = -t + 6. Let d be z(4). Suppose -d*c + 3 + 1 = 0. Suppose 0 = -2*a + c*n - 6, -5*n + 1 = -9. Which is smaller: a or -1/4?
a
Let f = 17.5 + -3.5. Let p = -34 + f. Let z = 24 + p. Which is bigger: z or 1?
z
Let j = 4.82 - 5.154. Which is smaller: j or 0.2?
j
Let t = -3866/5467 + -10/497. Suppose 2*f - 3*w = 2*w + 5, f - 4*w - 4 = 0. Is t less than f?
True
Let x = 0.36 - 20.36. Let i = x + 16. Does 2 = i?
False
Let q = -227471/76 + 2993. Which is smaller: q or -1?
-1
Suppose -3*n - 24 = -4*c + 7*c, 4*n + 20 = -2*c. Which is smaller: -19 or c?
-19
Suppose -2*k - 4*k = -54. Suppose k*s - 3*s = -102. Let w = 0.04 - 1.04. Which is smaller: s or w?
s
Let m be 0 + (-1 - 23/(-22)). Suppose 235 - 180 = -118*h + 173. Is m < h?
True
Let r be (22/(-4) + 4)/(36/16). Which is bigger: -1/4 or r?
-1/4
Let v = -5281/511 - -2/1533. Which is smaller: v or 3?
v
Let b = -2.4 + -31.6. Let n = -46 - b. Which is greater: n or -1?
-1
Suppose -2*c - 12 = -5*c. Suppose c*h = -h + 105. Suppose 5*y - z = -0*y - 43, -3*z = -3*y - h. Is y less than -9?
False
Let u = -1919 - -1918.8. Is 0.0643 < u?
False
Let f = 11 + -8. Suppose -5*b + 2*g = -25, f = -b - 3*b - 3*g. Let c be (-609)/(-126) - (-1)/6. Is b > c?
False
Suppose -3*z + 56 = -3*r - 2*z, 0 = 3*r + 4*z + 61. Let f(b) = -4*b - 22. Let n be f(-1). Which is smaller: n or r?
r
Let i(u) = -63*u - 393. Let p be i(-5). Let n be (-2)/8 + 46/(-8). Let m be p/63 + (-4)/n. Does m = 1?
False
Let p = 917/1086 - 2/181. Which is smaller: 1 or p?
p
Let g be -5 + -1 + (-4132)/(-1032) + 2. Which is bigger: 0 or g?
g
Let x = -7 - 0. Let h = x - -7.2. Let l = 0.944 + -1.244. Which is smaller: l or h?
l
Let m be (-2 + (-60)/(-21))/(2/(-14)). Let u(y) = y**3 + 6*y**2 + 3*y + 6. Let h be u(m). Which is greater: -14 or h?
h
Suppose -p + 3*z = 7, 0*z - 4*z + 20 = 0. Let s(o) be the first derivative of -o**3/3 + 9*o**2/2 + 7*o - 6. Let w be s(9). Does w = p?
False
Let p(w) = -20*w - 47. Let f be p(-3). Which is smaller: f or 27/2?
f
Let p(m) = -m**3 - 9*m**2 - 8*m - 13. Let t be p(-9). Suppose 3*s - 2*y - 179 = 0, -2*y - 298 = -5*s + y. Is t bigger than s?
False
Let y = -8563 - -8601.79. Let x = y + -39. Let s = x + -0.79. Which is smaller: 6/5 or s?
s
Let n = 369920120/41 + -9023239. Let b = n - -797. Let d = 2/35 - 39/70. Is d greater than or equal to b?
False
Let n = 19.8 - 19.8. Let m = 11 - 6. Let u = 4 - m. Which is bigger: u or n?
n
Let z(d) = 5*d + 3. Let k(r) = -2*r**2 - 2*r + 4. Let t be k(-3). Let s be z(t). Let x = s + 29. Is x bigger than -7?
False
Let z(a) = 2*a + 2. Suppose -7*b + 2*b = 10. Let c be 4 + 0 - (1 - b). Let h be z(c). Which is smaller: 5 or h?
h
Suppose 2*h + r - 14 = 0, 5*r + 9 = 5*h - 56. Suppose -8 = -4*z - 4*x, x = -3*z + 3*x - h. Which is smaller: 1 or z?
z
Let s be -6*(0 + 4/(-15))*-10. Let h be s/32 - (59/(-2) - -1). Is h smaller than 29?
True
Let l be (3/(-2) + 2)*0. Suppose 3*x + 8 = -7, l = 4*f - 5*x - 29. Let q be (-9)/(-2) - (f + -4). Which is bigger: q or 8?
8
Let r = -3968190 - -496090377/125. Let j = r - 533. Which is greater: j or 0?
j
Suppose 5*u - g = -11, -5*g = 2*u + u + 29. Let o = -182.5 + 229. Let y = 47 - o. Is y greater than u?
True
Let m = 0.0037 + 0.1963. Are -166 and m unequal?
True
Suppose 245 = 4*i + 3*i. Let h be 2/5 + (-84)/i. Which is smaller: h or -3?
-3
Let y(k) = k**3 + 2*k**2 - k. Let v be y(1). Suppose -2*x + 44 = v*x. Let i be (-4)/(-2) - x/6. Is i less than 0?
False
Let t(v) = -3 - 4 + 6 + 3*v. Let i be t(0). Suppose 0 = -o + 3*j - 9, -5*j + 14 + 1 = 4*o. Does o = i?
False
Suppose 0 = 5*h - 6*h - 119. Let z = h - -63. Let f be 11/z - (-8)/64. Is 1 smaller than f?
False
Let l = 3.411 - 2.011. Is 13 equal to l?
False
Let m be 3280/(-545) - (3 - 9). Is 0 >= m?
True
Let p(c) = -2*c + 5. Let j be p(2). Let w(q) = -q**3 - 5*q**2 - 2*q - 11. Let f be w(-5). Is j < f?
False
Let j = 2 - 3. Let h be (-3 + 4)*j/(-2). Let k = -1/3 + 1/12. Is k bigger than h?
False
Let u = -65 + 67. Let d be (-6)/u + (-1575)/(-531). Let y = -3 + 4. Is y != d?
True
Suppose 2*x = -35 + 3. Which is bigger: -19 or x?
x
Let x = 100789/154 - 1309/2. Let s = -569/1155 - x. Is s less than or equal to 0?
True
Let x be (-2064)/56 - (-4)/(-28). Let m = 54 + x. Suppose 0*v + 3*v - 58 = l, 0 = -2*v - 2*l + 28. Which is bigger: v or m?
v
Let a be (104/(1 + 3))/2. Suppose 4*m + a = -i, 3 = -2*m - 0*i + 3*i. Which is smaller: m or -4?
-4
Let f be (6/5)/((-9)/(-30)). Suppose 6*m - 4*u + 12 = 4*m, u = f*m + 10. Let b be ((-6)/12)/((-3)/m). Does b = 0.01?
False
Let w be 10/104*18/30. Which is greater: -0.1 or w?
w
Suppose 0 = 10*a - 35 + 245. Let q be (3 + -4)/(9/a + 0). Is q != 3?
True
Let x be (-72)/(-32)*32/6. Let p be (-4)/26 + x/(-91). Which is smaller: p or -0.1?
p
Let v be 88/14 - 8/28. Let i be (-25)/v + 2 - -1. Let y = 2637 - 2639. Which is smaller: y or i?
y
Suppose -50*o - 1030 = 1270. Which is smaller: -4 or o?
o
Let p(w) = w**3 + 4*w**2 - 2*w + 6. Let q be p(-5). Let b be 11*(q/(-3) + 4). Let m be 4/(-14) + (-48)/b. Is m < -1?
False
Let y = 0.0356 + 4.9644. Which is smaller: y or 3.6?
3.6
Suppose -199*w - 9 = -208*w. Is w less than or equal to -142?
False
Suppose 0 = 3*y - 4*m - 66, 0 = y - 2*y - 2*m + 12. Suppose -2*l - 4 = 2*p + y, -2*l + 2*p - 34 = 0. Suppose 0 = a + 2*z + 24, 3*a - 28 + 80 = -2*z. Is a > l?
False
Let p be (-38)/(-532)*(-8)/(-26). Which is greater: p or -2.7?
p
Let u = 1343 + -1258. Is u bigger than -0.02?
True
Suppose -z - 6 = 1. Let p = -5 - z. Let j be (p/(-6))/(-16 - -15). Is 0.02 at most as big as j?
True
Suppose -2*i - 2*p + 1868 = 2*p, -2*i + 3*p + 1854 = 0. Let q be (-48)/(-12) - i/232. Which is greater: 1 or q?
1
Let a = -0.31 - -0.11. Suppose -2*s - 5*k + 1 = 0, 2*k - 7 = -2*s - s. Suppose -16 = -s*c + 8. Do a and c have different values?
True
Let y(m) = -m**3 + 19*m**2 - 4*m + 20. Let s be y(19). Let r be 4/10 - s/(-120). Which is smaller: r or -1?
-1
Let b = 17 - 12. Let s(x) = -x**3 + 5*x**2 - 4*x - 2. Let k be s(b). Let i be (38/57)/((-16)/1512*3). Which is bigger: i or k?
i
Let v(x) = x**3 - 18*x**2 - 4*x - 5. Let m be v(18). Which is smaller: -76 or m?
m
Let m be -1 + 4 - 26194/(-54). Let w = m - 488. Suppose 0 = a - 2*a - 3*c - 12, -12 = -5*a + 3*c. Are w and a equal?
False
Let r be 2/1 - (630/5 + -3). Let v = -969/8 - r. Which is bigger: 0.05 or v?
0.05
Let g(v) = -v**2 - 32*v - 77. Let d be g(-9). Is 130 > d?
False
Let h = -762 + 2182/3. Which is bigger: h or -35?
h
Let r(n) = -n**3 - 7*n**2 - 11*n + 3. Let i be r(-6). Which is smaller: 25 or i?
25
Let i = 2477/11 - -2945/77. Let k = i + -263. Which is greater: k or -1?
k
Let m = 137 + -89. Let h = 47.9 - m. Is h > 10?
False
Let y = -20 - -28. Let h = y - 8.7. Let k be 16/9 - (2 + 0). Which is smaller: k or h?
h
Let m = 300 + -333. Which is smaller: -1/2 or m?
m
Let c(g) = -g**3 - g**2 - 2. Let t be c(-2). Suppose 2*k = -t*k + 64. Let i be (-49)/36 - (-4)/k. Which is greater: i or -2?
i
Suppose 63*j - 9 = 66*j. Is -34 at least as big as j?
False
Let x = -1.64 - -9.74. Let l = x - 8. Let n = 1 + 1. Do n and l have the same value?
False
Let x = -21 - 6. Let g = 26 + x. Which is smaller: -2/41 or g?
g
Let k(a) = a**3 + 20*a**2 + 15*a - 122. Let q be k(-19). Are -50 and q