 4/(-6)*-3*-4. Let p(i) = -i**2 + 8*i - 1. Let d be p(9). Let n be 4/(-4 - 36/d). Is n greater than or equal to q?
False
Suppose -5*f = 4*l + 11 + 26, 0 = 2*f + 10. Suppose -38 = -4*x + 14. Suppose -x + 17 = -4*y. Is y != l?
True
Let d be -3 + (-4 + 8 - 1). Suppose -3*q - 10 - 8 = d. Is -4 bigger than q?
True
Let v be (-7)/(-77)*0 - (-1)/(-1). Is v > 4?
False
Let g be 79/7 + 2/(-7). Let k(z) = -z**3 + 427 + 12*z**2 - 3*z - 448 - 5*z. Let l be k(11). Which is smaller: g or l?
g
Let q be -1 - 180/(-156) - 100/(-26). Let n be 0 - -6 - 2 - 1. Suppose -2*l + n*x + 15 = 0, 3*l + 0*l = x + 12. Is q equal to l?
False
Let d = -4213 + 54737/13. Let q = -28/13 - d. Let b = -3/52 + q. Which is smaller: b or 2/11?
2/11
Let w be -15 + 29 + (-20)/4. Let y = -2395 + 12026/5. Is w > y?
False
Suppose 3*v = -2*v + 95. Let z(x) = -x**2 - 12*x - 11. Let o be z(-11). Suppose -3*u + 47 = -5*d, 4*d - 1 - 7 = o. Does u = v?
True
Suppose 76 = 3*t + 4*n, 4*t + n - 75 - 48 = 0. Which is greater: t or 28?
t
Let y = 0.2087 - -0.7913. Which is greater: y or 2/531?
y
Let s = -0.46 + 0.405. Let p = s + 4.055. Which is smaller: -3 or p?
-3
Let f be 35736/132 - (2 - -1). Let i = f + -265. Does 2 = i?
False
Suppose -34 + 4 = -5*l. Suppose -s - c + 23 = -l*s, 4*c = -5*s - 8. Is s not equal to -4?
False
Let f(t) = -37*t - 1402. Let g be f(-38). Let n = -607 + 3058/5. Which is smaller: g or n?
g
Let v = -0.221 - 0.779. Are v and 1/29 equal?
False
Let d be (4*-14)/(8 + -7). Let f be (-7)/d - (-1)/(-2). Is f bigger than -0.2?
False
Let q be 1*((-12)/(-42) + (-9825)/(-35)). Which is smaller: q or 280?
280
Suppose -6*v - 49 + 139 = 0. Let i be (3/v)/(3/105). Which is greater: 4 or i?
i
Suppose -i = 14*m - 12*m - 204, 5*i - 2*m - 960 = 0. Is 195 <= i?
False
Let h = 28 - 26. Suppose -3*z + 2*z = -h. Let u be ((-10)/66)/((-2)/12). Which is greater: u or z?
z
Let y be 3/((1 - 4) + 4). Suppose -5*t = -5*q - 35, -5 = q - 6*q - y*t. Let j = 17 - 25. Which is smaller: q or j?
j
Let m = -3 + -5. Let k(s) = -s**2 - 10*s + 81. Let h be k(5). Let z = m + h. Is z >= 3?
False
Suppose 0 = 10*p - 5*p + 40. Is -4 less than p?
False
Suppose 2*x - 31 - 22 = -5*r, -r + 75 = 5*x. Suppose 2 = h - 11. Let u = h - x. Which is smaller: -1/6 or u?
u
Let w = 0 + -1. Let k = -26 + 24. Let j be (13/(-26))/(k/2). Which is bigger: j or w?
j
Let l be 4/((0 - 0) + 2). Let m = 266 - 263. Which is smaller: l or m?
l
Suppose -3*y - 4*d + 7 = 0, 3*y = -d + 1 + 12. Suppose -y*w = -4*c - 3*w - 10, 4*w = c + 13. Which is smaller: c or 1/3?
c
Let n be ((-12)/(-2))/6*(1 + -6). Is n not equal to -54/11?
True
Let o = -101.9 + 86. Let p = o + 27. Let l = 11 - p. Is l != -10?
True
Let a = -225 - -255.1. Let t = a - 30. Which is bigger: t or 0.2?
0.2
Let h be (-2)/(-8)*16/34. Let y = 74 + -50. Suppose 0 = y*j - 22*j. Does h = j?
False
Let u = -160 - -67. Let r be 2228/2*2/24. Let n = u + r. Which is smaller: -1 or n?
-1
Suppose -2*c + 8 = 2*c. Suppose -c*b + 3*b + 1 = 0. Let h be -1 + (-8)/5 - -1. Which is smaller: h or b?
h
Let r = -1136 + 1136. Which is smaller: -3/215 or r?
-3/215
Suppose 7*s + 109 = 32. Let f(q) = 4*q + 36. Let u be f(s). Which is greater: u or -9?
u
Let b = 5088/7 - 86502/119. Are -1 and b unequal?
True
Suppose 6 = 3*f + 5*z + 2, 0 = -5*z - 5. Suppose 0 = -h + 4*x + f, 4*h + 3*x + 0 = -7. Is h at least 2?
False
Let k = 4 - 1. Suppose -l - 5 = -5*s + 1, -l - 4 = -k*s. Let d be (-5)/(2 + l) + 1. Which is smaller: -5 or d?
-5
Let r(o) = -8*o**3 - 5*o**2 + 9*o. Let a be r(2). Does -65 = a?
False
Suppose -5*k + 5*s - 75 = 0, -4*k + 4*s = k + 72. Let t be (0 + -3)/(3/4) + -7. Does k = t?
False
Let s be ((-2)/(-6))/(-3 + 2). Let x = 412.1 + -411. Which is smaller: s or x?
s
Let s = 732 + -732. Which is bigger: s or 540?
540
Let w = 160 + -118. Which is smaller: w or -3?
-3
Let y = -137 - -269. Let d = -127 + y. Are d and 1 equal?
False
Suppose 3*a + a - 16 = 2*g, 2*a = -4*g + 8. Suppose -6*y = -4*y - 3*m + 4, y - m = -1. Let s = y - g. Are 1/3 and s equal?
False
Suppose -q - 10 + 55 = 0. Let b be q/(-10) - (-2)/4. Is -5 less than b?
True
Let b = 532 + -523. Which is smaller: -0.12 or b?
-0.12
Let c be (-10)/(-75) + 17/(-15). Let d be c*(4 + 3 + 0). Let i = 12 + -20. Which is bigger: i or d?
d
Let z = -10567 - -10556431/999. Is z at least as big as 0?
False
Suppose -3*p = -4*p - p. Let u be (p/(-5))/(0 - 1). Which is smaller: u or -4/3?
-4/3
Let f(m) = m + 5. Let k be f(6). Let w = k + -7. Let g(o) = o**3 + 11*o**2 - 27*o - 10. Let r be g(-13). Do w and r have the same value?
False
Let c be 4 + 0 - (3 - -15). Let j = c - -36. Which is bigger: 21 or j?
j
Let s be 2/(-4)*(2 - 0). Let a(x) = -35*x**3 - x**2 + x - 1. Let k be a(1). Let l be (3/k)/((-6)/27). Is s > l?
False
Let p = 121 - 119.63. Let r = p + -1.27. Which is smaller: -0.01 or r?
-0.01
Let d = 0.92 + 8.2. Let w = -0.12 + d. Let u = w - 8. Which is greater: u or 5?
5
Suppose -3*n = 12, -3*b - 20 = -b + 5*n. Let a be ((-16)/(-23) + b)*18/(-36). Is 0 >= a?
True
Suppose 3*d - 11 = w, -d + 3*d + 2 = 3*w. Suppose 16 - w = -6*l. Which is smaller: l or -3?
-3
Let q be 2/7 - (-626)/14. Suppose 5*y - 4*a = 210, 69*y - 64*y = a + 225. Which is greater: y or q?
y
Let t be (2/(-2) - (-560)/180) + -2. Suppose -5 = -0*m + m. Let c = m + 4. Are t and c non-equal?
True
Let l = 1.98 + -1.58. Let u = 65/4 + -16. Which is bigger: u or l?
l
Suppose 2*c + 4*r - 38 = 0, -3*c - 3*r + 20 + 40 = 0. Suppose 2*n + 18 = -i + 4, c = -3*n + i. Which is smaller: n or -8?
-8
Let i = -4 + 3. Let w = 82281/28 - 2939. Let u = w + 8/7. Is i at most as big as u?
True
Let h = -134/13 + 523/52. Which is smaller: -5/64 or h?
h
Let u = -28.3 - -28.2. Which is smaller: u or -567?
-567
Let l = -14508 - -13229.76. Let d = 1251 + l. Let t = d - -27. Is t equal to -1?
False
Let b = -6.831 - -1.354. Let f = 0.023 - b. Is 1 greater than f?
False
Let x = 3.53 + 1.45. Let m = 4.8 - x. Which is smaller: m or 1?
m
Suppose 5*n - 5220 = -40*n. Is n bigger than 116?
False
Let m = -34010/2616879 + -4/5961. Is m greater than 0?
False
Let d(v) = 7*v**2 + v - 3. Let b be ((-6)/5)/((-2)/(-10)). Let z(u) = -6*u**2 - u + 3. Let g(w) = b*z(w) - 5*d(w). Let n be g(-3). Which is smaller: 4 or n?
n
Let x(w) = w**2 + 11*w - 55. Let r = -150 + 156. Let n be x(r). Is n at least 48?
False
Let b = -85412/65 + 1314. Is 0 at least as big as b?
True
Let b = 4 - 3. Let u be (-6)/8 + ((-44)/16 - -4). Let j = -1/3 + u. Is j less than b?
True
Let p be (-9)/96*(-12)/(-27)*-7. Which is smaller: -1 or p?
-1
Let z = 3 + -3. Let m = 2 - z. Suppose m*o - 20 = -5*y - 3*o, 0 = -3*y + 2*o - 8. Is y greater than -3/17?
True
Let w = 2.2 - -1.8. Let t = -3.96 + w. Let g = -3 - -2.9. Is g <= t?
True
Let g = 0.3 + -6.3. Let x = -7.438 - -1.428. Let u = x - g. Are u and -0.1 unequal?
True
Let s(j) = j**2 + j - 1. Let m(i) = -3*i**2 - 14*i - 16. Let w(p) = m(p) + 2*s(p). Let x be w(-10). Let o be (-3)/(1 + x) - -6. Do o and 6 have the same value?
False
Let v = 1/6378 + -19555/2685138. Are 1 and v nonequal?
True
Let l(n) = -3*n**3 + 17*n**2 + 5*n - 1. Let k be l(6). Let c = 6 + k. Is -5/14 at most as big as c?
False
Suppose w + 4*w = 0. Let g be 22/(-14) + 2 - 2. Let l = 76/35 + g. Which is bigger: w or l?
l
Let v(y) = y**3 + 6*y**2 + 10*y + 2. Suppose -5*f - 45 = -5*c, -c = -3*f - 6*c + 13. Let i be v(f). Which is smaller: -7 or i?
-7
Let a = 6 - 3. Let m = -408123/5 + 80864. Let d = -758 - m. Which is smaller: d or a?
d
Let k be (-3 - (-133)/49)/((-135)/(-21)). Which is bigger: 2 or k?
2
Let g = 0.142 + -0.2. Let w = 0.258 + g. Let z(u) = u**2 - u - 2. Let y be z(0). Is w smaller than y?
False
Let n = -69/7 + 81/7. Is n > 1?
True
Let z(a) = a**2 - 11*a + 9. Let k be z(10). Let w(t) = t + 3. Let j be w(k). Which is smaller: j or 7/10?
7/10
Let l = -1687 - -1546. Is -5 <= l?
False
Let b = 712 + -682. Which is bigger: 35 or b?
35
Let o = 4/3 - 155/24. Let v = o + 1861/360. Which is smaller: -1 or v?
-1
Suppose -865*r - 1532 = -861*r. Which is greater: -384 or r?
r
Let d = -289 - -289. Is 25 bigger than d?
True
Let j be (-52)/(-72) + (-3)/6. Let p(u) = u**2 - 5*u - 1. Suppose 2*y + 2*z + 11 = 31, 2*z - 10 = 0. Let b be p(y). Is j equal to b?
False
Let n(b) = -2*b**2 + 26*b - 90. Let c be n(7). Is c not equal to -63/13?
True
Suppose z + 12 = -c - 3*z,