185 + -189. Which is greater: r or -0.1?
-0.1
Suppose -3*y + 8 + 1 = 0. Which is smaller: -24 or y?
-24
Let d = 2 + 3. Suppose 13*i = 12*i - d. Which is greater: -1 or i?
-1
Let i be 72/135*-5*20/(-6). Is i less than 8?
False
Let v(l) = l + 4. Let w be v(0). Suppose -91 + 15 = -19*u. Is w smaller than u?
False
Let x be 83394/1980 + (-4 - 111/(-30)). Which is greater: x or 43?
43
Let w(r) = -r**3 + 12*r**2 + 30*r + 19. Let x be w(14). Which is greater: 4 or x?
x
Let k = 979 - 851. Is 0.1 at least as big as k?
False
Let m be (-1 - -5) + 5/5*-1. Let s be (-53)/(-9) - (m - -2). Which is bigger: s or 2?
2
Let d(v) = -v**2 - 8*v + 7. Let s be d(6). Which is greater: -74 or s?
-74
Let w(x) = x**3 - 8*x**2 + 13*x - 16. Let n be w(6). Which is smaller: -16 or n?
-16
Let j be 2/8 + 145/(-20). Let w be 5/j + (-2)/(-2). Let i = 2 + -11. Which is greater: w or i?
w
Let h = -3.2 - -0.2. Let s = -100 + 67. Let l = s + 32.9. Is l != h?
True
Suppose -q - 4 + 3 = 0. Which is greater: 1/7 or q?
1/7
Let i = -231 + 0. Let w be 42/i - 1064/198. Is -7 less than or equal to w?
True
Let a = -990 + 1133. Is a smaller than 145?
True
Suppose -4*m = 4*l + 11 + 9, l - 20 = 4*m. Let u be (16/(-12) - m)*6/(-20). Is -1 < u?
False
Let i(v) = v**3 + 6*v**2 - 43*v - 1. Let m be i(-10). Does m = 28?
False
Suppose 18*p + 24 = 20*p. Let u = -14 + p. Suppose 3*g = -a - 10, 4*a = -2*g + 7*g + 11. Is u greater than or equal to g?
True
Suppose 11*a - 189 = 86. Let r = -10 + a. Is 14 at most r?
True
Let z(l) = 19*l**3 - 7*l. Let q(n) = -9*n**3 + 3*n. Let w(i) = -9*q(i) - 4*z(i). Let v be w(-1). Is v less than -7?
False
Let x = 10.126 - 11.34. Let c = 0.014 + x. Are -3 and c nonequal?
True
Let i = 79.73 - -6.27. Which is bigger: -3 or i?
i
Suppose 3*g - 117 = 1410. Let b = -1555/3 + g. Which is greater: b or -8?
-8
Let l(d) = -d**2 + 6. Suppose 2*t = -2*t + 8. Let i be ((t + -2)/(-1))/2. Let s be l(i). Is s smaller than 6?
False
Let z be (5 - 5)/((-6)/(-2)). Is z at most as big as -14/51?
False
Let z = 40.8 + -41. Is -2/9 smaller than z?
True
Let r(b) = -b**3 + b + 60. Let m = -9 - -9. Let a be r(m). Let w be (-4)/(-6) - 52/a. Which is smaller: 0 or w?
w
Let u be ((30/(-3))/40)/(3/(-4)). Is -1/214 at most u?
True
Let x = 55 - 41. Suppose 2*k - 18 + x = 0. Which is greater: k or 4?
4
Let m = 25023/76700 - -1/1475. Is m less than or equal to 1?
True
Let h = 34046 - 34045.8. Let a = -14 - -13.91. Do a and h have different values?
True
Let c(l) = -l**3 + 10*l**2 - 15*l - 7. Let d be c(8). Let r be (-1)/(-4) - -1*d/12. Which is smaller: 1 or r?
r
Let k = -1031 + 1021. Let u(r) = -r**3 - 5*r**2 - 2*r. Let t be u(-5). Let h = k + t. Is h not equal to 0?
False
Let n(v) = -2*v + 1. Let m be (15 - 15)/(2 - -1). Let w be n(m). Is -2/13 smaller than w?
True
Let f(p) = -p**3 + 9*p**2 - 7*p - 4. Let j be f(8). Suppose -j*n + 31 = 3*u + 5, 12 = -3*n. Which is greater: 12 or u?
u
Suppose -4*t + 52 = 8*b - 9*b, 0 = -t + b + 13. Does 11 = t?
False
Suppose 4*t - 20 = 0, 13 = 2*v + 2*t + 3*t. Let m be -63 + v*(-1)/(-2). Let l be (-1)/m*(5 + -2). Which is smaller: l or 0?
0
Suppose 8*h + 13 = 9*h. Is 0 at most as big as h?
True
Suppose -88 = -4*z - 4*j, 5*j = j - 12. Suppose t = -3*h + 6*t + 109, -5*t - z = 0. Is 26 at most as big as h?
True
Suppose 90 = 4*d - 7*d. Let s = d - -31. Is s less than or equal to -3/14?
False
Let j be ((-300)/(-2030))/((-3)/(-14)). Which is greater: 2 or j?
2
Let c = 7477/3 + -2493. Is c bigger than 261/8?
False
Suppose -4*j = -15*v + 18*v - 5, 2*j - 13 = -5*v. Which is greater: j or -2/1651?
-2/1651
Let l(q) = -q**3 - 48*q**2 + 92*q - 91. Let k be l(-50). Is 310 at most as big as k?
False
Suppose -t = -33*y + 32*y + 6, -3 = -2*t - 3*y. Which is bigger: -1 or t?
-1
Suppose -4*f - f = 5*v - 55, 4*f - 30 = -2*v. Let u = 21 - 14. Is v > u?
False
Let k = 272 + -250. Is 14 > k?
False
Let k be (-15)/(-6)*84/35. Let d(y) = y**2 - 11*y + 15. Let t be d(k). Is -14 greater than or equal to t?
True
Let h = 436 - 271. Let c be 12/(-9)*h/10. Which is smaller: -24 or c?
-24
Let p(k) = -k**3 + 12*k**2 + 27*k - 20. Let f be p(8). Which is smaller: f or 454?
f
Suppose 38 = 5*x - 62. Let r(t) = -15*t. Let s be r(-1). Let p be (-22)/x + s/25. Does -0.04 = p?
False
Let q = -365 - -352. Which is bigger: q or -41/3?
q
Let l be ((-3)/9)/((-25)/(-2775)). Is l <= -49?
False
Let f = -17 + 9. Let j = -16 - -17. Suppose -u - 6 = j. Is u bigger than f?
True
Let u = -7.33 + 7.9. Let l = u + -0.27. Are 13 and l non-equal?
True
Let d be -1 - 26 - (0 + 0). Let b be 7 - (-3 + 6/4)*(-26 + 2). Is b greater than or equal to d?
False
Suppose -139 = 5*n - 409. Let r be (n/(-30))/(2/(-10)). Let w(x) = x**3 - 2*x**2 + x + 7. Let l be w(0). Is r at most as big as l?
False
Suppose k = 2*k - 1. Let o = 29 + -19. Suppose 10 = -g + 8*b - 3*b, 5*b - o = -4*g. Are g and k equal?
False
Let l be 1/(-2)*(-6 + -96). Suppose 3*y - 19 = g + 24, -3*g = 3*y - l. Is y less than or equal to 31/2?
True
Let u(x) = -x**3 + 6*x**2 + 9*x + 6. Let o be u(7). Let d = 99 + -78. Which is bigger: o or d?
d
Let b = 31 - 19. Suppose -b*u = -13*u. Suppose 3 = -u*o + 3*o. Which is smaller: -1/13 or o?
-1/13
Let l be (78/(-3861))/(15/(-18)). Is -0.1 smaller than l?
True
Suppose 0 = -11*u - 3 + 14. Let y = -3/305 + 2159/2440. Is u less than y?
False
Let m = -1593215/171 - -9317. Which is bigger: 1 or m?
1
Let z = 63 + -60.8. Are z and 10 unequal?
True
Let p be (-582)/(-2013) + 3/(-11). Which is bigger: -1 or p?
p
Let m(t) = -t + 9. Let x be m(3). Suppose 0 = -x*z + 8 + 10. Is 3 greater than z?
False
Suppose 0 = 4*t + 2 + 14. Which is bigger: t or -5?
t
Let b = 117/808 - 2/101. Suppose q + 4 = d, -9 - 4 = -4*d + 3*q. Which is smaller: b or d?
b
Let d = -18 - 67. Let q = d + 58. Let y = 29 + q. Is y > -0.06?
True
Let b be -2*9/12*-2. Suppose 11 = 2*l + b. Let n be (-2)/8 - 35/l. Are n and -9 equal?
True
Let q = 1 - -3. Suppose 0 = -4*k - 2*o + o - 5, 0 = -3*k + q*o - 18. Which is smaller: k or 0?
k
Let n = 11007/8256640 - 2/9215. Is 0 less than or equal to n?
True
Let c be (-1836)/(-45) + (0 - 8/10). Which is bigger: c or 198/5?
c
Let l be (12/15)/(2/(-5)). Let c be 24/10 - (l + 2). Let i(k) = -k**3 + 13*k**2 + 15*k - 11. Let p be i(14). Which is smaller: c or p?
c
Let z be (5 - 308/(-2))/3. Is z != 53?
False
Let g = 394 - 531. Is -137 >= g?
True
Let t be ((-6)/(-4) + -2)*-2. Let n be 198/2013*(-2)/(-4). Which is smaller: n or t?
n
Let i = 59 - 130. Is 2/5 at least i?
True
Let a be (-8)/28 - 192276513/(-553). Let b = a - 347697. Let u = -1/79 - b. Which is smaller: u or 0?
0
Suppose 0 = -5*l - 4*y - 550 - 224, -618 = 4*l + 2*y. Let o be 4/26 + l/(-182). Which is smaller: 2/17 or o?
2/17
Suppose 11*f = 687 - 159. Suppose -5*b + f = 2*j, -62 = -5*j - 5*b + 7*b. Are 13 and j equal?
False
Suppose 0 = 5*c + 151 + 404. Does -110 = c?
False
Let z = 0.115 - 0.065. Which is smaller: z or 47?
z
Let r = 445 + -445. Is r not equal to -1/185?
True
Let l(t) = 2*t - 7. Suppose 21*y = 17*y + 40. Let u be l(y). Which is greater: u or 12?
u
Let f be (-1 + 0)*(6 + -5). Let n = f + 3. Let z be -3 + (114/21)/n. Do 3 and z have different values?
True
Let y = 3 + -4. Let w(q) = -q**3 + 13*q**2 + 22*q + 3. Let n be w(15). Let g be n/57 + 3/((-9)/(-6)). Is g < y?
False
Let f be (-12 - -66)*((-2)/(-3) + -2). Suppose 3*k + 5*r = -213, -129 = 4*k + 2*r + 155. Is f != k?
True
Let j = -12 + 10. Let l be (-6)/(-18) - (-33)/9. Suppose -l = -4*v + 2*x + x, 4*v + 3*x = 4. Which is smaller: v or j?
j
Let f = 883 + -876.49. Which is smaller: f or -0.1?
-0.1
Let n(u) = -2*u + 18 - 40 + 0*u. Let c be n(-10). Is c smaller than -3?
False
Let z = 2989.81 + -2990. Which is smaller: z or 0.3?
z
Let j be 7/9 + 46/207. Is -2/7 not equal to j?
True
Suppose q - 12 = -3*q. Let h be q + (-4)/(-4 + 8). Let a be -4 - (-4 + h/(-5)). Is 2/5 not equal to a?
False
Let k be (-4 + -6)*2/((-8)/(-14)). Is k < -36?
False
Let v = 12 - 4. Let y = v + -5. Let n be (-3 - -4) + (15/(-4))/3. Do y and n have the same value?
False
Let q = 0 - 37. Let v = 42.4 + q. Which is bigger: 1 or v?
v
Let z(j) = 3*j**2 + 5. Let r be z(3). Let f = r - 37. Suppose 3*q + q + 24 = 0. Is f greater than or equal to q?
True
Let m be (-6 + 567)/((-7)/(-12)). Let u = m + -960. Which is bigger: 1 or u?
u
Suppose -2 = m - 0. Let q be (54