 Let w = k + -0.51. Is w less than or equal to c?
False
Let v be (-58)/24 + (-22)/(-33). Let n = -63 + 61. Which is smaller: n or v?
n
Let z(f) = f**3 + 6*f**2 - 5*f + 15. Let m be z(-7). Is m at most -18?
False
Suppose -2552 = 96*v - 85*v. Which is bigger: -0.1 or v?
-0.1
Suppose -39 - 101 = -7*u. Are 21 and u equal?
False
Let d = -0.716 + -56.384. Let u = d - -57. Let p = 5 + -1. Which is smaller: p or u?
u
Suppose 2 = 5*g - d - 1, -d - 1 = -3*g. Do g and -5/18 have different values?
True
Let q = -52/95 - 1/19. Let h = 2112.907 + -2111. Let p = h + 0.093. Which is smaller: q or p?
q
Let w be ((-4)/7)/(-4) - (-52)/(-70). Which is bigger: -14 or w?
w
Let s = -482579/39 + 12373. Which is smaller: 0 or s?
s
Let g(y) = -2*y - 25. Let d be g(-10). Let w be -3 + d - (3 - 6). Which is greater: -4 or w?
-4
Let y(u) = u**2 + 11*u + 13. Let c be y(-2). Is c bigger than -49?
True
Let h = -24 + 12. Let c be -1 + (-66)/h + (-3)/(-6). Is c at least 5?
True
Let v = -777 - -142. Is -635 less than or equal to v?
True
Let j = -2 + 7. Suppose 0 = -z - 2*z + 4*g + 6, -10 = 2*z + 2*g. Let c be 16/60*21 + z*1. Which is bigger: c or j?
j
Let c(v) = -v**2 + v + 27. Let p be c(-7). Suppose 3*z - 6*z - 84 = 0. Which is greater: z or p?
z
Let v be (1/(-4))/(4/16). Let s = v - -4. Let l be ((-2)/(-36))/(s/(-12)). Which is smaller: l or 3/8?
l
Let t be 8*(3/1 - -29). Let w be 2/7 + t/(-14). Let b(a) = a**2 - 20*a - 19. Let j be b(20). Is j at least w?
False
Let b = -23 - -84. Is b greater than 60?
True
Let k be (18/(-15))/(12/(-30)). Let q be (10/(-9))/(22/(-33)). Which is bigger: q or k?
k
Let c = 1532 + -1546.33. Let i = c + -0.57. Let n = -15 - i. Do -7/6 and n have different values?
True
Let g(z) be the third derivative of z**4/12 - 25*z**3/6 - 6*z**2. Let j be g(13). Is j not equal to -2/29?
True
Let w = 5480953/465 + -11787. Is w greater than 1?
False
Suppose 0 = 2*m + 3 + 1. Let h be 0 - m*6/4. Let c(d) = -2*d**3 - 12*d**2 - d - 7. Let v be c(-6). Is h less than or equal to v?
False
Let z be 6 - 8/((-32)/(-20)). Is z at least as big as 8/27?
True
Let x = 1035.9 + -1036. Which is smaller: x or -45?
-45
Let z(y) = y**3 - 12*y**2 + 4*y - 41. Let o be z(12). Which is smaller: 19 or o?
o
Let v = -16.998 - -17. Let x = -0.031 + -0.969. Is v greater than or equal to x?
True
Let o = -2620 - -2585. Is -37 greater than o?
False
Suppose -m + 31 - 13 = 0. Which is bigger: 107/6 or m?
m
Let t = 2 - 0. Let d = -22.486 - 0.014. Let v = d + 23. Is t <= v?
False
Let i = 27 - 27.1. Let t = i - -0.3. Let g = t - 1.6. Which is smaller: g or -1/2?
g
Let l be (-1)/7 + (-1011)/(-21). Let s be (-4)/(l/(-87)) - 3. Is 5 at least s?
True
Let v be 21/(-36) - 1/(-3). Let q be (3612/112)/((-10)/8). Let c = q - -1429/55. Which is smaller: c or v?
v
Let m be 2/(4 + (-3 + 1 - 1)). Let t be (-247)/(-39)*(-3)/m*-2. Let x be ((-2)/(-2))/(2/38). Does x = t?
True
Let x = -4589/2 + 2295. Let o = 178 + -1248/7. Which is bigger: x or o?
x
Let m be (-2 - (-7 - -3))*(5 - 3). Suppose -m*x = 7*x - 264. Is x equal to 22?
False
Let a be 354/(-12)*(96/20 - 4). Is -25 >= a?
False
Suppose -968 = 13*w - 5*w. Which is smaller: w or -125?
-125
Let z(v) = -v**3 - 5*v**2 - 11*v - 11. Let k be z(-5). Which is bigger: 46 or k?
46
Let t = 1416.1 + -1354. Let c = t - 62. Which is smaller: c or -12?
-12
Suppose 5*r + 2*k = -0*r - 1706, 0 = -r + k - 337. Is -340 at least r?
True
Let s(q) = q**2 + 7*q + 3. Let f be s(-9). Let t be 5 + (-7)/(f/6) + 4. Is 9 < t?
False
Let s = 1950 + -1859.04. Let j = s + -91. Does 0 = j?
False
Let z = 6 + -4. Let i be (1 + -4)*1 + 20. Let q = 20 - i. Which is smaller: z or q?
z
Let o be 884/684 - (-56)/(-42). Is 0 at most as big as o?
False
Let t = 65163/25 - 2607. Which is bigger: 0 or t?
0
Let r be ((-4)/(-5))/(-1*(-24)/(-20)). Is r greater than 5/6?
False
Let u(y) = 3*y**3 - y**2 + y + 2. Let o = 27 + -25. Let p be u(o). Let h = 22 - p. Is h > -4?
True
Let f be 54/(-9)*3/(-12) + -2. Which is bigger: f or -5.9?
f
Let z(l) = -l**2 - 6*l - 4. Let b be z(4). Which is bigger: -265/6 or b?
b
Let f = 43/85 + -7/34. Which is bigger: f or 3?
3
Let m = -66/17 + 956/255. Is 0.2 less than m?
False
Let x = -844 - -872. Is -6 < x?
True
Let q be (-1)/4 - 36141/(-144468). Let z = q + -1472773/12039. Let v = -124 - z. Is v at most as big as -2?
False
Let d = 3/347 + 259/50315. Let u = 1 + 0. Is d at least u?
False
Let t = -12 - -12.22. Let a = 0.01 + -0.13. Let h = a + t. Which is smaller: -2/5 or h?
-2/5
Let i be 2/12 + 6 + 6085/30. Let y = i - 210. Let j(t) = t**2 - 6*t. Let f be j(6). Is f at most y?
False
Let k = -17 - -16. Let p be 1/175 + 1 + k. Which is bigger: p or -1?
p
Suppose -8 = 2*i, 2*a + 3*i = 2*i + 6. Suppose -5*h - 2805 = a*s - 0*h, -2*h + 546 = -s. Let j = s + 6120/11. Is 0 < j?
True
Let z be (240/(-70))/((-1)/(-7)). Let k = z + 24. Let q be (-6)/(-16) + 6/(-8). Which is bigger: k or q?
k
Let j(k) = 21*k. Let f(g) = 4*g. Let r(x) = -22*f(x) + 4*j(x). Let s be r(-1). Let p = -15 - -20. Is s greater than or equal to p?
False
Suppose a - 16 = 5*o - 10*o, 5*o = -4*a + 19. Suppose o*u - 52 - 38 = 0. Is 29 at most u?
True
Let k(w) = -w**3 + 16*w**2 - 47*w + 1. Let x be k(12). Suppose -10 = n - 3*s + 7, 4*n + 2*s = -54. Let d = n + x. Do d and -1 have the same value?
True
Let f(c) = 13*c**2 - 15*c + 36. Let j(q) = -3*q**2 + 4*q - 9. Let t(y) = -2*f(y) - 9*j(y). Let o be t(5). Which is bigger: o or -1?
o
Suppose 12 = -8*h + 84. Which is smaller: -2/3 or h?
-2/3
Let u = 6 - 1. Suppose 0 - 20 = -u*r. Suppose 4*d + r*a - a + 5 = 0, 0 = 5*d + 2*a + 1. Is d > 8/5?
False
Let o = 136/9 + -1676/99. Which is smaller: o or -1?
o
Let b = 412 - 285. Let u = 127.3 - b. Are u and -1/5 equal?
False
Let s = 234 - 129. Let b be 6/s*(21/6)/(-7). Is b at most as big as 1?
True
Let f = 3032/13 - 233. Let k be 6/14 + 20/(-14). Which is smaller: k or f?
k
Let x = -358 - -2861/8. Let y = -3.267 - 0.033. Let w = -3 - y. Which is greater: w or x?
w
Let j be 1146/366 + (-1 - 2). Let y = -662631 - -121261009/183. Let m = y - j. Is -2 greater than or equal to m?
True
Let w = 16/35 - 3/5. Suppose -q - 4 = 2*s - 5, 2*q - 2 = 4*s. Is w >= s?
False
Suppose 0 = 18*y + 8131 + 1805. Which is bigger: -550 or y?
-550
Let y be (-9 - 1)*(-8)/(-16). Let u = y - -3. Which is smaller: u or -1?
u
Let j be (4/8)/((-9)/(-9378)). Suppose 9*g - j = -161. Is g <= 40?
True
Let m be (3 + -1)*(-22)/4. Let b be 58/5 + 4/10. Let j = b + m. Is -1 bigger than j?
False
Suppose -41*z + 33*z = 960. Is -120 greater than z?
False
Suppose -72 = 3*n + 360. Let o be (-3)/(-2)*(435/n + 3). Which is smaller: o or 1?
o
Let q = -23 + 20. Let i = -46 + 51. Which is greater: q or i?
i
Let u = 571 + -451. Let i = -57 + 177. Is i <= u?
True
Let g(j) be the first derivative of j**2/2 - 6*j - 3. Let t be g(6). Let p be (t + 1/9)*2. Is p greater than or equal to 1?
False
Let b = 4.02 - 4. Let q = b - -0.98. Which is bigger: q or -1/22?
q
Let u be (-117)/78*(-16)/(-42). Which is greater: u or -11?
u
Let h = 11 + -43. Suppose -1551 = -20*n + 5*n + 62*n. Which is smaller: n or h?
n
Suppose 4*x - 337 = -i, 3*i + 355 = 4*x - 2*i. Suppose x = -4*w - w. Let l = w - -17. Is -3/10 smaller than l?
True
Let r = 256 - 102. Let c be r/40 + (-32)/8. Is c bigger than 0?
False
Suppose 4*z + 0 = 2*k - 8, 8 = -4*z - k. Let u be z + 141/36 - 2. Is u < 0.3?
True
Let u = 2 + 1. Let x = -10 - -263. Let b = -1749/7 + x. Which is smaller: b or u?
u
Let c = -7/929 - -6407/110551. Does 0 = c?
False
Suppose 0 = 3*x + 2*g - 27, -63 = 11*x - 14*x + 4*g. Let w(s) = s**3 + 3*s**2 - 4*s. Let u be w(-4). Suppose u = -b - 0*b + 13. Is b <= x?
True
Let i = 7 + 1. Let q be (-6)/i + 4/8. Let t be 2*(-6 - 2*53/(-18)). Which is smaller: t or q?
q
Let y be (23 - 0) + 0 + 3. Let h = 149 - 151. Is h >= y?
False
Suppose 1 = z + 5*j - 3, 5*z = j + 20. Let a = -8 + z. Let s be a/(-14) - (-48)/(-70). Which is smaller: -0.2 or s?
s
Let d(w) = w**2 + 7*w + 3. Let n be d(-7). Suppose -2*g + 4 = -4. Let k be ((-156)/11)/g + n. Which is smaller: k or 0.1?
k
Let u(c) = 10*c**2 - 24*c - 24. Let a(m) = -2*m**2 + 5*m + 5. Let f(q) = 14*a(q) + 3*u(q). Let t be f(-1). Are 3 and t non-equal?
True
Suppose -2*y + 5*l + 0*l + 2 = 0, 4*l - 4 = -4*y. Which is smaller: y or 3/50?
3/50
Let q = -451 + 272. Is 2/5 less than q?
Fal