
Let g = -8 + 15. Suppose 36 = 5*y + 4*r, -2*y = r - 3*r. Suppose y*o + q = 15, 13 = -4*q - 7. Which is smaller: o or g?
o
Let m(t) = -t. Let a be m(-2). Let k(v) = -v**3 + v**2 + 2*v - 1. Let y be k(a). Which is greater: y or -1/43?
-1/43
Suppose 2*k - k = 2*f - 4, 2*f = -4*k + 24. Suppose m - 17 = -p, 2*m - 15 + 1 = 2*p. Let j be ((-2)/(-10))/(f/m). Which is smaller: j or 0?
0
Let x = -9 + 8. Let j(q) = 1. Let a(g) = -g + 9. Let s(i) = x*a(i) - 3*j(i). Let l be s(10). Is -3 at most as big as l?
True
Suppose k - 6 = -5*x + 5, -3*x + 5 = -k. Let b be 14*(-16)/(-28) + 18/(-3). Is b <= k?
False
Let h = -1.6 + 1.88. Let f = 0.72 + h. Let z = -2 - -3. Is z smaller than f?
False
Let g be 3/6 + 54/(-116). Suppose 31*s + 2 - 2 = 0. Is s != g?
True
Let k be (-36)/(-7) + (-1 - (-5 + 9)). Let p = -3.6 - -4. Is p > k?
True
Let a(b) = 8*b - 22. Let s be a(5). Let d be (-27)/s + (0 - 2). Are 0.4 and d equal?
False
Let z = -502 + 485. Is 2/11 equal to z?
False
Let m be (-4)/((-960)/925) - 4. Which is greater: 1 or m?
1
Let p = -47.03 - -49.3. Let v = 12.77 + p. Let d = v - 15. Is d greater than or equal to -2/5?
True
Let g(z) = -6*z**3 + 3*z**2 + 2*z + 1. Let n be g(-1). Let x be ((-15)/(-6))/(4/8). Is x bigger than n?
False
Suppose 14*r = 4*r - 10. Let t be 1621/(-26) - 2/4. Let g = t + 63. Is g equal to r?
False
Let t be (-11)/3 + 0 + -1. Let h = 95/22 - -2/11. Let s = t + h. Is s <= 1?
True
Let l = 513 + -511. Which is smaller: l or 3/134?
3/134
Let n = -10.032 - -10. Let w = 24.968 - n. Let b = w - 25.2. Which is bigger: -5 or b?
b
Let p(b) = -2*b**2 + 7*b + b**3 + 4*b**2 + 11 + b**3. Let w be p(-2). Let u(y) = -2*y - 3. Let z be u(4). Does w = z?
True
Suppose -38 - 10 = -16*d. Is -8 smaller than d?
True
Let m = -622 - -725. Is 99 greater than m?
False
Suppose -2*q + 4*q - 10 = 0. Suppose q*o = 13*o - 16. Suppose -i + 9 = -2*f - f, 0 = 2*i - 5*f - 13. Which is greater: i or o?
o
Let x(f) = -f + 46. Let h be x(11). Are 36 and h non-equal?
True
Let w(x) = x**3 + 8*x**2 + 6*x + 5. Let r be w(-7). Let a be (-132)/8*r/9. Let g be (-112)/132 + (-4)/a. Is g greater than 0.1?
False
Let z = -21 + 13. Suppose 2*q + 38 = 4*b, -12*q + 16*q + 51 = 3*b. Which is greater: z or q?
z
Suppose 5*q + 0 = 5. Let b be q + (3 - (-152)/(-36)). Let i be 3 - ((-24)/(-9))/1. Is b smaller than i?
True
Let y(a) = -11*a - 2. Let n be y(-1). Suppose -b = 3*v - 19, 36 + n = 5*b + 5*v. Suppose 0*c - 17 = -3*x + c, 5*x = c + 25. Is b bigger than x?
False
Let y = -295 + 295. Suppose -1 - 1 = -u. Let b be (9/20)/(3/u). Is b < y?
False
Let j(f) = f**3 + 4*f**2 + 4*f + 10. Let a be j(-5). Let o = a - -35. Is 1/6 smaller than o?
False
Let g = 37/9 - -7/18. Let l(n) = -4*n**3 + n**2 - 2*n - 2. Let x be l(-1). Is g less than x?
True
Suppose 3*m - 2*x - 1397 = 0, 6*m = 2*m - 5*x + 1832. Let c = -10647/23 + m. Is c >= 1?
False
Let t(x) = 2*x**2 + x - 1. Let g be t(2). Which is greater: g or 6?
g
Let g = -436/189 + -51251/3591. Which is smaller: g or -16?
g
Let q = -124 + -13. Let g = 151 + q. Which is smaller: 13 or g?
13
Let t(h) = 5*h**2 - 16*h + 2*h + 0 + 2*h**3 - 2 + 10*h. Let y be t(-3). Which is bigger: y or -2/37?
y
Suppose -3952 = -66*u + 14*u. Which is smaller: 73 or u?
73
Suppose -2*c - 4 = l + l, -l + 3*c + 2 = 0. Let a = 108 + -3347/31. Which is smaller: l or a?
l
Let q be 40/12 - 1/3. Suppose t = 4*u + 36, 0 = -q*u - 4*t - 5 - 41. Is -9 less than or equal to u?
False
Let l be (0*7/(-42))/2. Is l bigger than 2/251?
False
Suppose 0 = 3*f - 0*f - 2*o - 10, 2*o = -3*f + 14. Suppose -f*m + 3*m = -3. Let l be -1 - ((-108)/20)/m. Is l at most as big as 0?
False
Suppose 17 = 3*f + 8. Suppose 6*q - q = f*q. Which is smaller: q or 3/40?
q
Let o be (8/(-1 - 7))/(1/(-5)). Suppose 0 = o*d + 3*b + 4, 0 = d + 3*b - 2*b + 2. Is d at least -1/9?
True
Let t be 4*(-81)/(-36) + -10. Which is bigger: -1/362 or t?
-1/362
Let o be (-32)/(-18) + (-4)/(-18). Let j be 61*15/(-10)*4/9. Let h = j + 42. Are h and o unequal?
True
Let k = 0.097 - -19.903. Let x = k + -21. Which is smaller: 2/97 or x?
x
Let k be (-2)/4*(-1 + 1). Suppose -5*f + 4*f - 543 = 4*a, -1077 = 2*f + 5*a. Let o = 5829/11 + f. Which is bigger: k or o?
k
Let b = -5 + 12. Suppose -3*p - 12 = -b*p. Let n be (p - -9)*(-2)/(-4). Is n less than 4?
False
Let z be -2 + (-81 - 3) - 3. Let l = -61 - z. Let x be (l/24 + -1)*-1. Is x != 0.1?
True
Let h = -4639/147 - 234/49. Let l = h + 37. Suppose -1 = -y, -d - d - 4*y = -6. Is l smaller than d?
True
Let h = 137 + -79. Let o = -233/4 + h. Which is smaller: o or -5?
-5
Let u = 73 + -72. Let y = -24 - -19. Which is bigger: u or y?
u
Suppose 4*u - u = 243. Suppose 4*r + u = -5*f, 4*f + 16 = 3*f - r. Which is smaller: f or -18?
-18
Let v = 878 - 875. Is 14 smaller than v?
False
Let z = -284.4 + 246. Let t = -39 - z. Which is bigger: -4 or t?
t
Let u = -0.4 - 3. Let a = u + 16.4. Let t = a + -12.4. Which is bigger: t or 2?
2
Let f(x) = -2*x**2 - 6*x - 1. Let z be f(-5). Let h be 309/21 - 6/z. Let c = -17 + h. Which is smaller: c or -4?
-4
Suppose -682 = -10*l + 14*l - 3*x, 3*l + 5*x + 497 = 0. Do -169 and l have different values?
False
Let c(i) = 3*i**2 + i + 1. Let a be c(-2). Suppose 8*k = 13 + a. Suppose k*q - q = 2. Is 4 > q?
True
Let a be 0 + 74/(-8) + -2. Suppose 0 = 130*v - 2*v + 864 + 544. Which is greater: a or v?
v
Let h(o) = -12*o - 9. Suppose -24 = 4*t - 3*f, 2*t - 4*f + 22 = -0*f. Let r be h(t). Which is greater: r or 28?
28
Let q = 0.84 - 0.84. Is -30 > q?
False
Let z(x) = 2*x + 17. Let g be z(-7). Let a(p) = 2*p - 9. Let v(j) = j**2 + j. Let s be v(-3). Let c be a(s). Is g at most as big as c?
True
Suppose -11*v = v + 15396. Is v greater than -1?
False
Let v = -60.6 - -60.7. Which is smaller: v or 3/2?
v
Suppose 3*p = 10 + 5. Let k(b) = -5*b - 21. Let t be k(-6). Let n(v) = -v**3 + 11*v**2 - 19*v + 12. Let o be n(t). Which is greater: p or o?
p
Let b = 211/3 - 70. Which is bigger: 25 or b?
25
Let w be 36/(-12) - (0 - -43). Is w greater than -46?
False
Let q = 0.052 + -1.872. Let c = 0.48 - q. Let a = -2.33 + c. Do 2 and a have the same value?
False
Let u = 3052 - 2897. Does u = 155?
True
Suppose 11*k + 0 = -0. Is k smaller than -9/64?
False
Let l be (75/(-50))/((603/20)/(-3)). Do l and 1 have different values?
True
Let h = 18 - 75. Suppose x - 6 + 7 = 0, -3*z - 164 = -4*x. Are h and z equal?
False
Let u(l) = -l - 1. Let s(z) = -18*z - 3. Let f(o) = s(o) - 15*u(o). Let k be f(4). Let q = -3602/25 - -144. Is q greater than or equal to k?
False
Let q be (-21)/(-9) - (16/6)/8. Are q and 1 equal?
False
Let z = -169 + 169.1. Is -252 equal to z?
False
Let u be (-24)/84 - (-21841)/(-70). Let d = u - -312. Is 0 equal to d?
False
Let c = -5 - -5. Suppose 0 = -5*q - h, 4*h = -3*q + h. Let g be 18/63 - (47/189 + q). Does g = c?
False
Let p be (-4 - -5)/((-3)/(-339)). Suppose 0 = 3*a + p + 70. Let d = a + 1039/17. Which is greater: d or 1?
1
Let v(s) = s**3 - 13*s**2 + 11*s + 16. Let p be v(12). Suppose -4*a = -p + 8. Which is smaller: 0 or a?
a
Let r = -1776 - -275278/155. Which is smaller: r or 1?
r
Suppose -p = -6*p + u - 390, -10 = -2*u. Is -6 less than p?
False
Suppose 0 = q + 11 + 2. Let p(z) = z**3 - z**2 - 2*z + 1. Let g be p(3). Let h = q + g. Is h less than or equal to 6/7?
True
Let j be (-2)/6 - 27/(-81). Are 3/56 and j unequal?
True
Let t(f) = -f**3 + 3*f**2 + 19*f + 6. Let h be t(6). Suppose -4*w - 22 = -a + 3*a, -5*w + 83 = -4*a. Let m = a + h. Which is greater: m or -6?
m
Let q be (2/132)/(21/28). Which is smaller: 0.1 or q?
q
Let x(v) = 6*v**2 - v. Let h be x(-2). Suppose -378 = -h*j + 8*j. Which is smaller: 23 or j?
j
Let p = 1/284 + 1843/852. Let i be -3*16*7/126. Let t = i + p. Which is smaller: -2 or t?
-2
Let j(i) = -4*i**2 + 18*i**2 + i - 4*i**2 - 9*i**2. Let b be j(-2). Suppose -7*h = -6*h - 4. Which is smaller: h or b?
b
Let r be (67/3)/(67/201). Is 68 <= r?
False
Let o be ((-112)/168)/(2 + 192/(-9)). Let d = -1 - 0. Which is smaller: d or o?
d
Suppose -4*x - 3 = 5. Let q(v) be the first derivative of v**4/4 - v**3 - v**2 + 2*v + 4. Let t be q(3). Are t and x non-equal?
True
Let s = 2.5 + -4. Let d = -2.6 - s. Let m = d - -1.09. Is m less than 2?
True
Let b = -105611/4 - -26200. Is -204 at most b?
True
Let c = -2 - -2. Suppose y + 4*a = -11, 3*y - 2*a - 3*a - 35 = c. Suppose 0*