
Let b = 1003126/83 + -12086. Let v = b + 729/3320. Does 1 = v?
False
Let q = 16 - 7. Let u = q - 4. Let g(o) = -o - 1. Let z be g(u). Is -8 != z?
True
Let x = 133 - 247. Let o be (5/(-2))/(19/x). Let u be (-31)/(-60) - o/60. Which is greater: -1 or u?
u
Suppose -4*i - i = 0. Suppose 2*j + i*j - 2*m = -16, -2*m = -5*j - 25. Let n be 2 - 11*j/(-12). Is -2 not equal to n?
True
Let a(o) = o**2 - 2*o - 8. Let p(v) = -v**3 + 3*v**2 - 4*v + 8. Let z be p(4). Let g be z/(-18)*3/1. Let h be a(g). Which is smaller: h or -10/9?
-10/9
Let f be 4 + -1 + (4 - 3) + -4. Which is smaller: -3/145 or f?
-3/145
Suppose 0*i - 2*i - 108 = 0. Let b = -5170 + 5115. Which is smaller: i or b?
b
Let r = 26833/5 - 5306. Which is greater: 62 or r?
62
Let h = 25187/553 - 319/7. Do 0 and h have the same value?
False
Suppose -2*j = 4*o - 18, -4*o + 5*j - 1 = 2. Suppose -13 = -t + 3*p, -2*p = 3*t + o*p + 3. Suppose -3*x - 4*s + 47 = 0, -4*x + 6*x - t*s = -2. Is x at least 8?
True
Let d be (2 - 1)/(5/35). Suppose -d*y + 3*y = 672. Let b = 1341/8 + y. Which is smaller: -0.1 or b?
b
Suppose -4*d + 36 = -4*u + 5*u, -4*u = 4*d - 48. Is d <= -9?
False
Let z(g) = -g**3 - 8*g**2 + 5*g - 11. Let y be z(-9). Let t be (55/y)/((-3)/(-15)). Is t not equal to 12?
True
Let m be (12/18)/(9/(-27)). Which is smaller: -29/31 or m?
m
Let o(s) = s**3 + 7*s**2 - 11*s + 3. Let z be o(-9). Let u be 96/z - 6/(-10). Is 1/21 >= u?
True
Let q = -43 - -75. Let m be (1 + -1)*(-8)/q. Which is smaller: 8/17 or m?
m
Let c = 0 - 10. Let s(u) = -4*u**2 - 18*u - 27. Let i be s(-3). Is c <= i?
True
Let a = 5/2 + -3. Let b = 1.46 + 56.54. Let c = -72 + b. Is c not equal to a?
True
Let f = 7 - -81. Suppose 0*n - 96 = 4*n - 3*r, 4*n - r = -f. Let b = n + 28. Which is bigger: 5 or b?
b
Let j = -36.3 - -36.4. Which is bigger: -2/63 or j?
j
Let b = -153250/189 - -5636/7. Which is greater: -5 or b?
-5
Let q = -44.3 - -41.1. Which is smaller: q or -0.1?
q
Let n = 0.102 + -0.002. Do 76 and n have different values?
True
Let t be (-4)/30 - 6/(-9). Let f = 1/30 - t. Suppose 0 = 2*m - m. Is f equal to m?
False
Let a = -81 - -81. Which is smaller: a or 2/761?
a
Let n = -354 - -347. Let z = -6 + 13. Suppose 0 = -2*s + z*s. Which is smaller: s or n?
n
Suppose 0 = -4*t + 5*b + 16, -4*t = 3*b + b - 16. Suppose -2*s - t = -4*s. Suppose 5*d = 3*o - 14, 0*o + s*d - 1 = -o. Which is smaller: 4 or o?
o
Let n be (-1472)/(-48) + (-2)/3 + 0. Which is greater: n or 29?
n
Let p be 3 + -3 - 12/2 - -6. Let n(r) = 4*r**3 + r. Let k be n(1). Suppose -b - k*y - 17 = 0, -5*b - 3*y - 17 = -b. Is b != p?
True
Let n = -1513 - -1443. Is n bigger than -70?
False
Let z = 34 + -24. Suppose z = -x + 3. Which is bigger: x or -5?
-5
Suppose -1415 = -b - 3*w, 2*w = -5*b + 6*w + 7151. Which is greater: b or 1428?
1428
Let c = -51 + 559/11. Which is smaller: -13.5 or c?
-13.5
Let u = 14 - -2. Let m be u/80 - (-6)/170. Which is smaller: m or 1?
m
Let w = -28257 + 31958669/1131. Which is bigger: w or 1?
1
Let d be ((-18)/(-15))/(2/5). Suppose 2*y - 7 = d*y. Let q(h) = 6*h - 120. Let i be q(19). Which is smaller: i or y?
y
Let d = -71/18 - 5/9. Which is smaller: -1 or d?
d
Let v = 295 - 661/2. Which is smaller: -36 or v?
-36
Let q = -71.1 - -71.2. Which is smaller: 205.7 or q?
q
Let h = -48/43 - -1359/1333. Is 0 < h?
False
Let q = -14 - -26. Let v be 3*(-3 + (-248)/q). Let t = v - -137/2. Is -3 at least as big as t?
False
Let h = -41 + 41.1. Do h and 1 have the same value?
False
Suppose q + 0*q + 51 = 0. Let c = q - -407/8. Let a = 2 - 0. Which is greater: a or c?
a
Let j be (-6)/12 - 25/(-2). Let z be 1265/99 - 2/(-9). Is j equal to z?
False
Let q = -84 - -79. Let w be ((-1)/q)/((-8)/216)*-1. Which is bigger: 6 or w?
6
Let f be (-190)/(-20) - 1/(-2). Suppose -a + 4*s = 3*s - 6, 4*s = -3*a - f. Is 3/4 at most as big as a?
True
Let y be (-323)/14 - (-52)/104. Is -22 equal to y?
False
Let t(x) = x**3 - 17*x**2 + 15*x + 16. Let q be t(16). Let c = -1.05 - -0.55. Which is bigger: c or q?
q
Suppose -t + 2*t = 16. Suppose -t = 6*b + 44. Is b at least -9?
False
Let k(j) = -j**3 - 21*j**2 + 49*j + 70. Let v be k(-23). Which is greater: v or -1/367?
v
Let g be 4/(-7) + (2 - 1). Let q = -0.43 - -0.61. Let x = 2.18 - q. Which is greater: g or x?
x
Let w(q) = -q**3 - 4*q**2 - 3*q - 2. Let b be w(-3). Let a = b - -11. Suppose 0 = -4*n - 5*m + 32, -2*n + 9 = 3*m - a. Is n bigger than 3?
False
Let t be (2/6)/(2/12). Let l be (8 - 11)*t/6. Let a be 6/(-22)*(l + 2). Which is smaller: 1 or a?
a
Let r = 2023 - 513. Let i = r - 80026/53. Is i equal to -1?
False
Let c = -48 - 55. Does c = -2/7?
False
Let b = -81.7 - -81.2. Which is smaller: -1/15 or b?
b
Let m = 1258 - 1257. Which is smaller: m or -114?
-114
Let r = -6.94 - 9.4. Let z = r + 0.34. Which is greater: z or 1?
1
Let p be 4*(-4)/(-32)*0 + 115. Let q be (p/(-184))/(10/(-4)). Does q = -2.9?
False
Let h(j) = -23*j**2 - 3*j - 1. Let c be h(-1). Let s = c - -44. Is s less than or equal to 22?
False
Let i = -2153/2 + 1076. Let l be (-1 + 2)/((-5)/4). Is i less than l?
False
Let m = 55 - 55. Which is bigger: 2/407 or m?
2/407
Let l be 34/10 - 6/15. Let f(z) = -5*z + 6. Let n be f(l). Let x be (-2)/n + (-104)/(-18). Is x equal to 2?
False
Let i be 3/(6/(-8)) + (332 - 323). Which is smaller: i or -4/53?
-4/53
Let v be (6/18)/(2/24). Suppose 3*g - 21 = 3*j, v*g - 2*j - 9 = 9. Suppose -2*k + 28 = g*k. Is 7 greater than k?
False
Let j = 30344/665 - 228/5. Which is smaller: -1 or j?
-1
Let c = 12.6 - 14.51. Let q = c - -1.8. Let d = q + -0.09. Are d and -3 non-equal?
True
Let h = -23 - -23. Is -526 equal to h?
False
Suppose 0 = -b + 2, 0 = -5*w + 4*b + 28 + 109. Is 20 at most w?
True
Suppose -2*z = 27*a - 29*a, 2*z - 8 = -2*a. Which is bigger: 3 or z?
3
Let k be (-1)/(-3) - (-30)/(-648). Let t = k - 1/27. Let x = -0.022 - -6.022. Do x and t have the same value?
False
Suppose 2*x + 22 - 26 = 0. Suppose -1 = -2*p + 3. Is x equal to p?
True
Let i = 1268 - 1259. Is 39 at most i?
False
Let y be (-2)/(-10) + (-298)/1190. Which is bigger: -1 or y?
y
Let l = -4.1 + 4. Let m = 0.1 - l. Suppose 2*x = -3 + 1. Is m at least x?
True
Let g(h) = -h**3 + 3*h**2 + 3*h + 4. Let f be g(4). Let b be 18/84 - 3/6. Which is smaller: f or b?
b
Suppose -5*m - 16 = -m. Let x be -2*(-14)/m*-1. Let g be (x/(-3) - -2)/(-1). Which is bigger: g or 0?
g
Suppose 0 = 5*s, -2*a - 3*s + 14 = -0*a. Let g be ((-4)/a)/(3/(-21)). Suppose -5 = 3*h + g. Is -3 bigger than h?
False
Let u(a) = 8*a**2 + 25*a - 53. Let v(g) = -3*g**2 - 8*g + 18. Let j(m) = 4*u(m) + 11*v(m). Let d be j(12). Is d at least -11?
False
Suppose 82 + 20 = 6*p. Are p and 88/5 unequal?
True
Suppose 3*f - 65 - 10 = 0. Suppose -f = 5*h, -3*x - h - 41 = x. Let o be x/2*1/(-12). Which is greater: o or 0?
o
Let o = 730 + -492. Is o smaller than 237?
False
Let m be 2/(-6) + (-13)/((-273)/322). Let g = 13 - 19. Let d = -5 - g. Are m and d non-equal?
True
Suppose -88 = -3*m + m. Let w be 424/12*(-2)/m. Let t = -14/11 - w. Which is smaller: 0.1 or t?
0.1
Suppose -i + 3*b = -2 - 13, -3*b = i + 3. Suppose -6 = -i*z + 6. Let l = 4 + -7. Is z greater than l?
True
Let g = 24.75 - 24.95. Let u(z) be the second derivative of -z**3/6 - 3*z**2/2 + z. Let j be u(0). Which is smaller: g or j?
j
Suppose -73 = 12*m - 1. Suppose 2*r + 5 = w, 0*r + 2*r - 5*w + 17 = 0. Which is greater: r or m?
r
Let s be (6/45)/(2/20). Let c(a) = -3*a**2 + 10 - 5*a - 6*a + 3*a + 11*a**2 + a**3. Let v be c(-9). Does s = v?
False
Suppose 5*u + 2*v = v + 2, -5*u + 2*v - 4 = 0. Let x be (2 - 3 - u)/4. Which is smaller: x or 4/3?
x
Let w be (-6)/1*(-2)/(-4). Let v be w/(-24)*(-10 + 0). Let y(s) = -s**3 - 8*s**2 - s - 10. Let z be y(-8). Which is smaller: v or z?
z
Let l = 2712 + -2765. Which is smaller: l or 0.1?
l
Let b(s) = s**2 + 10*s + 11. Suppose p + 32 = -3*p. Let y be b(p). Suppose 0 = -3*l + 7*l + 20. Does l = y?
True
Let y(i) = 5*i**3 + 7*i**2 + 3*i + 4. Let m(u) = 4*u**3 + 6*u**2 + 2*u + 3. Let b = -3 - -7. Let j(h) = b*m(h) - 3*y(h). Let r be j(-3). Is r greater than 4?
False
Let n be 1/4 + 145/(-20). Let x(y) = -5*y - 13. Let v be x(-5). Suppose -v*r - 40 = -2*r. Is r bigger than n?
True
Let j = 3 + -6. Let d be ((-5)/(-2) - 3)*-20. Let i = d + -11. Which is greater: j or i?
i
Suppose 3*x + 32 = 5*x. Let w = 270 + -155. Let f = w + 