 - 67*z + 3 = 0. Let n be 16 - (144/8)/z. Suppose -4*o = 3*t - 0*t - 92, 3*t = 0. Does n = o?
False
Let k = -7564/27 - -280. Let q(x) = x**2 + 10*x - 22. Let u(a) = -a**2 - 9*a + 23. Let d(o) = 7*q(o) + 6*u(o). Let r be d(-17). Which is bigger: r or k?
r
Let b be (-13 + (-1011)/(-75))/((-3)/(180/1084)). Are 0 and b non-equal?
True
Let k = 30 + -111. Let y = k - -85. Suppose 5*v - 171 = y*f, -5*f = 3*v - 121 + 11. Which is bigger: 37 or v?
37
Suppose 3*l - 20 = 4*q, 2*l + 4 = 2*q + 12. Let m(h) = -5*h + 3*h + 9 + h. Let g be m(q). Is g greater than or equal to 17?
True
Suppose -36*r - 232 - 312 = 572. Let k be -28*(-2)/6*-3. Which is smaller: r or k?
r
Let b be 10 + 215/(-20) - 1/4. Let q be (-5)/(255/9)*b. Let u = -17 - -20. Is u >= q?
True
Let s = -29 - -32. Suppose -s*d - d = -64. Suppose 15*h = d*h - 9. Are 8 and h equal?
False
Let x = -0.388 - -0.905. Let o = 0.093 + x. Let s = o - 0.51. Which is smaller: 47 or s?
s
Suppose 39 = 3*s + 3*y, 2*s - 3*y = -4*y + 21. Suppose 0 = 7*o - s*o - 160. Which is greater: -159 or o?
-159
Suppose 20*x + 18921 = -x. Is -899 < x?
False
Suppose -5*z + 6*t + 325 = 5*t, t = -5*z + 325. Let i = -58 + z. Which is greater: i or 6?
i
Let v = 540 - 540.0526. Let m = 6.9474 - v. Which is bigger: m or 6.1?
m
Suppose -4682 = 14*y - 2666. Which is bigger: -8 or y?
-8
Let k be (2/8 - 1)*(-210)/189. Let w(s) = -s**2 + 10*s + 3. Let r be (-7 - -8) + (8 - -1). Let l be w(r). Which is greater: k or l?
l
Suppose -3*l + 1563 + 1624 = 5*p, 20 = 4*p. Let z = l - 41110/39. Is -1 < z?
True
Let v = -505.2 + -328.8. Is 3 greater than v?
True
Let d be 1/18*-386 - -4. Let g be (-474)/135 - (-1 - 6/(-10)). Let z = g - d. Is z greater than 13?
True
Let b = -4710 - -4708. Is b at least 1/4?
False
Let w = 221 - 418. Let l = w - -197.1. Which is smaller: l or -16?
-16
Let h be (13/910)/((-132)/60 + 2). Let w be -1 + (1 - 0) - 7. Let q be (-2)/(-7) - (-2)/w. Which is smaller: h or q?
h
Let d be ((-12)/(-6) - (1 + 1))/(-2). Let z be d/(-6)*-1 - 4/(-1). Suppose 0 = -5*q + z*q - 4*o - 9, 0 = 4*o + 20. Which is smaller: 61/6 or q?
61/6
Suppose 0 = -2*f - a + 21, 5*f - 10*a - 20 = -6*a. Let j be f/(-9) + 1 + 33/33. Is j at most as big as -6?
False
Suppose 0 = -h + 4*v + 654, -v - 16 = -5*v. Suppose -h - 180 = 17*w. Is w smaller than -49?
True
Let t(n) = n**3 - 5*n**2 - 6*n + 7. Let h be t(5). Let f be 2800/(-126) + 87/27 + -3. Do h and f have the same value?
False
Let y = 805 + -805. Suppose -28*b + 593 - 201 = y. Is b at most -6?
False
Suppose -390 = 4*z - 850. Suppose 5*l = 2*l + 2*o + 74, -5*l + z = -5*o. Which is smaller: l or -1?
-1
Let w = 3/1105 + -308/144755. Which is greater: w or 1?
1
Let p = -770.8 + 771. Is p at most as big as 321.3?
True
Suppose -5*s = -v - 342, 2*s = -49*v + 52*v + 142. Let m(b) = -b**2 + 69. Let d be m(0). Is s greater than d?
False
Let d be 4 + (-5 - 0 - -71). Suppose -816 = -4*t + 5*g, 3*t + d*g = 65*g + 612. Is 204 bigger than t?
False
Suppose q - 280 = -5*g - 108, -5*g - 2*q + 169 = 0. Suppose 192 = 3*b - 4*j, 0 = b + 5*j - g - 29. Are 65 and b nonequal?
True
Let d(p) = -2*p + 12. Let n be d(12). Let t be 1/n*(168/(-18) + 4). Let s(z) = -3*z + 8. Let b be s(3). Which is smaller: t or b?
b
Suppose -5*j - 2*n = -60, -3*j - n + 36 = -2*n. Suppose 525*h - 519*h = 84. Are h and j non-equal?
True
Let w = 667.78 - -3.32. Let l = w + -660. Is l less than or equal to 0?
False
Suppose 52*t = 5*t - 94. Suppose 2*u = -3*u + 2560. Let n be t/(-3) + u/(-48). Which is smaller: n or -9?
n
Let s = 645 + -132. Let f = 859 - s. Which is smaller: 1 or f?
1
Let c(j) = -4*j + 10. Let s be c(5). Let h be (0 + 2)*s/(-4). Let g = 4 - 4. Which is bigger: h or g?
h
Suppose 2*r = 9*i - 8*i + 2, 0 = i - 26*r + 26. Which is smaller: -15/443 or i?
-15/443
Suppose 0 = -261*w - 70945 - 226595. Which is bigger: w or -2/11?
-2/11
Suppose -936 = 94*x - 22*x. Suppose -5*s = 3*y + 440, 4*y + 392 = -3*s - 202. Let z be (y/(-7))/((-21)/14). Is z at most as big as x?
True
Suppose 428*n + 42 = 435*n. Which is smaller: n or 228/37?
n
Let v be (-78)/(-2) + (-28)/(-7). Let i be (1 + v)*2/(-12)*33. Let s = -2417/10 - i. Which is bigger: s or 0?
s
Let o = -131 - -159. Suppose -2*a - 28 = -a. Let d = o + a. Is 5/14 greater than d?
True
Suppose 0 = -2*h + 2 + 2. Suppose -2*p + 3*y + h = 0, 2*p - 5*y = 5 + 1. Suppose 3*t + 0 + 3 = 0. Which is smaller: p or t?
p
Let x(y) = y**2 - 12*y + 3. Let j be x(6). Let f = 74 - 20. Let r = -54 + f. Which is smaller: r or j?
j
Let o be 1 - 0 - (-19 + 16) - -81. Let h = -116 + o. Let k = h - -24. Is -6 at most as big as k?
False
Let p = 0.586 - 129.586. Is 2/9 bigger than p?
True
Let k = -3/309551 - 432782997/28141. Let o = k + 15366. Which is smaller: o or -14?
-14
Let o = -716 + 654.4. Let u = o + 62.6. Which is smaller: -179/4 or u?
-179/4
Let v = -0.4 - -0.3. Let t be ((-55)/22)/(504/(-96)). Which is greater: t or v?
t
Let z be ((-44)/2)/((-4)/2). Suppose -469 = -149*f + 1750 - 133. Which is smaller: f or z?
z
Suppose 2*m + 1 = -m + 4*o, 4*o + 4 = 4*m. Let u(t) = -2*t**2 - 3*t - 5. Let f be u(m). Let r be 6/14 - 40/f. Which is greater: 1/3 or r?
r
Suppose -111 = 131*x - 132*x + 2*k, 0 = 6*x + 3*k - 606. Which is greater: x or 114?
114
Suppose -3*v - 5*j + 45 - 6 = 0, 0 = -5*j + 15. Let b be (-60)/18*(-36)/v. Do 12 and b have different values?
True
Suppose -x - 3*x = c - 7, -2*x = 2*c - 32. Suppose -2*f + c = -3. Let t = 13 + f. Is t at most -1/3?
False
Let u = 11723 - 5167. Which is bigger: 6555 or u?
u
Let b be 99671/132804 - (-6)/(-8). Which is smaller: 1 or b?
b
Let n be 4/14 - 228/(-133). Suppose 0 = -l - 0*l + 4, n*y + 30 = l. Let b be -2 + 2 + -1 - 13. Is b less than y?
True
Let j(n) = -n**3 + 63*n + 7. Let k be j(8). Does 2/2955 = k?
False
Suppose -19*n + 21*n - 8 = 0. Let z = -10 - n. Let b = -14 - z. Is b bigger than 3/14?
False
Let h = 95680195/54516 - 21061/12. Which is greater: -1 or h?
h
Suppose 5*g + 2*a = -2838, -5*g - 4*a + 572 = -6*g. Let d = -567 - g. Is 7/16 not equal to d?
True
Let m = -118.32 - -118.42. Which is smaller: m or -6/593?
-6/593
Suppose -397*r + 150822 = -435*r. Is -3970 less than r?
True
Let q(i) = -i**2 + 23*i. Let d be q(10). Let a be 4/(16/d)*42/35. Let p = 37 - a. Which is smaller: 33 or p?
p
Let p = -20167 - -225204891/11167. Is p at least as big as 0?
True
Let b(d) = 14 + 187*d - 348*d + 193*d. Let c be b(8). Suppose 8*t = -t - c. Which is greater: 2/7 or t?
2/7
Let n = 5.1 + -7. Let m = 3.15 + -114.15. Let v = -112 - m. Which is greater: v or n?
v
Let q be (-2 + (-6)/(-4))*18. Let j be ((-103782)/6918 - q) + 6. Which is bigger: j or 0?
0
Let j(c) = -124*c - 395. Let a be j(-3). Let n = -621 + 1275. Let p be n/(-27) + (-4)/(-18). Which is smaller: a or p?
p
Let t be 3 + -1 + 74 + 32 + -24. Which is bigger: 88 or t?
88
Let f = -1171 - 4730. Are f and -5901 equal?
True
Let u(g) = -g**3 + 12*g**2 - 3*g - 8. Let t be u(11). Suppose -435 = 83*k - t*k. Which is smaller: -143 or k?
k
Let f = 0.202 + -0.014. Let v = f - -2.712. Is v less than 1?
False
Let f(a) = a**2 - 8*a + 3. Let k be f(3). Let h be 3/k + 2/8. Let i = 187394/13 + -14415. Do i and h have different values?
True
Let z = 224 - 1124/5. Let x = 309.984 - 311.684. Which is greater: z or x?
z
Let x = 10.84 - 500.84. Let n = x - -489. Which is smaller: n or -2/3?
n
Let i = 2.76 - 128.76. Let b = i + 126.1. Which is bigger: 86 or b?
86
Suppose 3*y - 296 = -2039. Which is smaller: -572 or y?
y
Suppose 11*r - 168 = 14*r. Let m = -331 - r. Let z be 2 + 1 - m/(-95). Are z and -2/9 equal?
False
Let b = -52 - -49. Let o be ((-106)/(-4))/(3/(-2))*b. Let y = -57 + o. Which is smaller: -5/2 or y?
y
Let o(g) = g**2 + 58*g - 960. Let y be o(15). Let w = -294 + 428. Is w bigger than y?
False
Let t = 0.0561 - -3.3239. Is 1.6 not equal to t?
True
Let c = 0.62 + 0.28. Let i = c + -0.47. Let k = 0.83 - i. Are k and 1 non-equal?
True
Let z = 114.96 - 114. Let m = z - -1.04. Are m and 6 equal?
False
Suppose -86*x = -165*x + 81*x - 48. Let t(y) = 2*y**2 + 1. Let k be t(-2). Suppose x = s - k*s. Which is greater: 19 or s?
19
Let a be (-3 - -2)/(3/71). Let g = 1637/69 + a. Let k = -3 + 2. Which is greater: g or k?
g
Suppose -5*m = 0, m + 2*m + 3 - 10 = -r. Which is bigger: r or -1546?
r
Let m(a) = -a**2 + 44*a + 17. Let g be m(41). Let y be (