q**3 + 43*q**3 + q**2 - 8 + 11*q**2. Let o be i(-13). Suppose 2*z + 2*r = 3*z - 7, 0 = 2*z + 4*r - 6. Are z and o equal?
True
Let v = 13 - -13. Suppose 4*j + 0*b = 2*b + v, 0 = -4*j - 4*b - 4. Which is smaller: 30/7 or j?
j
Let h be (-1)/1 - (-7)/70*14. Is h greater than or equal to -15/8?
True
Let i = -12 + 12. Suppose 5*n + 2*b - 20 = i, -5*n + 35 = 5*b - 0*b. Suppose -4*o = -0*o - 4*x - 16, -n*x = -o + 5. Is o greater than or equal to 2?
True
Let f = 46 + -44. Is -2 <= f?
True
Let v(h) = -h**2 + 11*h - 22. Let y be v(14). Let g = y - -63. Is g less than or equal to 1/54?
True
Let t = 13 + -14. Suppose 0*q - 3*q = 51. Let s = 155/9 + q. Is t less than s?
True
Let n be 2912/160*(-6)/(-21). Which is smaller: n or 6?
n
Let t = 1646 - 1792. Is -146 equal to t?
True
Let g be 2/(-39)*(-6 + 3). Suppose -7*j + 8*j = 5. Suppose 17*d = 12*d + j. Is g greater than d?
False
Let o = 2061 + -1877. Which is smaller: o or -2?
-2
Let b = 340 + -361.1. Let d = 20 + b. Let m be ((-1)/(-2))/((-3)/(-2)). Which is smaller: d or m?
d
Let z be ((-20)/25)/((-2)/15). Suppose a = z*a. Are a and 0 unequal?
False
Let s be ((-4)/42)/((-1)/3). Let v = 22.031 - 0.031. Let k = -19 + v. Is s greater than k?
False
Let l = -1909/205964 - -2/1661. Is 1 <= l?
False
Let i = -0.0783 - 0.9217. Which is bigger: i or 6/17?
6/17
Let s be 2919/120 - (-1)/(-5). Let o = 7137/296 - s. Let k = o + 169/1554. Is k at least 1?
False
Let v be (-72)/261*(-2)/8. Let b be 6/(-4)*-2 - (-2)/(-1). Which is smaller: v or b?
v
Let y = -1700/7227 - -26/99. Do y and -1 have the same value?
False
Let v(j) = -j**3 + 2*j**2 + 10*j - 6. Let y(o) = o**3 - 5*o**2 + 4. Let p be y(5). Let g be v(p). Let n be 0 - (4 - g)/(-2). Is -4/11 != n?
True
Let g(q) = q**3 + 3*q**2 + 4*q + 3. Let x be g(-3). Let b = x + -70. Let l = -51 - b. Is 29 greater than l?
True
Let o be 6/(-4)*8/(-12). Let x be 2/(13*(-2)/1784). Let p = 137 + x. Which is smaller: o or p?
p
Let z = 21.9 + -34.9. Which is smaller: 1/3 or z?
z
Suppose 3*o - 11*i + 12*i = -8, 0 = -2*o - i - 7. Which is smaller: 1/1290 or o?
o
Let h = -0.27 - -136.27. Let k = h + -151. Is k equal to 1?
False
Let q = 77 + -78. Is 1/19 bigger than q?
True
Let h = -114 - -113.8. Let n be (((-3)/2)/(-3))/1. Which is smaller: h or n?
h
Let p(c) = -16*c**3 + c**2. Let w be p(-1). Suppose -3*q + 18 = -3*y - 2*y, 5*y - 2*q + w = 0. Let l = y - -4. Do -1/5 and l have different values?
True
Let v be 1/(-6 + (-15831)/(-2637)). Which is smaller: v or 296?
v
Let b(r) = r**3 + 7*r**2 + 6*r + 4. Let d be b(-4). Let x = d + -20. Is -1 not equal to x?
True
Let x = 5 - 11. Let c = 55 - 51. Let m be (c/42)/(x/(-18)). Which is bigger: m or -5?
m
Let m be ((-8)/(-54))/(20/(-210)*-1). Which is smaller: 9 or m?
m
Suppose 5*g + 12 = 4*g. Let v(u) = u**2 - 7*u - 4. Let y be v(7). Let b = g - y. Which is smaller: -7 or b?
b
Let f be 2 - (-28)/6*340/(-714). Which is smaller: -28.6 or f?
-28.6
Suppose -63*i + 67*i = -4. Is i less than -7/18?
True
Let y be (-24)/(-18) - (-170)/3. Suppose -4*q + 2 = y. Let u be (-5 - -1) + 7 - q. Is 17 >= u?
True
Let z(q) = -8*q**2 - 120*q - 4. Let s be z(-16). Which is smaller: -130 or s?
s
Suppose -2*k + 5*k = 0. Let r be -5 - (-6 + 320/316). Which is bigger: k or r?
k
Suppose i + 5 = -3*x, 48 = 5*i - 5*x + 13. Let l be 1 - ((i - 3) + -3). Is l equal to 10/3?
False
Let f = -0.1753 + 3.1753. Is f equal to -25.7?
False
Let n(o) = -o - 12. Let z(t) = -t**2 + 4*t - 11. Let d be z(5). Let b be n(d). Suppose -f + 4*r = 17, f + 3*r + r - 23 = 0. Which is smaller: f or b?
f
Let m = -205/8 + 5149/200. Is 0 greater than or equal to m?
False
Let q be ((-32)/(-1680)*-1212)/(4/10). Which is smaller: q or -59?
-59
Let m = 3 + -7/2. Is -2 > m?
False
Let f = -66 - -71. Suppose f*r + y = -4*y + 460, 5*r - 432 = 2*y. Is 88 at least r?
True
Let j = -4342 + 4370.09. Let a = j + -28. Are a and -2/13 unequal?
True
Let z = -12 + 1. Let q(c) = c**2 + 3*c - 53. Let p be q(z). Is 37 less than p?
False
Let y = 106/3 - 36. Let s = -17 - -16.74. Let u = 0.04 - s. Is u >= y?
True
Suppose -p + 0*p = -3. Suppose -5*m = 3*d - 18 - 6, 0 = -m + 3. Suppose -5*l - 2*n = -24, -5*n - d = -4*l + 3. Are p and l equal?
False
Let a be 172*(-1 + 0/7). Do -345/2 and a have different values?
True
Let h be (-15)/(-2)*2/3. Let b be (-10)/(-16)*h/(-25). Let v = 112 + -113. Which is smaller: b or v?
v
Let h be (1/6)/(2369/(-46)). Which is smaller: h or 0?
h
Let f = 16977/7 - 2425. Which is greater: 7 or f?
7
Let d be (-10)/(130/117) - 511. Are d and -519 equal?
False
Let k = 14 - 14.3. Let u = -1.23 + -0.07. Let h = u - k. Is -1/4 at most h?
False
Let g = 246.4 + -214. Let y = g - -0.6. Which is smaller: 1 or y?
1
Suppose 15*c - 14*c = -3. Let h(n) = -3*n - 9. Let q be h(c). Is q < 3/20?
True
Let c(g) = -g**2 + 5*g - 7. Let o be c(3). Let x be ((-15)/25)/(o/(2/(-3))). Suppose 4*b - 2 - 2 = 0. Are x and b equal?
False
Suppose -7*c = 4*c - 913. Which is smaller: c or 85?
c
Let x = -13 - -14. Let n be (30/14)/3 - 1. Is n not equal to x?
True
Let w be (-3 - (-85)/35)/((-270)/(-7875)). Let b be -18 - (-1)/(1 + 0). Which is greater: b or w?
w
Let l = -28.1 + 29. Let h = l - 1. Is -5 > h?
False
Let x = -46/13 - -3233/910. Is -1/3 at most as big as x?
True
Let w be 39/13 + 21666/(-7230). Which is smaller: -1 or w?
-1
Let i be -14*1*(-12)/24. Which is smaller: 4 or i?
4
Let s(b) = b**3 + 10*b**2 - b - 9. Let u be s(-10). Let z = 88/455 - -4/35. Which is smaller: u or z?
z
Let h = -65.9 + 65.9. Is -2.5 at most as big as h?
True
Let f be 81/(-84) - (-15)/10. Let v = f - 2/7. Let i = -0.1 - -0.1. Which is smaller: i or v?
i
Let n = 11274 + -225427/20. Is n at most as big as 4?
True
Let x(g) = g**3 + 2*g**2 + 2*g + 12. Let u be x(-4). Is -28 < u?
False
Let j be (-36 + 32)*(194/(-4))/(-1). Is j equal to 1?
False
Suppose 9 = -w - 4*s, -3*s + 8*s + 34 = 2*w. Suppose w*o - 14*o - 7 = 0. Which is smaller: o or 1/3?
o
Suppose 2 + 2 = -k, k + 1 = 3*s. Let d be 1/6 - 1780/(-120). Let z = -12 + d. Which is smaller: s or z?
s
Suppose -5*t + 16 = -t, 3*g = 5*t - 35. Let k = -3 - g. Is k equal to 2?
True
Let w = 20493/5 + -4090. Let h = -6 + 15. Is h <= w?
False
Let w be (5/(-2))/(3/(-6)). Let t be (3/w)/(((-4)/(-5))/(-2)). Which is smaller: 3 or t?
t
Let y = -3.77 + 3.6. Let g = -9.15 + 8.85. Is g less than y?
True
Suppose 4*s + 5*r - 404 = 0, -2*s + 436 = 2*s - 3*r. Let c = s - 73. Which is smaller: 34 or c?
c
Let d be (-1 + 1/(12/64))*-3. Let n be (-4)/(-18) + (-741)/54. Which is smaller: d or n?
n
Suppose -5*f + v - 27 = 0, v = -0*f + 4*f + 22. Let k be (-2)/(-10)*90/252*f. Which is smaller: k or -1?
-1
Let c = 363 - 363.12. Which is smaller: 7 or c?
c
Let t be 3/(6/8*1). Suppose t*f - 2*f = 0. Suppose f*m + 3*m + 6 = 0. Which is smaller: m or -3?
-3
Suppose -3*a = -k + 1 - 5, k + 2*a + 4 = 0. Which is bigger: k or -27?
k
Let z be 8/(-24)*(1 - 1). Suppose 23 = -3*x + 56. Suppose z*l = l - x. Which is greater: 10 or l?
l
Let d be -4*(-16)/40 - 4/(-10). Let x be 3 + 0 + -1 + 4 + d. Is x greater than or equal to 36/5?
True
Let o be (5/(-2))/(2/(-12)). Let t = o - 19. Which is bigger: t or -17/6?
-17/6
Let f = 47.133 - 47. Which is smaller: f or 2/5?
f
Let i = -285 + 307. Is -4 less than i?
True
Let f = -14874/137 + 1194048/2329. Let y = f + -404. Let s(x) = x**3 + 3*x**2 - 5*x - 3. Let b be s(-4). Is b < y?
False
Let d(l) = -2*l**2 + 58*l + 60. Let g be d(-1). Which is bigger: -84 or g?
g
Let q = 248 - -266. Which is greater: q or 515?
515
Suppose 93*r - 4 = 92*r. Suppose 4*l + 22 = 2*m + l, 0 = r*m - 2*l - 44. Is 7 greater than m?
False
Let t be -7*((-1554)/(-49))/3. Is -74 at most t?
True
Suppose 0 = 5*m + 5*h + 65, -m + 2 = -2*h + 24. Which is greater: m or -13?
-13
Suppose 5*n - 20 = -5*j, -n = 14*j - 15*j - 4. Let a = -0.555 + 0.6. Is a at most as big as j?
False
Let z be 6/10 + (-11)/55. Which is greater: z or -0.21?
z
Let y(d) = 2*d**3 - 2*d**2 + 2*d + 1. Let w be y(2). Let q = w - 11. Suppose q*h - 3*k = 3*h + 5, -4 = 4*h - 4*k. Is -2 greater than or equal to h?
True
Let z = -18.73 + 35.73. Let x be (-2)/4*(-4)/(-9). Is z greater than x?
True
Let i(w) = w**3 + 9*w**2 + 9*w + 10. Suppose -4*k + 3*z - 35 = 0, -5*k - 3*z = -8*z + 45. Let g be i(k). Let n be 1*(-1 - (-4)/g). Is n smaller than -2/7?
False
Let d be (-742)/(-992) -