284 - -3019. Which is smaller: p or -270?
-270
Suppose 0 = 5*w - 929 - 416. Let o = 25 - w. Let r be 740/o + 0 - -3. Is r greater than -1?
True
Suppose -2 - 10 = 3*z. Suppose 535*f - 757*f = 1332. Is z bigger than f?
True
Suppose 8*f + 42 = 9*f. Suppose 6*g + f - 18 = 0. Let i be 4*(-4)/(32/6). Is i < g?
False
Let x = -23.8 + 25.43. Let k = x - 1.03. Which is smaller: k or 5/6?
k
Suppose 2*h + 0*h - 26 = 0. Let o be (3 - 2) + -1 + 0 + -1. Let a be 3 + -3 + (1 + -14)*o. Is h smaller than a?
False
Let y(w) = w**3 + 5*w**2 + 2*w - 9. Let l be y(-4). Let b be (3*6/234)/l. Which is smaller: 13 or b?
b
Suppose -98*q = -35*q + 440307. Which is smaller: q or -6987?
q
Let g be 4/16 - (-175)/4. Let f = -615/14 + g. Let t = 8.8 - 8.7. Is t not equal to f?
True
Suppose 32 = 4*y + 20. Let u be (-55)/(-10) - ((-27)/(-6))/y. Suppose 0*i + 4*l = i - 19, -u*l - 22 = 2*i. Which is smaller: i or -14/11?
-14/11
Suppose 0 = 30*u + 415 + 765 - 100. Which is bigger: 0 or u?
0
Let t(p) = -p**2 + p + 113. Let d = 752 - 742. Let g be t(d). Are g and 24 nonequal?
True
Suppose -2*p + 4 = -4*h, -4*p + 8*p = h - 6. Let d be 11*(84/21 + 2/h). Is d less than 34?
True
Let i = -8 - -3. Let a(x) = -5*x**3 + 11*x**2 - 36*x - 12. Let b(k) = 4*k**3 - 10*k**2 + 31*k + 12. Let o(w) = -5*a(w) - 6*b(w). Let r be o(i). Is 18 > r?
False
Let u be 185/(-448) + (-48)/(-1568)*14. Is u bigger than 11?
False
Suppose -1895*p = -1914*p - 19. Which is greater: 3/664 or p?
3/664
Suppose -413 = -2*m - 117. Let q(a) = -a**2 + 728*a - 9293. Let i be q(13). Is i not equal to m?
True
Suppose 3*t + 9 = 4*d, d = -0*d + 3. Let s be (-78)/585 - (584/345 + -2). Let x = s + -90/253. Which is smaller: x or t?
x
Let y be (18/(-33))/3 + 288/132. Suppose 1352 = -4*z - 4*g, 9*z - 353 = 10*z - y*g. Which is smaller: -342 or z?
z
Let w be (13 - 33/1) + 21. Let i be (-2)/(-408)*27/12. Which is bigger: w or i?
w
Let r = -0.1376 - 0.0185. Which is greater: -0.4 or r?
r
Let o be (-212)/(-53) - -1*1/(-1). Suppose 40 = o*g - 2*b - 56, 3*g - 90 = 4*b. Suppose -s + g = 33. Which is smaller: s or -1/12?
-1/12
Suppose -2*l - 5*r = -15, -2*l - 12 = 3*l - 4*r. Let j(d) = -23*d - 862. Let t be j(-38). Suppose -t*k - 7 - 5 = l. Is -5 less than k?
True
Suppose 442*h - 137*h + 620899 + 613741 = 0. Is -4046 not equal to h?
True
Let f = -49205 - -145882/3. Is f < -579?
False
Let t be 4/10 + (-9)/180*13. Suppose 0 = 4*y + 8, 0*v - 5*y = 5*v. Suppose -c - v = c + 5*i, 3 = -3*c + 5*i. Is t at most as big as c?
False
Let z(q) = -3*q**2 + 46*q + 2. Let i be z(15). Let t(k) = 7*k + 13 + 20 + i + 3*k. Let p be t(-5). Which is smaller: -2/21 or p?
-2/21
Let r = 656052/10021 - 12/911. Let o = r - 696/11. Suppose 0 = g - 3 - 0. Which is greater: o or g?
g
Suppose -10*r + 39 = -11. Suppose 5*q + 5*s = -25, -3*s - 8 - r = q. Let i be q + (44/52)/1. Is i smaller than -0.1?
True
Suppose 0 = -4*g + 2*g + 10. Suppose g*w = -33 + 143. Let z = -810 - -831. Which is bigger: z or w?
w
Let v = -8494 - -7723. Which is greater: -772 or v?
v
Let v(g) = -416*g - 54. Let q be v(-1). Is q at most as big as 352?
False
Suppose 290*a = 17586 + 13154. Let f be -3*1 + (-438)/(-4). Which is bigger: a or f?
f
Let t = 9827 + -9359. Which is smaller: t or 0.2?
0.2
Suppose 66*z - 125*z = 4*z. Is z at most as big as 3/4873?
True
Let t be ((-1)/3)/(8/(-48)). Suppose t = -2*h - w - 2, -3 = -3*h + 3*w. Let r(x) = x**2 - x - 1. Let s be r(h). Which is bigger: s or -3/13?
s
Let i be (-9 - -6)*(-6)/(-81). Suppose -3*j + 46 = 5*u, -4*u - 4*j = -2*j - 38. Suppose u = -10*m + 11*m. Is i less than or equal to m?
True
Suppose g - 1363 = -3*h, 2*h + 2719 = 2*g + h. Suppose 57*a - g = 41*a. Are a and 84 nonequal?
True
Suppose -2*l + 0*l = 312. Let g be (2/12)/(16/l). Let j be 2/8 - 120/96. Is g greater than or equal to j?
False
Let i be (-4 - (-8 + 0)) + (-61962)/2970. Let d = i + 26/99. Which is smaller: 2/7 or d?
d
Suppose -53*q + 1234 = -621. Which is greater: q or -7/3?
q
Let k be ((-139)/32)/((-119)/476). Which is smaller: 17 or k?
17
Suppose f = 3*i + 21, 0*f - 4*f = 2*i - 28. Suppose -f*x + 2204 = -4555. Are 752 and x nonequal?
True
Let o = 1.27644 + 0.03156. Is 0.1 >= o?
False
Let w(j) = j**3 + 10*j**2 - 3*j + 1. Suppose 7 - 16 = 3*d. Let s be w(d). Is 74 bigger than s?
True
Let g be -1*3 - 15857/(-6751). Which is bigger: g or -1?
g
Let i = -87763/10 - -8847. Which is smaller: 72 or i?
i
Suppose -5*l - 2374 = 4*b + 913, -5*l + 828 = -b. Let j = b - -822. Let r = 821 - 26277/32. Is r at most j?
False
Suppose 0 = 584*p - 586*p - 2*z + 2614, -z = 3. Which is smaller: p or 1312?
p
Let j(l) = 7*l**2 + 2*l + 44. Let c(p) = -13*p + 97. Let h be c(7). Let v be j(h). Which is smaller: 0.2 or v?
0.2
Let q = 33.4 + -6. Let g = q - 30. Let s = g - -2.4. Is 4/9 less than s?
False
Suppose -3*u - 44*d = -41*d + 8565, u + 2*d = -2859. Are -2857 and u equal?
False
Let o be (-1162746)/106200 + 1/5. Let z = -2/1475 + o. Let r = 11 + z. Which is smaller: r or 0.36?
r
Let b be (-1 - -4)/(3/(-2)). Suppose -6*o - 3*o - 648 = 0. Let q = o + 70. Is q smaller than b?
False
Let o = 203.619 - -0.381. Let k = o - 203.7. Let d = 4 - -2. Which is bigger: k or d?
d
Let k = -157 + 140. Let u be k/(-255)*1/(-6). Is u not equal to 1?
True
Let w be ((-92)/(-115))/(88/20) - 202/385. Let r be (0 - -1)*(4 - 2). Let h = r + -1. Is h equal to w?
False
Let r = -833/20 - -207/5. Which is greater: r or 5/106?
5/106
Let u = -217 + 216.829. Let m = 44.829 - u. Is 0 != m?
True
Suppose -179*p - 111882 = -38*p - 315*p. Which is smaller: 642 or p?
642
Let w = 1328/705 - 322/141. Let b = -46 + 78. Which is bigger: w or b?
b
Suppose 9*f = x + 7*f - 5, 0 = -4*x + 5*f + 14. Let v be (x/(-424))/(1 - 13/4). Which is bigger: v or -1?
v
Let x = 0.79577 + -0.19577. Which is smaller: x or -709?
-709
Suppose 0 = -5*m + 3*q + q + 8, 5*m - 5*q = 5. Suppose 4*w - m*o = -368, 3*w + o + 268 = -0*w. Let v = 448/5 + w. Which is smaller: 2/5 or v?
v
Suppose 4*g + 234 = -38. Let h be (2 - (4 + -7))/((-4)/g). Which is bigger: h or 84?
h
Let x = -0.915 - -0.875. Let w = 0.1 + -0.2. Let h = 0 - w. Is x >= h?
False
Suppose -4*b + 3*f = 493, f + 83 = -2*b - 156. Let r = 322 - 442. Which is greater: b or r?
r
Let m = -26 - -29. Suppose -6 = -m*h + 5*h - 4*p, 3*p - 9 = 0. Suppose 0 = -5*i - h*i - 456. Is i >= -57?
True
Let v = 139.6 - 127. Let u = -8.8 + v. Let s = -1.03 - -0.03. Which is smaller: s or u?
s
Suppose 6*j - 647 = 3*j + x, 194 = j + 4*x. Let d = -204 + j. Is 43 smaller than d?
False
Let m be -5*1*((-720)/(-50) + -13). Let k(j) = j**3 - j**2 - j - 1. Let b be k(3). Suppose 5*p + 16 + b = 0. Which is greater: m or p?
p
Let a = 1.4474 - 8.4474. Which is bigger: -2/247 or a?
-2/247
Suppose -4*s + 34 = 38, -2*c + s = -759. Let i = c + -379. Is -2/273 equal to i?
False
Let o be (-4 - 16/(-5))*(-17)/(-34). Which is smaller: o or 1?
o
Let k be 10/(-36)*(-41 - -40). Let y = -49 - -49. Which is greater: k or y?
k
Let k be 202184/96 + (3 + 5)/(-24). Do 2107 and k have different values?
True
Let a(w) = w**3 - 7*w**2 + 2*w + 25. Let r be a(6). Which is smaller: r or 6/4183?
6/4183
Let u be (-7175)/45 - 12/(-27). Which is greater: u or -155?
-155
Let o(x) = -187*x - 1901. Let l be o(-10). Which is bigger: l or -101?
l
Let t = 276 - 247. Suppose 37*d + 82 = -t. Which is smaller: d or 5/2?
d
Let b = -49 - 250. Is b less than -306?
False
Let z(u) = -u. Suppose 4 = 2*q - 4*d, 2*q - d = -0*d + 1. Let t be z(q). Which is greater: -1/317 or t?
t
Let u(a) = 2*a**2 + 5*a + 1. Let c be u(4). Let m = 6.87 + 1.62. Let q = m - 8.59. Is c greater than q?
True
Suppose -11*v - 112 = -3*v. Suppose 2*x = 3*x + 3. Let i be (x + 15/(-20))*4. Is v > i?
True
Suppose -4*u + 204 = 4*s, -7*s - u = -4*s - 151. Suppose 29*l - 27*l - 106 = 0. Is s > l?
False
Let b be (-26)/(-91) - 290/280. Does -71.4 = b?
False
Let s be 1431/(-12)*(-8)/3. Is s >= 0?
True
Let s be 25/(12670125/44668) + 8/(-92). Is s < 0?
False
Let d = 6222939/21230278 + 3/69154. Which is smaller: 1 or d?
d
Let k be (0 + (-12)/(-4))/(6/80). Suppose 3*y - 113 = r, -9*r - 203 = -5*y - 11*r. Is k >= y?
True
Let i = 2934 - 2751. Which is smaller: i or 180?
180
Let j = 0.88 - 0.44. Suppose 0 = -2*i - 4*g + 24, 9*g = -5*i + 14*g. Is j less than i?
True
Let x be (11/5 - 3)/(80148/30). Is 1 bigger than x?
True
Let u