 Let i = b - -48. Let z = 474 - 462. Is i not equal to z?
True
Let w = -3 - -7. Suppose 2*c - 8 = 4*l, -4*l + w*c - c - 10 = 0. Let y = 774 - 10056/13. Which is greater: l or y?
y
Let s = 0.1109 + 2.2891. Is -2/9 smaller than s?
True
Suppose -3466 = 10*i - 3516. Which is smaller: i or -252?
-252
Suppose -39*a = -34*a - 3935. Let r = 25969/33 - a. Suppose 0 = -0*h - h - 1. Is r bigger than h?
True
Suppose -2*v + 2*j = -j - 14, 5*j + 14 = v. Let t be (-14)/v*(-78)/(-93) + 3. Which is smaller: t or 1?
t
Let g = 1.35 - 1.47. Which is greater: -1/4 or g?
g
Let w(c) = -39*c - 337. Let a be w(-9). Which is bigger: a or 11?
a
Let y be (-13 + 17 - (-18)/(-2)) + 47. Which is bigger: y or 43?
43
Suppose -61*c - 495 = 59*c - 131*c. Let z be (-43)/(-1) + (0 - -2). Are z and c equal?
True
Let q = -1.2 - 8.8. Let v = q + 11.8. Let g = v - 2.1. Are g and 0.3 non-equal?
True
Let t = -0.32 + 0.21. Let u = -0.2 - t. Let g = u + 0.1. Which is smaller: 1 or g?
g
Suppose 3*b + b - 12 = 0. Suppose 0 = 3*c - 5*c + 10. Suppose -c*z + 20 = 0, 2*z - 7 - 13 = -3*u. Are u and b non-equal?
True
Suppose 23*s - 1189 - 1686 = 0. Which is smaller: 124 or s?
124
Let n = -8.0631 + 1.2021. Let o = 0.061 + n. Let j = o + 7. Are j and -1 unequal?
True
Suppose -x = -4*x - 5*w - 7, -3*x - 17 = -5*w. Let b be (16 + -18)/(2/x). Suppose 0 = -b*y - 8. Is y less than or equal to -13/4?
False
Suppose 2*l - 5*n - 14 = 0, n = -49*l + 44*l + 8. Which is greater: 40/17 or l?
40/17
Let o = 129 + -140. Let l be 1*((o - -38) + (-4 - 0)). Is l smaller than 111/5?
False
Let s(a) = a**3 - 5*a**2 - 9*a + 2. Let j be s(6). Let h = j + 18. Suppose -o - 3*g = 23, h*o - 5*g - 57 = 5*o. Which is bigger: -13 or o?
-13
Let j = -105.9 + 1114.9. Which is smaller: j or 1?
1
Let o be (4 - 1 - 3)/1. Let c = -231 + 1161/5. Are o and c nonequal?
True
Let c(n) = -230 - 8*n - n**3 + 224 + 5*n**2 + 2*n**3. Let i be c(-5). Let t be (-6)/24 + i/8. Is t < 6?
True
Let m be (12/2 - 6)/2. Is m bigger than -5/8?
True
Let v = -398 + 4373/11. Suppose -2*i + 1 = -5*k, 5*i - 12 = -8*k + 11*k. Let t(w) = 2*w**3 - w**2. Let p be t(k). Which is bigger: v or p?
p
Suppose -5*c = -4*z + 984, 2*z = 8*c + 1507 + 85. Which is smaller: c or -201?
-201
Suppose 3*b - 4*f + 821 = 0, -f - 14 + 13 = 0. Is -275 not equal to b?
False
Let v = -921 - -2321. Let p be (4/(-18))/(v/42). Is 0 smaller than p?
False
Let s be (-15)/(-10)*(-1 + 3). Let d be (306/72)/((-10)/8*-1). Is d smaller than s?
False
Let k(x) = -2*x**2 - 2*x + 27. Let r be k(-7). Let c = -22 - r. Is 34 <= c?
True
Let u be 13230/(-504) + 2/(-16)*-2. Is u smaller than -23?
True
Let m(a) = -5*a + 15. Let c be m(7). Let g be (-172)/80 - (-12)/c. Suppose 0 = b - 4*b - 6. Which is greater: b or g?
b
Suppose -2*u + 8 = 2*u. Let n = 12073 - 12081. Is u less than n?
False
Suppose -16 = -3*k + 5*k + 3*t, -2*k + 4*t = -12. Let u be (k/(-28))/((-10)/8). Let d be ((-9)/72 + (-1)/(-8))/1. Is d equal to u?
False
Let r be (10/25)/((-4)/(-5)). Suppose -2*p + 8 = 0, z + 4*p - 2 = 16. Which is greater: r or z?
z
Let x = -160 + 509. Which is bigger: 350 or x?
350
Let o be (576/(-42))/6 + 3. Let g(s) = 2*s - 3. Let c be g(2). Suppose -4*i + c + 3 = 0. Which is smaller: i or o?
o
Suppose 0 = 4*t + 11 + 5, -2*h - 42 = 3*t. Which is greater: h or 0.4?
0.4
Let v = 1.06 + -0.84. Let d = 0.35 - v. Which is smaller: 1 or d?
d
Suppose -4*r + 4 = -3*j, -3*j + 0 = -r + 1. Are -4/557 and r equal?
False
Let u = 67 - 34. Let w(q) = q**3 + 16*q**2 + 13*q + 3. Let s be w(-15). Is s < u?
False
Let y = 878661 + -14942573/17. Let m = 314 + y. Which is smaller: m or -1?
-1
Let z = -376 - 200. Let l be 0 - (z/(-284) + -2). Is 1 greater than l?
True
Let b(g) = 6*g**3 + 4*g**2 + 2*g - 2. Let k be b(2). Which is smaller: k or 70?
k
Suppose -8 = -q - 3*o, -3*q + o = -6*q + 8. Let b be q/(-4)*2 - (-15)/21. Do b and 0.16 have different values?
True
Let i = 2 - 10.1. Let b = -8 - i. Is -0.08 != b?
True
Let l be ((-2)/(-6))/((-21)/(-35)). Is 6 != l?
True
Let y = -1.97 - 0.03. Let w = -47.8 + 30.8. Which is smaller: w or y?
w
Let n(p) be the first derivative of p**4/4 - 10*p**3/3 + 6*p**2 - 12*p - 1. Let v be n(9). Suppose 0 = 4*z - v - 1. Are 3 and z equal?
False
Let a(u) = 2*u**2 - 2*u. Let t be a(-2). Let r be ((-180)/16)/(-45) + (-27)/60. Is t at least r?
True
Let q = -106 + 213. Let l = 105 - q. Let v = -9 + 8.3. Which is smaller: v or l?
l
Let g = 353.82 - 354. Which is smaller: g or 1/3?
g
Let i = -1025.77 + 1026. Which is bigger: -32 or i?
i
Let l = 2 - 24. Let q(b) = -b**3 - 22*b**2 - b - 28. Let i be q(l). Which is greater: i or -5?
-5
Let q = -0.0017 - -0.0246. Is q at least as big as 2/3?
False
Suppose 5*h - 4*t = -216, -7*t = -h - 6*t - 44. Which is bigger: -37 or h?
-37
Let b = 1.37 - 1.17. Let q = 4 - 1. Suppose v + 2*l = 2*v - q, 5*v - 2*l - 7 = 0. Is b > v?
False
Suppose 0 = 52*m + 388 - 128. Which is bigger: m or -62/15?
-62/15
Let u = 50 + -32. Let c be ((-6)/(-9))/(13/u). Which is greater: c or 2?
2
Let l = -30 - -15. Let j be (-39)/5 + 3/l. Let t be (11/33)/(j/(-30)). Which is greater: 1 or t?
t
Let p = -87/95 + -108/19. Is p < -8?
False
Let b = 68 - 68. Let x = 1281 - 58929/46. Which is smaller: b or x?
x
Suppose -5*q - 714 = 4*b, q - b - 143 = 2*q. Is -142 at most as big as q?
True
Let l = 66 + -137. Let x = l - -29. Is x at most as big as -0.1?
True
Let b = -974 + 973. Which is greater: 266 or b?
266
Let l be 1576/(-270) + (-242)/(-11) + -16. Is l > -1?
True
Let q = -26 - -36. Let x = 813 + -805. Which is smaller: q or x?
x
Let t be 18/48 - (-649)/40. Does 18 = t?
False
Let m = -172 + 523/3. Suppose 6*g - 2*g - 8 = 0. Which is greater: g or m?
m
Suppose 0*x - 44 = -4*x + 4*r, 33 = 3*x + r. Suppose 2*n + n - 36 = 0. Suppose n*u = x*u - 4. Which is bigger: u or 0?
0
Let k = -5097/2 + 2468. Let m = 81 + k. Which is greater: 6 or m?
6
Let h be (-2 - 0) + 9 + -2. Let l be 32/((-5 - -1) + h). Suppose -5*s = -9*s - l. Which is greater: 0 or s?
0
Let p(i) = i**2 + i. Let v(k) = 3*k**2 - 2*k + 2. Let f(h) = -2*p(h) + v(h). Let g be f(4). Let x be g - (108/20 - 3). Which is bigger: x or 0?
0
Let c = 6713/114 - 21/38. Is 59 at least c?
True
Suppose 0*f - 91 = f. Let s be -1 + (-366)/f + -3. Which is smaller: s or 1?
s
Let b = 16 + -45. Let u = b + 27.6. Which is smaller: u or -0.1?
u
Suppose -4*a + 87 - 299 = 0. Which is bigger: a or -103/2?
-103/2
Let x(y) = 0*y - 8*y - 8 + 0*y + 1 - y**2. Suppose 5*j - 3*l = -l - 20, -5*l = -3*j + 7. Let v be x(j). Is 7 at most as big as v?
False
Suppose -21 = 3*q - 6. Let m be (-13)/q - 4/(-10). Suppose -4 = -m*k + k. Which is bigger: 1 or k?
k
Let z(r) = 8*r - 5. Let t be z(5). Suppose -2*n + t = -n. Which is smaller: n or 33?
33
Let t be 1/((-1)/2 + (-7)/14). Let w be ((-1)/2)/(t + (-9)/(-6)). Which is smaller: -6/67 or w?
w
Suppose 0 = 4*a + 2 - 10, 0 = -3*p + 2*a + 11. Let c = -2 + p. Let i = -51 - -53. Which is smaller: c or i?
i
Let n be 298/(-144) - (0 - (-6)/(-27)). Let r = -13/18 - n. Is r < 1?
False
Let u = -4124 + 560867/136. Which is bigger: u or -1?
u
Let g = 0.24 - 0.41. Which is smaller: -0.04 or g?
g
Let n = -0.002 + 20.002. Let w = n - 12. Let p = w + -8.1. Which is greater: p or -9?
p
Let n be -6*12/(-9)*-2. Let d(j) = -j**2 - 15*j + 17. Let v be d(n). Which is smaller: 6 or v?
v
Let o be 2/19*(2 + -8). Suppose 0 = 83*y + 343*y + 852. Which is smaller: o or y?
y
Let s(t) = t + 10. Let g be s(-6). Let r = 24 + -4. Suppose -r = -0*q + g*q. Which is greater: q or -1?
-1
Suppose -4*n = -n. Suppose 4*d - 2*c - 6 = -0*d, n = -3*d - 5*c + 11. Let m = d - 9/5. Which is bigger: m or -0.1?
m
Let r(q) be the first derivative of -q**4/4 - 5*q**3 + 17*q**2/2 + 23*q + 3. Let x be r(-16). Is x greater than 7?
False
Suppose -5*w + d + 37 = 0, 2*w = -2*d - d + 8. Let l be 6*2/4 - w. Let h be 8/4 + l + 21. Which is smaller: 18 or h?
18
Let h = 6 - 6.2. Is 82 at most as big as h?
False
Suppose 0 = 2*k - 614 + 444. Which is bigger: 86 or k?
86
Let k be -5*(1 + -2) - (-70 + 54). Is 30 greater than or equal to k?
True
Suppose 0 = -3*o + c + 2, 2*o + 17 = 4*c + 5. Let m = o + -1. Let a be ((-9)/108)/(m/(-3)). Is a >= 1?
False
Let x = -0.342 + -3.648. Let j = 4 + x. Is j <= -2/3?
False
Let a(f) = 6*f**2 + f. Let u be a(-1). Suppose 0 = 4*o + 8, -2*o + 0 = b + 4. Suppose 16 = 4*d - b