et v = -86 + 86. Suppose -3*x - 26 = -4*y + 11, -3*y + 5*x = -36. Suppose -4 = y*k - 5*k. Is k bigger than v?
False
Let c(z) = 3*z - 106. Let y be c(-30). Is y not equal to -196?
False
Let a = -2 + 5. Suppose y - 13 = 3*h + 2*h, 2*y = -a*h + 13. Let t be 438/(-231) + y/(-28). Do -3 and t have the same value?
False
Suppose -5*a + 352 = 3*s, -2*s = -11*a + 10*a + 60. Is a <= 0?
False
Let d = 57.933 - -0.067. Let o = -57.3 + d. Which is bigger: -2 or o?
o
Suppose 533*a - 534*a + 15 = 0. Is a >= 8?
True
Let n(l) = l**2 + 11*l + 4. Let s(z) = z**2 + 11*z + 3. Let j(d) = 2*n(d) - 3*s(d). Let a be j(-5). Is 28 > a?
False
Let j(x) = x**2 - 10*x. Let q(z) = 2*z**2 - 21*z - 1. Let r(s) = 9*j(s) - 4*q(s). Let y(w) = -w - 1. Let v be y(-5). Let h be r(v). Is -4 >= h?
True
Let t be (-4)/(-10912)*(-3 + 521110234). Let u = t + -1528155/8. Let r = u + -22/31. Do r and 3 have different values?
True
Let t be ((-10)/(-4) + 0)*424/(-16). Are -67 and t equal?
False
Suppose -2*v = 2*n + 20, 0 = 5*v + n + 61 + 9. Let h be (-3)/v + 21/20. Are 0 and h equal?
False
Let q be 37/(-3) - 6/(-18). Let s be 3/q + (-1)/12. Let f = -1.67 - -1.77. Is f at least s?
True
Let q = -219 + 225. Is 41/8 less than or equal to q?
True
Let q = 233 + -233. Are q and 69 non-equal?
True
Suppose j + m - 27 = 5, 5*m = 3*j - 96. Which is greater: 33 or j?
33
Let q = 1/34 + -79/374. Let j = -0.3 + 0.3. Let i = -1 - j. Which is bigger: i or q?
q
Let m(i) = 4*i + 28. Let h be m(8). Let j = h - 54. Which is bigger: j or 3?
j
Let c be (2/(-1) - 2)*-1. Let n be (5 + -2)*c/(-12). Let d be 5/(-2) - n/2. Is 0 > d?
True
Let b(v) = -v**2 + 8*v + 2. Let g be b(8). Let u be 10/(-1*(-1 + g)). Let y be (2/3)/(u/(-6)). Does 1 = y?
False
Let t(j) = 58*j**2 + 4*j - 9. Let i be t(2). Do i and 230 have the same value?
False
Let d = -1.59 - -1.824. Let b = d + -0.034. Let s = -17 - -11. Which is greater: s or b?
b
Let l be (-6)/(-8)*(-2)/6. Let v = -2.73 - -3. Let u = v - 3.27. Which is smaller: u or l?
u
Let r = -1185 - -1098. Which is greater: r or -81?
-81
Suppose -3027 = -4*t + 5*x, t - x + 3*x - 760 = 0. Suppose 4*k - 2*q = t, -3*k + 4*q + 389 = -167. Let m be (-4 - -1)/(18/k). Do m and -32 have the same value?
True
Let k(f) = -f**2 + 13*f - 18. Let y be k(11). Let v(q) = -2*q**2 - 2*q + 4. Let x be v(y). Is x at least -35?
False
Suppose 4*n = 3*h - 229, 2*n + 46 = -3*h - 55. Let s = n - -59. Is s not equal to 4?
False
Let j be 1*((-24)/80 - 0). Are -1 and j unequal?
True
Let d be (-2)/(2/(-3)) - 3. Let s(z) = z**3 - z**2 - z - 26. Let w be s(d). Let b be -1*(w/10 + 3). Is -1 bigger than b?
False
Let s(c) be the second derivative of c**4/2 - c**3/3 - c**2/2 - 3*c. Let p be 2 + (2 + 21/(-6))*2. Let g be s(p). Is 5 > g?
False
Let p = -32 + 35. Suppose p*a - 24 = 4*x + 2*a, -x - a = 6. Let f(n) = n**3 + 4*n**2 - 6*n - 12. Let m be f(-5). Which is smaller: m or x?
m
Let f be (2 - (-41)/(-21))/((-67)/2211). Is f != -1?
True
Let a = -1604 + 1877. Is 2 != a?
True
Suppose -10 = -w + 4*d, -5*w + 1 = -3*d + 2. Let p be 3/(6*6/(-1668)). Let o = p - -692/5. Which is bigger: o or w?
o
Suppose 21 = -5*z - 79. Let w be 4/(-4) - (-256)/z. Which is greater: w or -15?
w
Suppose 4*w - 276 = w. Let o = 6900 + -6809. Which is smaller: o or w?
o
Let z(d) = -7*d + 104. Let j be z(15). Which is bigger: j or 3/16?
3/16
Let t = 3619 - 1100173/304. Which is greater: t or 0?
t
Let o(u) be the third derivative of u**6/120 - u**5/60 + 9*u**2. Let r be o(0). Let l be r + 1 + (-3)/3. Which is smaller: l or -3?
-3
Let l be (4 - 4) + (978 - -1). Let z be l/(-88) + (-1)/(-8). Is -12 at least z?
False
Suppose -20 = 4*n, -3*n - 140 = 5*v - 0*n. Let y = v - -26. Let b be (-1)/(213/2)*-3. Is y not equal to b?
True
Suppose -t + 4 - 5 = h, -5*t = h - 7. Is 2 at least t?
True
Let t(k) = k**2 + 12*k + 30. Suppose 20 = 31*g - 35*g. Let o be t(g). Suppose -4*z - 3*f + 7 - 16 = 0, -5 = -f. Is o equal to z?
False
Let l = -11270/9 + 1252. Let a be 2/(-3) + 4/(-18). Let t = a - l. Are 0 and t non-equal?
True
Suppose 4*l - 276 = 4*q, -66 - 121 = 3*q + l. Is q greater than -64?
False
Let c(a) = 4*a + 4. Let s be c(-5). Let j = -12 - s. Suppose -j*p + 0*k = -5*k - 5, -p - 4*k - 4 = 0. Which is smaller: 2/3 or p?
p
Suppose -4*b + a = -5*b + 1, -3*a = -4*b + 32. Suppose -9 + 9 = -b*h. Is 3/4 not equal to h?
True
Let f = -5672.1 - -5672. Let a = 8.7 + -5.8. Let d = a - 3. Is f at least as big as d?
True
Suppose 3*h - 1 = 2*h. Is 16/23 not equal to h?
True
Suppose -16*x + 252 = -14*x. Is 126 >= x?
True
Let p = -1.93 + 1.83. Is -8/21 at most p?
True
Let x = 111 + -108. Let k be (1 + 5)*(-2)/(-3). Let r = x - k. Which is smaller: r or -1/30?
r
Let d = -1.437 + 1.537. Is 0.194 less than d?
False
Let w = 45 + -31. Let i = -12.2 + w. Let y = -1.8 + i. Which is smaller: y or -10?
-10
Let q be (-5 + -2 + 3 - -4) + -12. Let t(f) = -3*f - 44. Let i be t(q). Which is bigger: -10 or i?
i
Let a be (-6 + 50/20)/(7/(-4)). Are 690 and a unequal?
True
Let z = 37.74 - 41.2. Is z at most as big as -1/3?
True
Let n = 10 + -5. Suppose -3 = -n*g + 2. Let d be (152/56 - 3) + 31/35. Which is greater: d or g?
g
Let j be 2/(-6)*(-336)/(-140). Which is smaller: -0.04 or j?
j
Suppose 0 = 4*w - 3*r + 15 - 51, 2*w - 5*r = 32. Suppose 10*j - w*j = -4. Is j > 2/89?
False
Suppose 2*r = 2 + 4. Let l be ((-1 - 1) + 1)/r. Let o be (1/10)/(2/8). Is l at least o?
False
Let g be (3 - 1) + (1 - -2). Suppose 0 = -0*i + g*i + 5. Let f(j) = 2*j**2 + j. Let v be f(i). Is v < 2?
True
Suppose -5*w - 1315 = d + 383, 3*w = 2*d + 3448. Is d at least as big as -1718?
True
Suppose 23 - 8 = 3*i. Suppose -f - 3 + i = 0. Suppose -2 = m - f*m. Which is smaller: -4 or m?
-4
Let s = 0.121 - -0.379. Is s greater than 0.7?
False
Let z = 0.225 - 153.225. Let a = z - -101. Which is greater: a or 0?
0
Suppose 9*n - 294 = -5*n. Which is smaller: 19 or n?
19
Suppose 2*y = -y + 4*t + 16, 4*y + 4*t = -16. Suppose 5*z + l + 7 + 44 = y, -30 = 2*z - 2*l. Which is bigger: -9 or z?
-9
Suppose 0 = 5*k - 4*y - 5, 0 = -5*k - 0*y + 5*y + 10. Let a be k/3*3 - -3. Let j be -13 + (2 - a) + 2. Are -10 and j non-equal?
True
Let a = 122690/17989503 + 2/30963. Is 0 >= a?
False
Let v = -1 + 10. Suppose -v = n - 6. Let t = n + 2. Is t less than 2/9?
True
Let a = -24.07 - -23. Let x = a + -1.93. Which is smaller: x or 6?
x
Suppose m = 3*q + 118, 7*q - 3*q + 3*m + 166 = 0. Let i be (-1 + 1 + -3)/((-27)/(-567)). Let f = i - q. Is f at least -24?
True
Let i = -3.3 + 4. Let v = i + 0.3. Let w = -0.01 - 1.99. Which is smaller: w or v?
w
Let g = 27178 + -15353. Let t be 1/2 - 7842/g. Let s = t - -3/946. Is s less than or equal to 1?
True
Let h(s) = 1 + 82*s + 1 - 81*s + 0. Let n be h(-1). Are -2/9 and n equal?
False
Let s = 0.025 - 0.025. Let d = 0.15 + 0.1. Which is smaller: d or s?
s
Let s(t) = 3*t**3 - 18*t**2 + 15*t + 9. Let v be s(7). Is 260 smaller than v?
True
Let y(k) = 734*k**2 + 3*k - 2. Let v be y(1). Let r be (-29470)/v + 3/7. Which is bigger: -39 or r?
-39
Let i = -2/1627 + -9700/50437. Suppose -4*n + 304 - 329 = h, 0 = n + 6. Does h = i?
False
Let x = 0.29 - -12.71. Are -5/4 and x equal?
False
Let c be (-75)/30*(-4 - 2). Suppose c*t - 126 = 24*t. Which is greater: -12 or t?
-12
Let z(v) = 3*v**2 - 5*v + 1. Let l(a) = a**3 - 11*a**2 + a - 9. Let x(y) = -y - 3. Let p be x(-14). Let b be l(p). Let k be z(b). Is 4 < k?
False
Let n = -3.7 - -1.7. Let k = -2 - n. Is k less than or equal to 7?
True
Let u(t) = 0*t - 2 - t - 5*t - t. Let q be u(-2). Let j be (-14)/4*q/(-7). Which is smaller: 0 or j?
0
Suppose -3*k - 1 = j, 0 = -j + 2*k - 6 + 30. Suppose -4*i - 11 - 37 = 0. Let u = i + j. Is u > 2?
False
Let l be (3 + -1)*2/2*-6. Let u(k) = k**3 + 7*k**2 + 4*k - 2. Let d be u(-5). Suppose 5*s + d = -32. Do l and s have different values?
False
Suppose -8*r + 3*r = 2*a + 5, 4*a = -5*r + 5. Suppose o + 16 + 1 = 5*f, 3*o = -a*f + 29. Suppose 4 = -f*x + 32. Is 8 at least as big as x?
True
Suppose -15 = 3*x, 5*m - 30*x - 730 = -29*x. Is m at most 147?
True
Let m be 2/140*-67 + (-40)/(-400). Which is greater: m or -0.1?
-0.1
Let r = 30 + -7. Let i = r - 22. Which is smaller: i or -2/39?
-2/39
Suppose -i + 4*l - 2 = 0, 0*i + 5*i = -2*l + 12. Let n = 292.59 + -292.5. Which is bigger: i or n?
i
Let k(b) = -4 + 0*b**3 + 4 - 3*b**2 + 3*b - 2 - b**3. Let j