. Let d(f) = 16*f + 64. Let c be d(-3). Let m = c + o. Is m less than -13?
False
Suppose -93*i - 660 = -33*i. Which is bigger: 0 or i?
0
Suppose -9*r = -3*r - 606. Which is smaller: r or 102?
r
Let v be (54124/9023 - 6)/1. Is 1 != v?
True
Let w = 120 + -252. Is w <= -131?
True
Let i be (-4 + 24150/59)*3. Let w = -1216 + i. Are w and 1 non-equal?
True
Let t be 132/(-36)*(-5)/((-5)/(-12)). Suppose -2*b = 5*d - 122, 2*b + t = 2*d - 2*b. Is d not equal to 24?
False
Let w(c) be the first derivative of -c**3/3 - 6*c**2 + 14*c - 3. Let k be w(-13). Is -1/18 != k?
True
Suppose -4*q + 5 = q. Let i(j) = -3 - q + 2 - j - 2*j. Let f be i(-3). Which is greater: 5 or f?
f
Let k be (-9 - -6)*(-4)/3. Suppose t + 6 = 4*p - k, 5*t = -5*p. Suppose 0 = 15*i - 5*i + 40. Which is smaller: t or i?
i
Suppose -2*x = 3*x - 5. Let d be 6/8 + 170/(-248). Is d less than x?
True
Suppose 39*v - 40*v - 168 = 0. Let b be (v/(-60))/(2/(-5)). Which is bigger: -8 or b?
b
Suppose 87*r + 204 = 99*r. Let s(d) = -3*d. Let x be s(-5). Which is smaller: x or r?
x
Let s = -6.7 + -0.3. Let r = s + 7.3. Let u = 771 + -771. Is r > u?
True
Let u(p) = 9*p**2 - 5*p + 13. Let o be u(-4). Are o and 177 unequal?
False
Suppose -16*j = -17*j - 129. Which is smaller: j or -130?
-130
Suppose -4*k - 408 = 2*t - k, -211 = t - 2*k. Is t >= -207?
True
Let t be (4 - 8) + (0 - (0 + -23)). Is 58/3 < t?
False
Let u = 5/784 - 249/3920. Let h(s) = -s**2 + 6*s - 5. Let t be h(5). Is t bigger than u?
True
Let y be 5*(-2)/((-30)/123). Which is greater: 40 or y?
y
Let m = 256 - 15. Which is greater: m or 240?
m
Let t = 67 + -64. Let x be (60/t - -2 - 1) + 0. Which is greater: 19 or x?
x
Let r(v) = v**3 - 6*v**2 - v + 5. Let x be r(6). Suppose -3*z - 4*p + 18 = 0, 0 = -4*z + 5*p + 15 + 40. Let a be (-375)/210*8/z. Is a < x?
True
Let u(o) = o**2 + 7*o - 4. Let b be u(-8). Suppose -b*g - t + 43 = 0, -4*g + t + 36 = -17. Let w be ((-12)/(-63))/(g/18). Is 0.2 greater than w?
False
Let j be 48/(-28) - 14/49. Is j != -9/4?
True
Let h = 18 + -18. Do -2/1159 and h have the same value?
False
Let v = 0.3489 - -0.0311. Do -2/7 and v have different values?
True
Let n = -28 + 22. Let a = 16 + n. Which is greater: 0.1 or a?
a
Suppose -2*x = a + 3 - 11, -4*a + 4 = x. Let l = a + 1. Let w(n) = -n**3 - 12*n**2 + 15*n + 25. Let y be w(-13). Do l and y have different values?
True
Let c be (0 - 6/3) + 5. Suppose 4*z - 7 - 10 = 5*g, -5*z + c*g + 5 = 0. Which is bigger: -4/5 or z?
-4/5
Let k = 9 + 5. Let g = -15 + k. Does -2/7 = g?
False
Let n(l) = -l**3 - 13*l**2 - 24*l - 194. Let f be n(-12). Is -57 at most f?
True
Let j = 41063/43 + -955. Is -0.05 greater than j?
False
Let h(z) = 12*z**3 - z**2 + 10*z - 8. Let s be h(1). Are s and -9 nonequal?
True
Let i be -1*1 - (9 - 12). Suppose 0 = -2*b + b + i. Suppose 2*r - 3 = -3*l, 2*r = -2*l - 3*r + b. Is 1 >= l?
True
Let u = 12 - 8. Let i(m) = 0 + 6 - 1 + m**2 - m - u*m. Let f be i(4). Which is bigger: 1/7 or f?
f
Let c be (-1)/(-5) + (-10)/50*171. Is -32 less than c?
False
Let b be (-2)/(-7) - 3538660/1197. Let o = -2956 - b. Let t = -226/171 + o. Which is bigger: -1/3 or t?
-1/3
Let v be ((-30)/(-225))/((-1)/20*-6). Which is smaller: v or -19?
-19
Let g(c) = c**2 - 10*c - 16. Suppose -2*w + 0*w = -20. Let l be (-5)/w - 23/(-2). Let j be g(l). Is j at least as big as -2?
False
Let t = -1174 - -9371/8. Do -2 and t have different values?
True
Suppose -i + 4*m = 14 - 2, -2*m = 3*i - 6. Let f = 181/1680 - 1/80. Which is bigger: f or i?
f
Let h = -1710 + 1700. Let w be 12/(-10)*10/(-4). Let a be ((-21)/(-56))/(w/(-2)). Are a and h equal?
False
Let c = 224 - 223.03. Let x = -0.03 - c. Which is greater: 2 or x?
2
Let c be 22/(-3)*-2*(-3)/(-4). Suppose 35 - c = -3*u. Are u and 1 unequal?
True
Suppose 174 + 596 = 11*v. Suppose 4*a + 38 + 30 = -2*i, -v = 2*i + 3*a. Which is bigger: i or -110/3?
-110/3
Let n = -235 + 243. Which is bigger: n or 18?
18
Suppose 3*l - 120 = -3*l. Suppose 2*u + 18 = l. Let j be (1 + -3 + u)*-5. Which is greater: j or 6?
6
Let d = -157711 - -2995219/19. Suppose 0*i = -7*i + 476. Let c = d + i. Which is bigger: 1 or c?
1
Suppose 3*t - 1 = 4*n, -3*n = -8*n - 3*t + 19. Let k(x) = 10*x + 3. Let i be k(n). Let s = i - 24. Which is smaller: 4 or s?
s
Suppose -4*h + 2*h + 14 = 0. Suppose 3*f + 1 = h*f - 5*k, -4*f - k = 5. Let z(n) = -7*n**2 - 41*n + 6. Let t be z(-6). Which is smaller: f or t?
f
Let t = -4.848 + -0.142. Let o = -3 - -3.01. Let h = t - o. Which is bigger: h or -0.1?
-0.1
Let s = -134.021 + 134. Let l = -0.111 - s. Which is bigger: l or 3?
3
Let g be (-10)/4*20/(-75)*3. Suppose g*d - 11*d - 18 = 0. Let y(s) = 2*s**3 - 1. Let p be y(-1). Which is bigger: d or p?
d
Let d = -0.1 - -0.2. Let a = 12.5 + 1.5. Let p = -15 + a. Which is smaller: d or p?
p
Suppose 2*p - 23520 = 82*p. Is -294 at most as big as p?
True
Let z = -636 - -635. Which is greater: z or 9/116?
9/116
Let r be -46 + 44 + (0 + -1)*-1. Suppose 5*w = y - 21, -3*y - w + 0 - 17 = 0. Is r greater than y?
True
Let v = -10.1 + 11.1. Let k = -30 - -541/18. Which is smaller: k or v?
k
Let f be (-1)/2 + 861/42. Let g = 57 - f. Is 38 at least g?
True
Suppose 3*q - 5*t - 1 = 0, 2*q - 30 = 29*t - 33*t. Let m = 19 + -29. Let s be ((-16)/m)/((-3)/(-15)). Is s less than q?
False
Let a be (-3)/(-87)*((-330)/(-114) - 3). Are 0 and a non-equal?
True
Let a = -21 - -23. Suppose a*u = -3*t + 2, 4 = -2*t - 0*t + 4*u. Suppose f - 8 + 9 = t. Is f < 1/15?
True
Let b = -57 - -56. Let h be b + 4 + 0 - 4. Is h at most as big as -3/2?
False
Suppose c - 3*s = -c - 16, 5*c - 5*s = -30. Let u(y) = -y**3 - 16*y**2 + 16*y - 7. Let d be u(-17). Which is greater: c or d?
d
Suppose 5*c = 18*c + 52. Which is greater: 7/6 or c?
7/6
Suppose c + 0*c = 6. Let k(g) = g**3 - 6*g**2 - 3*g + 5. Let h be k(c). Let v be 90/25*(-10)/3. Which is smaller: h or v?
h
Let w be 14/(-21)*3 + (-205)/6. Let x = -36 - w. Is x at most -1?
False
Let b = 225 - 224. Which is greater: -1/60 or b?
b
Let t = 6 + -14. Let z(i) = -i**2 - 9*i + 1. Let g be z(t). Let r(y) = -y**2 - 27*y + 97. Let o be r(-30). Do o and g have the same value?
False
Suppose -2*c + 13 = -y, 15 = -5*y + 6*y + 5*c. Let t(l) = -l**2 - 10*l - 10. Let g be t(-9). Let f be ((-3)/g)/((-11)/33). Which is smaller: y or f?
f
Let z be 2 + (-2 - -2)/3. Suppose z = 2*s - 2*y, s = 6*s - 3*y - 5. Let p = -86 - -90. Is s at least as big as p?
False
Let c = -52 + 56. Let b = -1 + 6. Suppose 5*g - y + b = 0, 15 = c*g + y + 2*y. Is -2/29 equal to g?
False
Let s(m) = 4*m - 150. Let t be s(10). Does t = -108?
False
Let r = 1.6 - 1.634. Let n = r + -6.966. Is 2/3 smaller than n?
False
Let k = 1549 - 35618/23. Let o = 8/23 - k. Does 1 = o?
False
Let o(m) = -3*m - 7. Let x be o(-3). Let z(f) = -1 + f + 0 + x. Let p be z(-1). Is -6/13 less than p?
True
Let t be (-2057)/(-4454) - (-3)/(-6). Is t greater than 1?
False
Let j = -0.1 + 0. Let r = 14 + -3. Let w = r + -12. Is w less than or equal to j?
True
Let z = 323 + -258. Is z equal to 64?
False
Let u = -40 + -151. Do u and -191 have different values?
False
Let h = -404 - -377. Let p be (1 - 23) + (-1 - -1). Let c be 6/h - p/18. Do c and 1 have the same value?
True
Let d = -3949938626/12470865 + -1/831391. Let n = -317 - d. Let x be 5/3 + (-4)/6. Is x less than or equal to n?
False
Let b be 4/(-22) + 42/110. Let t be 82/8 - 2/8. Let x = -11 + t. Which is bigger: x or b?
b
Let k = -461 + 468. Let y = 1 - -10. Which is smaller: k or y?
k
Let m = 2025.75 + -2026. Let j = 8 + -6. Is m equal to j?
False
Let i be (-56)/(-42)*(-33)/2. Let q be (0 - 1/2)*i. Which is bigger: q or 2?
q
Let y(z) = z**3 + 5*z**2 - 9*z - 16. Let m be y(-6). Let s = 12 - 10. Let p be 4*(0 - s)/(-6). Is p at least as big as m?
False
Let x be (-25)/30*(-238)/(-85). Let w = 0.1 + -0.1. Which is bigger: w or x?
w
Suppose f + 3*v - 102 = 4*f, 0 = -2*f + 4*v - 62. Let s = f + 36. Which is smaller: -5 or s?
-5
Suppose 0 = 2*o + 6, 5 = -2*x + 3*o + 72. Let s = -49 + x. Is -18 at least s?
True
Let u be 1/(-1*(-2)/6). Suppose f = 4*j - 26, u*j - 1 = -2*f + 2. Let k = -434 + 429. Which is smaller: k or f?
f
Suppose -t + 5*n + 16 = 0, 4 = -5*t + 4*n + 21. Suppose 2*i = -4*z - z + 9, -4*z - 4*i + 12 = 0. Do t and z have the same value?
True
Let w = 395.8 - 396. Let m = -2.98 + 0.96. Let d = -0.02 - m. Is 