+ -1440. Is i at least as big as -19/3?
True
Suppose 2*s + 221 = 3*t, 5*t + 3 = -12. Is -344/3 < s?
False
Let s be -4 - 4*4/(-4). Suppose 22*r - 17*r + 30 = s. Are -8 and r non-equal?
True
Suppose d - 20 + 14 = 0. Let a(y) = -y**2 + 9*y - 20. Let b be a(d). Let f be (4 + b)*(-5)/340. Which is smaller: f or 0?
f
Suppose -24 = -9*r + 11*r. Let l be (60/21 + -2)/(r/(-672)). Which is smaller: l or 47?
47
Let w be -2 + (8 + -6)/2. Is w at most as big as 2.17?
True
Let y be 60/9 + 16/(-24). Suppose 7*g - y*g - 4 = 2*f, -1 = f. Is g at most -11?
False
Let w(i) = -i**3 + 8*i**2 - i + 7. Suppose 4*h = -3*h + 56. Let k be w(h). Which is smaller: 3/8 or k?
k
Let g be 0*-2*(-4)/(-16). Let l be (((-200)/108)/(-5))/(2/(-6)). Is g less than l?
False
Let t(z) = 12*z - 14. Let u be t(7). Is 67 not equal to u?
True
Suppose -o - z = 7 + 4, -1 = 3*o - 5*z. Let k = o + 9. Suppose -2*i = -3*i - 10. Which is greater: i or k?
k
Let r(m) = -63*m + 1. Let u be r(1). Which is smaller: u or -56?
u
Let x be 3/(12/(-20)) - (-267)/60. Which is smaller: x or -2?
-2
Let p(j) = -j**3 - 8*j**2 - 7*j + 5. Let d be p(-7). Suppose 5*i - 14 = -4*o, -d*o + 17 = 4*i + 4. Is o > 2/17?
True
Let s = -70.91 + 68.91. Let d = 28 + -27.71. Which is greater: d or s?
d
Suppose -7 = -3*s + 8. Suppose 3*v + s*j + 37 - 15 = 0, j = 4. Let i = 27 + v. Is 14 > i?
True
Let r(n) be the second derivative of -n**4/12 - 7*n**3/6 + n**2 + 10*n. Let s be r(-7). Let z be 8 - -7 - (-1 + s). Which is greater: z or 13?
z
Let m be (-1 - -190)*17/((-663)/13). Which is smaller: -190/3 or m?
-190/3
Let l = 0 - 0.1. Suppose -3 = 5*k - 48. Let t = -28/3 + k. Which is smaller: l or t?
t
Suppose -r - 97 = -1. Let f = 26442 - 237116/9. Let b = f + r. Is -0.3 at least b?
False
Let b be (-333)/(-14)*(143/(-39) + 3). Does -15 = b?
False
Let o = 27 + 15. Let h = 63 - o. Which is bigger: h or 22?
22
Let c(a) = a**3 + 3*a**2 + 2*a. Let j be c(-3). Let x = -1 + j. Let y = x - -6. Is 1/4 < y?
False
Let w = 166 + -91. Suppose 3*f + h = -w, 0 = -6*f + 4*f - 2*h - 54. Let g be (1/(-20))/((-4)/f). Is g smaller than 1?
True
Suppose -2*o + 2 = -f, 4*f + f = 3*o - 3. Suppose -4*q - 4*a - 36 = f, 0*q + 19 = -3*q - a. Is -16/3 greater than q?
False
Let a = -367 - -372. Which is greater: a or 1.2?
a
Let x = -342 - -342.41. Is -2/3 at most as big as x?
True
Let p = 64.28 + -1.28. Let y = p + -56. Let k = 4 + -4.2. Which is greater: k or y?
y
Suppose 32 = 2*g - 30. Let c be g/21 + 7/(-49). Are -2/5 and c non-equal?
True
Suppose -3 + 10 = 5*l + 2*q, -4*q = -5*l + 31. Suppose 3*y = -l*k + 2 - 11, -19 = 5*y + 4*k. Let s be (-12)/2 + (y - -6). Which is bigger: s or -11/2?
-11/2
Let t = -28 - -41. Let h = -9 + t. Is h smaller than -3?
False
Let t(s) = -s**3 - 4*s**2 + 6*s + 23. Let i be t(-4). Which is greater: -2/149 or i?
-2/149
Let k = -20.918 + 21. Let m = k - 0.082. Which is smaller: -65 or m?
-65
Let u = -305 + 304. Let v = 11.11 - 11. Are u and v equal?
False
Suppose -2*x - 4*b = 10, x + b - 115 + 117 = 0. Let m = -72/5 + 946/65. Is m at least x?
False
Let s be (8/(-312))/(2/(-229 - -1)). Suppose 2 = 3*f - 10. Which is bigger: s or f?
f
Let d be (-18)/(-45) - (-12)/(-5). Let l be (-14)/(-6)*(1 - (d - 0)). Which is greater: 3 or l?
l
Let j = -9 + 9. Suppose -5*a = -j*a. Suppose -f - 5*y + 1 = 3*f, -y + 1 = a. Which is smaller: -2/17 or f?
f
Let t(j) = 10*j**3 + 2*j**2. Let a be t(1). Which is smaller: a or 13?
a
Suppose 9*p - 3262 = 734. Which is smaller: p or 445?
p
Let p = -128.5 + 130. Which is smaller: -9 or p?
-9
Suppose -3*u - 5*d - 35 = 0, 8*u - 5*u + 28 = 2*d. Which is smaller: -17 or u?
-17
Let o be (-3)/22*(-36)/(-27). Suppose -h = -3*x + 10, -x + h + h = 0. Suppose -5*n - 2*k + x*k - 10 = 0, n + 15 = 3*k. Is o equal to n?
False
Let u(z) = 6*z**2 + z - 3*z - 6*z - 10 - 8*z**2. Let b be u(-4). Which is bigger: -9 or b?
-9
Let v be ((-8)/12)/(24/(-36)). Is v >= 7/23?
True
Let j = 445/279 - 29/18. Is j <= 1?
True
Let x = -89 + 238. Is 2/5 less than x?
True
Suppose -2*j + 104 = -5*x, 0 = 3*x - 0*x - 4*j + 68. Let n be (3/42)/((-12)/x). Let h = -44/105 + n. Which is bigger: 1 or h?
1
Suppose a + 2*a = 108. Suppose 0*j + 4*j - a = -2*n, -2*j - 2*n + 22 = 0. Let f(v) = v - 12. Let s be f(j). Is -5 greater than or equal to s?
True
Suppose -2*s + 17*s = -8*s. Let l = -37/2 - -19. Do s and l have different values?
True
Let g = 461/2 - 243. Which is bigger: -13 or g?
g
Suppose 11*l - 7*l - 20 = 0. Suppose -4*h + 152 = -2*t, h = 5*h - l*t - 164. Are h and 35 non-equal?
True
Let y be (-106)/(-190) + (-4)/10. Suppose 53*w + 8 = 45*w. Which is bigger: w or y?
y
Let z = -50 + 281. Which is bigger: z or 230?
z
Let t = -10 + 4. Let s = -40 - -34.1. Let n = t - s. Which is smaller: n or -15?
-15
Let x = 126528/17 - 7440. Which is greater: 3 or x?
3
Let p = 360 - 234. Suppose 0 = a + 2*a - p. Suppose 0 = 3*w + k + 2*k - a, -3*k = -9. Which is smaller: 12 or w?
w
Let k be (-85 - -76)/((-2)/(-20)). Which is greater: -91 or k?
k
Suppose -61 = 14*l + 9. Let r be l/(-5)*(0 + 2/(-2)). Which is smaller: -2/39 or r?
r
Let a be (-6 + 4395/730)/(3/(-6)). Which is bigger: 1 or a?
1
Suppose 3*t = 1 + 5. Suppose -t*g = 3 - 7. Suppose 2 = 4*n - g. Which is smaller: -2/13 or n?
-2/13
Let m be -1 + (-2 - -3) + (-2)/72. Let l be (32/(-40))/((-4)/10). Let y be (3 - l)/(-1)*-1. Which is smaller: y or m?
m
Suppose -4*g + 5*g = 3*g. Let r be (2/4 - g)*0. Which is bigger: -9/10 or r?
r
Let h(o) = o**3 + 12*o**2 + 11*o + 2. Suppose -3*d - 22 = -d. Let c be h(d). Suppose c*b = -3*g + 23, -3*b = 4*g - 1 - 30. Which is smaller: g or 8?
g
Let z be 0 + (19 + -1 - -2). Let w = 138/7 - z. Suppose 4*v = 5*m - 2, 5*m + v - 1 = 7*m. Is m at most w?
True
Let u be (5 + 9 - 11)*56/(-3). Which is smaller: -59 or u?
-59
Let u(n) = -n**2 + 22*n - 51. Let x = 22 - 3. Let j be u(x). Which is bigger: j or 5?
j
Suppose 64 = -10*v + 6*v. Let p = v - -14. Let g be -1 - p - (-4 + 5). Is g less than 4?
True
Let i be 4/5*2*(-3725)/20. Is i less than -297?
True
Let k = 2.6 + -3.1. Let i = 12 + -7. Let b = -6 + i. Which is bigger: b or k?
k
Let h(p) = -p - 14 + 7*p - 3*p. Let j be h(5). Is 4/23 smaller than j?
True
Let k = -30 + 19. Suppose 3*c = 5*n - 64, -3*n + n = -c - 23. Let h = k - c. Which is smaller: 11/4 or h?
h
Let a = 6 + -11. Suppose 39 = -608*i + 595*i. Are i and a equal?
False
Let r = 24 - 21. Let k(i) = -i + 1. Let j be k(r). Is j less than 0?
True
Let y = 120/7 - 7207/420. Is 1 <= y?
False
Let q = 128 - 94. Suppose -23*a = -21*a + q. Are a and -18 equal?
False
Let g = -1219 + 970. Is g greater than 0.1?
False
Suppose -290 = -50*j + 2160. Which is smaller: j or 51?
j
Let t = -0.484 + 0.533. Is t greater than or equal to 2/3?
False
Suppose 5*f = 2*w + 7, f + 8 = 5*w - 9. Suppose 3*j = 2*p - 3, 0*j + w*p - 8 = 4*j. Does j = 1/2?
False
Let i be (1127/28)/7 - 0/3. Let k be 6/9*(-63)/(-6). Are i and k nonequal?
True
Let s be (((-258)/8)/3)/(6/(-8)). Which is smaller: 14 or s?
14
Let d be 3*-1 - 16/(-2). Suppose -d = -4*b - 17. Let t be 1*(-2 - b - 1). Which is greater: 4 or t?
4
Let o = 13.1 + -13.241. Which is smaller: 0 or o?
o
Suppose 3*q + 3 = -39. Which is smaller: q or -226/17?
q
Let k be (2/(-1 - -25))/(272 - 268). Let c(t) = t**3 - 4*t**2 + 3*t + 1. Let u be c(3). Is u >= k?
True
Let t be 1/((-5)/20) - (-3 - -102). Let s = 57 + t. Are s and -45 unequal?
True
Let t(y) = -y**2 + 8*y - 7. Let j be t(6). Suppose -q - 3*f - j + 1 = 0, -5*f - 15 = 0. Suppose -q = -2*s - 23. Is -7 bigger than s?
True
Let v = -918/5 - -183. Let l = -99 + 99. Which is smaller: v or l?
v
Let a = 11 - 6. Suppose -8*u = -2*u + 168. Let n = 27 + u. Which is smaller: n or a?
n
Let l be 303/15 - (70/10 - 6). Which is smaller: 19 or l?
19
Let p(s) = -2*s**2 + 5*s - 3. Let m be p(3). Let j be (-3)/6 - 3/m. Let a(w) = -w**3 - 10*w**2 + w + 8. Let o be a(-10). Are j and o non-equal?
True
Let s = -121 + -177. Is -297 greater than or equal to s?
True
Let r(s) = -s**2 - 7*s. Let p be r(-7). Suppose 0*f + 3*f = -l, -f - l = p. Suppose -4*a + 8 + 4 = -4*w, f = -4*a - 4*w + 20. Which is smaller: a or 13/5?
13/5
Let s = -370.814 - 0.186. Which is greater: s or -1?
-1
Let q = -311.8 + 288. Let j = q + 23. Is -3 smaller than j?
True
Suppose p + 1430 = q + 2*p, 6 = -3*p. Let h = 24352/17 - q. Which is smaller: 0 or h?