5 - 1). Is c not equal to j?
True
Let k be (-17 + 5 - -6) + -8. Is -10 != k?
True
Let j be -3 + 3 - 624/(-9). Which is bigger: j or 70?
70
Suppose -j - 4 = 5*h, 3*j = -4*h + 14 - 26. Is -3 greater than j?
True
Let u be 84/112*48/22. Which is smaller: u or 3?
u
Let n = 128.2 - 150.19. Let g = -22 - n. Let c = g + 0.11. Which is smaller: 5 or c?
c
Suppose 5*w + 9 = 8*w - 3*i, -3*w - 5*i - 7 = 0. Is -302 at most as big as w?
True
Let v(p) = -3*p**3 - 6*p**2 - p + 1. Let f be v(-3). Let c = -42 + f. Is c greater than -11?
False
Let l = 810 - 15452/19. Which is smaller: -2 or l?
l
Let y = -597 - -597. Is y greater than or equal to 1/76?
False
Suppose -5*w = 3*f - 2*f + 20, 4*w + 16 = -f. Is f at least as big as -3/1115?
True
Suppose 0 = 6*f + 6*f - 960. Suppose -2*s + 2*k + k = 43, -f = 5*s - 2*k. Which is bigger: -16 or s?
s
Let r be 98/(-20) + 21 + -17. Is r > -1?
True
Let l(t) = t**3 + t**2 - 2*t + 3. Let j be l(-3). Let a be 3/j - 1/(-3). Let f = 787/855 + -3/95. Is a > f?
False
Let o be (-178)/(-2) + 2 - (-11 + 9). Is o > 93?
False
Let q = -0.0576 + -1.1424. Is 0.7 > q?
True
Let s(g) = 2*g - 51. Let q be s(25). Which is smaller: q or -2/215?
q
Let y = -11 + 19. Suppose p - 2*d = 9, 4*d + d - 75 = -5*p. Which is smaller: y or p?
y
Let i be (-78)/6 + 6 - -19. Are 10 and i unequal?
True
Suppose 0 = l - 2*l - 4. Suppose 157 - 98 = -59*s. Which is smaller: l or s?
l
Let n = -4 - 7. Let s = -65 + 72. Let o = n + s. Is o not equal to -0.2?
True
Let v be (75/70)/((-4)/(-133)). Which is greater: v or 36?
36
Let q = 10 + -8. Suppose 4*x - j = q, 0 = 3*x - 0*j - 2*j - 4. Let o be (2/(-12))/((-76)/8 + 1). Is o equal to x?
False
Let x = 10.8 + -11.2. Is x smaller than 28?
True
Let u = -1166029/77 - -15143. Which is smaller: -1 or u?
-1
Suppose 0 = -17*c + 68 + 170. Suppose -5*n + 2*o = -178, 5*n - 140 = -4*o + c. Is 34 equal to n?
True
Let y be -1*(-4 - 0) + 8683/(-2166). Which is bigger: y or 0?
0
Let z = -1/134 - 1539/268. Let v = -102 - -96. Does z = v?
False
Let u = -38.077 + 0.077. Let b = 19 + u. Which is greater: b or 1?
1
Suppose -10*k + 350 = -15*k. Are -67 and k nonequal?
True
Suppose -4*r = -8 - 4. Suppose 2*j - 24 = -r*v - j, 34 = 2*v - 4*j. Is 8 smaller than v?
True
Let m = -12.21 - -0.21. Let t = -11.97 - m. Let r = t + -0.53. Is r <= 1/4?
True
Let m = -3992 - -2494. Let d = -1487.01 - m. Let b = 11 - d. Is b less than or equal to -2?
False
Let d be (5/2)/((-2275)/(-260)). Which is bigger: d or 26?
26
Suppose 6*t = 4*q + 3*t - 15, 0 = -3*q + 3*t + 12. Suppose f - 3*f = -5*z + 40, -f = -q*z + 21. Let v be ((-3)/f)/((-2)/5). Which is greater: -8 or v?
v
Let i = -1496 + 1496. Let g be (-3)/(-120)*(-4)/2. Which is greater: g or i?
i
Suppose 3*v + 3 = 0, 2*k - 2 = 4*v + 10. Let i be 80/35 + k/(-14). Suppose -i*h + 7 = 5. Is h at least as big as -2?
True
Suppose 11 = -4*s + 3. Let c be (s/(-3))/((-10)/15). Let t = 2 + -5. Is t smaller than c?
True
Let z(r) = 3*r**3 + 4*r**2 + 2*r - 17. Let y be z(3). Is y < 106?
False
Let n be (-31)/1*(1 + 6). Which is smaller: n or -216?
n
Let j = 8/29 + 2/203. Suppose 0 = -b - 3*b + 5*r + 1, -2*b + 4*r + 2 = 0. Which is bigger: j or b?
j
Let t be 4/(-5) - 32/(-15). Suppose 2*r - 1 = -3. Let s = r + t. Which is smaller: s or 1?
s
Let l(i) = -5 - 2*i**2 + 0*i**2 - 3*i + 6 + 19. Let p be l(-5). Is p smaller than -12?
True
Let p = -12 - -10. Let d be 5 + (-4 - p) - 7. Let g be ((d + 2)/(-2))/(-1). Is 2/9 >= g?
True
Let m = 12.92 + -13.32. Which is bigger: m or 115?
115
Suppose 5*p - 4*o = -711, 0 = -p + 3*o - 114 - 37. Let z = -975/7 - p. Is -1/4 > z?
True
Let f = -58 - -74. Is f greater than or equal to 2?
True
Suppose -5*h - 8 = 2*q, -3*q + 5*h - 7*h - 34 = 0. Are q and -14 equal?
True
Let u = 67 - 34. Suppose 18*t + 150 = 5*r + 23*t, -r = -5*t - 48. Let h = u - r. Is h <= -6/7?
False
Let i be (-30)/(-45) + (-106)/6*1. Which is smaller: -11 or i?
i
Let g = -0.08 - 0.12. Let t = -244.63 - -245. Is t >= g?
True
Let l(a) = a**3 - 11*a**2 + 13*a + 2. Let c(t) = t**2 - t + 10. Let j be c(0). Let q be l(j). Is q greater than or equal to 31?
True
Let s(g) = g**3 + g + 3. Let h be s(0). Suppose -5*x - 10 = 5*a, 0*a + 2*x = h*a + 31. Let k = -10 - a. Which is greater: k or -5?
k
Suppose 20 = -4*t - j - 3*j, -4*t = j + 26. Is -58/7 greater than or equal to t?
False
Let t = -10 + 12. Let d be 1 + 1 + -10 - t. Let o be (-14)/7 + (-4)/d. Which is greater: o or -1?
-1
Let j = 4 - 4. Let d(r) = r**2 + 2*r + 6. Let n be d(j). Let k = -16 + n. Is k at least as big as -10?
True
Let u be 28/(-6)*234/91. Let p be (-1)/(-3)*u/18. Do 0.2 and p have different values?
True
Suppose 0 = -p + 5*h + 4 + 5, 5*p - 22 = 2*h. Suppose -i - f = -5, i - p + 5 = f. Let g = 166/123 - 2/123. Does g = i?
False
Let v = -0.1 + 0.3. Let o = -0.8 - v. Let t be ((-4)/(-10))/((-54)/90). Which is greater: o or t?
t
Let y(l) = -l**2 + 4*l + 126 - 116 - l. Let d be y(-2). Let o = -27 + 26.89. Which is greater: o or d?
d
Let s = 7 - 8. Let a(r) = -27*r - 2. Let j be a(s). Is j < 25?
False
Let l(n) = -n**3 + 5*n**2 - 2*n - 4. Let g be -2 + 1 + 3 + 2. Let j be l(g). Suppose j*a + 21 = -k, 3*a - 2*a = 4*k - 1. Which is bigger: k or 1/3?
1/3
Suppose 2*j = -0 - 10, 2*j = -p - 10. Let h(l) = -23*l**2 - 2*l + 4. Let v be h(4). Let t be 38/v + 1/6. Which is greater: p or t?
t
Let c = 518 - 254. Let w = 8178/31 - c. Is w smaller than 0?
True
Let c = -1.361 + -84.639. Is 4 != c?
True
Let a = -250 - -9252/37. Suppose -2*b - b + 8 = -2*o, 3*b = -o + 5. Let i be (b/4)/((-1)/2). Are i and a non-equal?
True
Let x(q) be the third derivative of -7*q**5/30 + q**4/24 - q**3/6 - 2*q**2. Let h be x(1). Let j be (-1)/h*(-8 + 4). Which is smaller: 0 or j?
j
Suppose -33*x + 675 = -78*x. Which is bigger: x or -55?
x
Let t be (12/(-20))/((-164)/(-10)). Which is smaller: t or 1?
t
Let y be 0/(((-24)/9)/(-8)*3). Which is bigger: 2/323 or y?
2/323
Suppose -22*i = -11*i. Which is greater: i or 4/169?
4/169
Suppose -p - 6 = -4*u + 5, 2*p - 2*u = -4. Let j be (0 - 3) + 3 + p. Which is bigger: j or -2/9?
j
Let t = 40.81 - 14.93. Let i = -48.87 + t. Let v = 23 + i. Which is smaller: v or 0.3?
v
Let k be (1/38)/(2/(-24)*1). Let m be 2/4 + (-1)/2. Which is smaller: k or m?
k
Let j be 152/(-6) + (20/1)/4. Is -21 greater than j?
False
Let p(x) = x**2 + 4*x + 3. Let v be p(-2). Let j = -665 - -61844/93. Which is smaller: v or j?
v
Let x = -309 + 314. Which is smaller: -0.2 or x?
-0.2
Let m = 43 + -80. Let v = -20.001 + 0.001. Let q = m - v. Which is greater: -0.1 or q?
-0.1
Let z = 42 - 42. Suppose 4*t + 2 - 6 = z. Is 6/11 >= t?
False
Let u = -115047/67 + 1717. Do u and -1 have different values?
True
Let n(b) = b. Let q = -12 + 14. Let m be (-2)/(-2) + -15 + q. Let c be n(m). Is -2/7 smaller than c?
False
Let f(d) = -20*d**3 + 4*d**2 + 4*d + 2. Let r be f(-2). Let c be -2 - -6 - r/5. Let j = c + 30. Do 1/9 and j have the same value?
False
Let u(g) = -g**3 + 12*g**2 + 13*g - 3. Let m = -127 - -140. Let o be u(m). Is -7/4 > o?
True
Let b = -0.42 - 8.58. Let v = b + 9.3. Is 0.08 at least as big as v?
False
Suppose 5*v = 20, v - 45 = 3*x + 49. Let l be 2/8 + (x/(-8) - -4). Let f = 1 + 6. Is f less than l?
True
Suppose 3*l - 2*q - 917 = 0, 614 = 29*l - 27*l - 2*q. Is 303 != l?
False
Let o be -1 + 2 + 0 + -1. Suppose -5*y + d - 245 = o, -d + 48 = -3*y - 97. Let u = 36 + y. Which is smaller: u or -13?
u
Let w = -22 - -17. Let c be ((-9)/w)/((-4)/5). Is c bigger than -2?
False
Let y = 1/21 + 13/168. Let d be (3 + -4)*(-4)/(-50). Is y equal to d?
False
Let r be 5 - ((-16)/4 + 3). Let f be (-22)/(-33) - 2/r. Let v = 0.98 - 1. Is f smaller than v?
False
Let w(a) = -4*a. Let q(o) = -4*o + 1. Let i(d) = 2*q(d) - 3*w(d). Let m be i(1). Are 6 and m equal?
True
Let i be (-74767)/(-1309) - (-2)/(-17). Is i <= 288/5?
True
Let j = -329.97 + 330. Is 1/15 >= j?
True
Let h = -70 - -61.2. Is h <= 0.1?
True
Let u = -5993 + 29962/5. Let m = 7 + -6.4. Let o = m + -0.53. Is o at most as big as u?
False
Suppose -191*o - 14 = -184*o. Is -1 less than or equal to o?
False
Let s = -7 + 18. Let v = 13 - s. Let p = -1112/21 - -158/3. Which is greater: p or v?
v
Let b(v) = 2*v**3 + 56*v**2 - 5*v - 53. Let l be b(-28). Which is smaller: 83 or l?
83
Let y(s) = -s**3 - 6*s**2 - 7*s. Let n be y(-5). Let d be n + (4 - (-1 - -3)). Let b