 d(-2). Suppose -11 + 3 = i*y. Let p = 80 + -84. Is p bigger than y?
False
Suppose 11*p + 2 = 2*c + 7*p, 5*c + p = -6. Is c greater than -1/633?
False
Let x(h) = -h**3 + 5*h**2 - 5*h - 2. Let k be x(3). Is -2/15 less than k?
True
Let a = 8 - 5. Suppose 0 = 2*l - 0*l - z - 13, -4*z + 3 = a*l. Suppose -2*u = -u + l*b + 8, u = -b. Which is smaller: -3 or u?
-3
Let b be 4 - 7/(133/94). Is 0 not equal to b?
True
Let c = 196 - 206. Which is bigger: c or -3?
-3
Let v = -39.3 - -63.24. Let f = -24 + v. Which is bigger: 1/2 or f?
1/2
Let k(s) = s - 11. Let p be k(10). Let j(b) = -5*b**2 + 2*b + 1. Let q be j(p). Let t be (-1*1)/(-7 - q). Is t less than 2/21?
False
Let q be 10/4 - (-2)/(-16)*4. Suppose -2 - 3 = -2*v - t, -q*t = v - 7. Which is smaller: v or 2/151?
2/151
Let w be -17 + 18 + (-462)/472. Let u = w - 8039/708. Are -12 and u non-equal?
True
Let z(u) = -u**3 + 6*u**2 - u + 6. Let g be z(6). Suppose 68 = 4*s + 72. Which is smaller: g or s?
s
Let f be (6/(-15))/((-1)/60). Suppose -3*i = g + 15, 4*g = i - 0*i + 5. Let d be i + (-585)/(-20) - 2/8. Is d at least f?
True
Let v = -4 + -1. Let c be v/4*16/(-4). Suppose -15 = -c*u + 3*k, -u = 4*u - 2*k - 10. Is -1 > u?
False
Let i = 1.97 + -2. Suppose 3*z + 7*z + 90 = 0. Let q be (-3)/(z/(-3)) + 6/4. Which is smaller: i or q?
i
Suppose 17 = 10*d - 7*d + 5*i, -2*d + 10 = 3*i. Let p = 26899/22 + -1223. Let c = p - 2/11. Is c less than or equal to d?
False
Let b be 69/92 + (-57)/(-4). Let s be (-3)/(-2) + b/10. Is 3 at most s?
True
Let t(o) = -5*o**2 - 111*o + 112. Let i be t(-25). Which is smaller: i or -237?
i
Let a be 3/(-2)*78/(-9). Which is smaller: 110/9 or a?
110/9
Suppose 3*q - q = -3*y + 2, 5*y + 2*q = 2. Let p = -16630/7 - -2376. Is y less than p?
True
Let o(g) = g**2 - 5*g - 5. Suppose 0 = -v - 2*v + 21. Let j = v + -1. Let u be o(j). Is 0 >= u?
False
Suppose 629 = -85*n + 24514. Is n >= 281?
True
Let n = 35 - 28. Suppose v - n = -0*v. Does 9 = v?
False
Let g be 4/(-6) - 1328/6. Is g equal to -222?
True
Let y(i) = 3*i**2 - 16*i + 8. Let l be y(5). Suppose 2*m - d = 27, 3*d - 45 = m - 4*m. Let a = 18 - m. Is l < a?
True
Let b be (-30)/(-8)*(-96)/(-1200). Suppose 2*k = 7*k - 5. Is b greater than k?
False
Suppose l + 82 = 3*l. Let a be (3/(-3) + -1)/l. Let o = -1584 - -1585. Which is smaller: a or o?
a
Let g = 17 - 18. Let t be 1 + 2 - (g - -3). Is t less than 1/8?
False
Let a be 15/(-2)*322/69. Is -36 greater than or equal to a?
False
Let n be ((-10)/(-105))/(-4 - 478/(-120)). Do n and -6 have different values?
True
Let n = 11.11 + 1.99. Let l = -13 + n. Is -0.2 > l?
False
Suppose 3*a + 6 = i - 0, -3*a = -3*i - 12. Let v(n) be the second derivative of n**5/20 - 2*n**4/3 - n**3/6 + n**2 + 2*n - 12. Let s be v(8). Is i > s?
False
Let o = 2.4 + 10.6. Let l = o + -9. Let h = l - 2. Is 2 at least as big as h?
True
Suppose 5*q - 706 = 644. Does 272 = q?
False
Let o = 31 + -32. Let n be (-4)/(-10)*5*o. Is -4/5 at least n?
True
Let l be (-6 - -1)*(5 + -6). Let a be (-10)/(-42) - l/15. Suppose -b + i = 2*b + 4, -2*i = 5*b + 3. Which is bigger: a or b?
a
Let b = -1109/9 - -123. Let o = 9.9 - 10. Is o <= b?
False
Let g = -60.1 + 56. Let l = g - -1.1. Which is greater: l or -4?
l
Let w = 1 + -1. Let o(j) = 2*j**3 - 6*j**2 - 12*j + 35. Let r be o(3). Is w less than or equal to r?
False
Suppose 0 = n - 5, 2*n = -0*b + b + 30. Let j be (-2)/(-8)*(-368)/b. Do j and 6 have the same value?
False
Let p = 893/425 - 154/25. Which is smaller: p or -4?
p
Suppose 0 = 5*n - 4*n + 4. Let w be (-2)/n - 490/(-20). Which is smaller: 22 or w?
22
Suppose 0 = -d + 2 - 0. Suppose -218 = 2*j + d*r + 4, -3*j = 2*r + 334. Let u = -562/5 - j. Which is greater: u or 1?
1
Suppose -6*g - 56 = -2*g. Let u = 24 + g. Let s(j) = -j**2 + 10*j - 1. Let t be s(u). Is t > 4?
False
Let u(h) = -23*h**2 + 7*h + 47. Let p be u(-4). Are p and -348 equal?
False
Let s = 1517.1 - 1517. Is 260 >= s?
True
Suppose 8*v = 3*v - 20. Let g be ((-33)/649)/(6/v). Suppose 4 = 2*a + 2*a. Which is smaller: a or g?
g
Let x = -2 - -4. Let m be (1 + 3)/(x/3). Let i = m + -1. Which is smaller: 2/5 or i?
2/5
Let o = 10 + -3. Let x be -6 + 2 + 3 + -2. Let v = o - x. Which is smaller: v or 11?
v
Let k be ((-72)/(-27))/((-2)/12). Let z(s) = s**2 + 16*s - 11. Let i be z(k). Do i and -12 have different values?
True
Suppose w - 2*w + 4 = 0. Let h = w + -3. Suppose -4*o + 14 = -5*x, -26*o - 3 = -27*o + x. Is h >= o?
True
Let z = 768 + -753. Let a = 9 - -2. Let k be 3/z - a/(-45). Which is smaller: k or 0?
0
Let r = 399 + -295. Are 103 and r nonequal?
True
Let q be 4/14 + (-358)/1106. Let c be (-124)/682 - (-3352)/11297. Let s = c + q. Is s less than 2/5?
True
Suppose -58 = -0*k - 3*k + 4*d, 5*d - 25 = 0. Suppose -l = 2*j - 8, -5*l + 66 = j + k. Which is greater: 9 or l?
9
Let o be (-2)/(8 + (-14)/4). Let k = 0.3 + -1.3. Is o greater than k?
True
Let m(w) = -w - 1. Let x be m(-2). Let c be ((-24)/16)/((-3)/10) - 1. Suppose 5*y + g = -11, -g = 2*y + x + c. Which is smaller: -3 or y?
-3
Let f be 2*(-1)/(-6)*6. Suppose -q + 3*r - 5 = 0, f*r + 58 + 18 = -4*q. Let t = q + 4. Which is bigger: -14 or t?
t
Let s = 3915 + -8063/2. Let p(i) = 14*i**3 + 3*i**2 - 3*i + 1. Let l be p(2). Let r = s + l. Which is smaller: r or 3?
r
Let n(o) = -122*o**3 + 2*o**2 + 3*o + 2. Let v be n(-1). Is 123 at most as big as v?
True
Let i be (-1)/1 + 5/2. Let w = -11276 + 11277. Does w = i?
False
Let y = 418812/7 - 485402121/8113. Let p = y - 1/61. Is p >= -1?
True
Suppose 0 = 4*m - 11 - 53. Let c(z) be the second derivative of -z**3/6 + 9*z**2 - z. Let h be c(m). Which is smaller: 0 or h?
0
Let o be 8 + (6/(-9) - (-12)/18). Which is greater: o or 2?
o
Suppose 0 = 3*x - 5*w + 2, -11*w + 7*w = 5*x - 9. Which is bigger: -16/15 or x?
x
Let f = -3 - 2. Suppose 284 = 3*x - 2*d, -3*d - 305 = -4*x + 72. Let o = 93 - x. Is f bigger than o?
False
Let b = 27.09 + -26.8. Is -1/6 less than or equal to b?
True
Let d = 875 + -125. Let b = -53252/71 + d. Which is greater: b or 0?
0
Let n = 682 - 682.7015. Let t = 38.5085 - n. Let a = t + -39. Is 1/3 at most a?
False
Let y = 789 + -1102. Which is smaller: y or 2/5?
y
Suppose 4*l + 3*x - 63 = -0*x, 2*l - x - 29 = 0. Suppose 0*j - 15 = -l*j. Suppose f + u + 7 = -3*u, -3*u - 6 = 0. Does f = j?
True
Let r be ((-2)/(-10))/(-4*3/12). Which is smaller: 21 or r?
r
Let t = -5 + 3.68. Let l = t + -0.28. Which is smaller: -2 or l?
-2
Suppose 3*l = -l + 16. Suppose 0 = -8*g + 4*g. Suppose -4*y + l = 4*t - g*t, -2*y + 4*t = 4. Which is greater: -7/6 or y?
y
Let u = 0.198 + -4.408. Let d = u + 0.21. Suppose 3*p = -0*p. Does d = p?
False
Let u = 85/2128 + -3/112. Are u and 2 non-equal?
True
Suppose -o - o = 0. Let h = -5.09037 + 0.09037. Which is smaller: h or o?
h
Let a = -1388 - -49981/36. Which is bigger: -1 or a?
a
Let q = 19 + -176. Is -157 <= q?
True
Let f be (-6)/(-9) - 1/(-3). Let l(p) = p**2 - 2*p + 3. Let a(z) = -z**2 - 11*z + 2. Let o be a(-11). Let s be l(o). Is f <= s?
True
Let o = -201 - -125. Is -76 at least as big as o?
True
Let k(s) = -s**3 - 8*s**2 - s + 4. Let n be k(-8). Let q be (16/n)/((-2)/(-3)). Is q at least 8?
False
Suppose -1 = -5*h + 6*h. Let g = -16655/11 - -1513. Does g = h?
False
Let a = -26 + -123. Is 0.1 greater than or equal to a?
True
Let h(d) = -d**3 - 9*d**2 + 2*d + 10. Let g be (-303)/33 + 4/22. Let o be h(g). Is -4 bigger than o?
True
Let b = 111/4 - 1895/68. Suppose 5*c + 7 - 22 = 0. Let j = -3 + c. Which is smaller: j or b?
b
Let r = 7 - 5. Let i be 135/36 - 9*(-4)/(-12). Is r less than i?
False
Let g = 2018 - 1696. Is g smaller than -1/3?
False
Let c = -1009 - -967. Is -47 less than or equal to c?
True
Suppose 13*k + 42*k - 55 = 0. Let o = -0.12 - -0.02. Let r = -0.3 - o. Which is greater: r or k?
k
Let s = -1952/5 + 390. Suppose 0 = 3*w - 4*c - 16, 4*w + 4*c + 5 = -11. Let a(l) = l**3 - l**2 + l. Let d be a(w). Which is bigger: s or d?
d
Suppose 0 = 3*h + 2*h. Let f be 1 + -3 - (3 - 56/12). Is f smaller than h?
True
Suppose -2*c = -0*c - 5*c. Suppose 3*i - 10*i - 56 = c. Which is smaller: i or -2?
i
Let v = 308 + -311. Are v and 3.5 nonequal?
True
Let o(q) = -19*q**3 + q. Let s be o(-1). Let m(g) = -3*g**3 - 10*g**2 - 13*g + 11. Let w be m(-2). Which is greater: s or w?
w
Let y = -95 + 95. Suppose y = -4*c - 9 + 5. Which is bigger: 2/1