er: 10 or c?
10
Suppose f - 4*q = 1857, -4*q + 1877 = -5*f + 11146. Is 1855 not equal to f?
True
Let t be (-39109)/(-45) + (-664)/747. Are 868 and t equal?
False
Suppose -8625 = 166*g - 1653. Which is bigger: -339/8 or g?
g
Let q = 27.2 + -27.3. Is -582 greater than q?
False
Let m = -63 + -206. Let w = -254 - m. Is w not equal to 14?
True
Let u(w) = -2*w. Let m be u(-1). Let g be 6/(2 + 4)*2. Suppose -46 = 2*p + g*t, 36 = -m*p + t + 5. Is p != -19?
True
Let y(w) = 1127*w + 4411. Let n be y(-6). Which is greater: n or -2349?
-2349
Let z(k) = 4*k - 15. Let d(t) = t + 1. Let x(h) = -5*d(h) - z(h). Let q(c) = c + 1. Let i(a) = 6*q(a) + x(a). Let v be i(7). Is v less than 0?
True
Let b be 4894/(-11) + (3 - 1). Let x = 444 + b. Suppose 3*w + 0*w - 2*f = 5, -2*f = w + 1. Which is bigger: w or x?
x
Let b(y) = y - 1. Suppose 0*d = 2*d - 3*d. Let u be b(d). Let x be 74 - (1 + (u - 1)). Which is bigger: x or 74?
x
Let l(y) = -y**2 + 6*y + 43. Let h be l(10). Let k be -10 + -36 + 2 + (-3)/h. Which is greater: k or -46?
k
Let l(r) = -r**3 - 5*r**2 + 5*r - 3. Let z be l(-6). Let q(k) = 7*k + 47. Let h be 128/(-22) + (-12)/66. Let d be q(h). Is z at most as big as d?
True
Let m = 60 + -105. Suppose 133 = 3*g - 29. Suppose g = -5*u - 166. Is m at most u?
True
Let s = 1177.3 + -1096. Let m = 85.3 - s. Is 15 <= m?
False
Let g = 509/5 - 102. Let d = -40 + 58. Let z = d + -19. Does g = z?
False
Let k = 22 + -10. Let c = 798.71 - 793. Let w = c + -5.81. Which is smaller: w or k?
w
Let d be 8/(-10) - 339420/(-424650). Let u = 2825/8493 - d. Let x = -0.053 + 22.053. Which is greater: u or x?
x
Suppose 1235710 = -180*a - 98*a. Is -4444 bigger than a?
True
Let z = -8 + 19. Suppose 4*a + 3 = -3*b - z, a = -5. Let l be (-1 - -2)*-1 + b - 0. Is l > 8/5?
False
Let t = 2065 - 1982.1. Let v = 79 - t. Let k = v - -35.9. Are 1 and k equal?
False
Suppose 251*a - 1120 = 279*a. Which is greater: 0.26 or a?
0.26
Suppose -5*q + q - 34 = 5*f, -16 = -4*q. Let a be (-4 - f)/(9/(-6)). Is a at most -23/5?
False
Let f = 33842 + -33898.908. Let l = f - 0.092. Let s = 51 + l. Which is smaller: -1 or s?
s
Suppose 0*z = 2*m - 3*z - 58, 0 = -4*m + 4*z + 108. Let n = m - 24. Let a(p) = 31*p. Let s be a(n). Are -31 and s unequal?
False
Suppose -5*r = -4*x + 19, 3*x + 10*r = 13*r + 12. Which is smaller: -2/69 or x?
-2/69
Let b = -237 + 178.2. Let s = -86.2 + b. Which is greater: 1 or s?
1
Suppose 0 = -4*x - m + 96 - 5, -2*x = 5*m - 41. Suppose -l = q - 127, 5*q + x = -2*l + 292. Let c be l*2/(-128) - (-2)/1. Which is smaller: c or -1?
-1
Let h(r) = -r**2 - 3*r + 85. Let a be h(-10). Suppose 6 = -18*z + a*z. Which is smaller: z or 0.03?
z
Suppose 0 = -2*u - 0*u - a + 38, -5*a + 20 = 0. Let q = u - 9. Suppose 0 = 5*i, 5*r - 5*i + 0*i = 40. Is r at most as big as q?
True
Suppose 5*g - 5 = -10. Let v be (12/50)/(45/(-50)). Is g greater than v?
False
Suppose -2*g + 4*s = 3*g + 1469, 0 = -3*s - 12. Let t be 2 + (g/4)/11 + 5. Which is smaller: t or -0.062?
-0.062
Let s be -6 + (-171704)/(-13204) - 91/13. Which is greater: -1 or s?
s
Suppose -5 = -4*i - i. Let b be 28 - 30/((-40500)/(-37925)). Which is bigger: i or b?
i
Let f be (-4)/(-5) + 3144/120. Let w be ((-2)/12)/(21/f). Suppose -6*n - 4*d = -n + 16, 2*n + 12 = -3*d. Which is greater: n or w?
n
Let s(l) = 2*l**2 - 2*l + 1. Let z be s(-8). Let q(w) = 69*w - 1923. Let h be q(30). Does z = h?
False
Let u(q) = -q + 4*q + 3 + q**3 - 5*q**2 - 3*q. Let d be u(5). Suppose 6*l - l = -4*n + 15, -4*l = -n - 12. Do n and d have the same value?
False
Let k = -1142099807/15323 + 74535. Is k at most -1?
False
Let m = 2 - 1.97. Let g = -83060 + 83057. Which is smaller: g or m?
g
Let v be 1/11*2 - (-210632)/(-1049092). Which is smaller: -4/27 or v?
-4/27
Suppose -2*p - 5*v + 6*v = 2, 3*p = 2*v - 3. Which is smaller: -2/159095 or p?
p
Let q be 35/10 + -2 + 9/6. Let s(k) = -52*k**2 - 52*k**2 + q*k + 107*k**2 + 1 + 32*k**3. Let i be s(-1). Is i > -31?
False
Let z = -0.02728 + -29.97272. Let v = -299/2 - -165. Let c = 16 - v. Is z equal to c?
False
Let i = -242 - -228. Let x be 690/(-28) + (483/i)/23. Is x at least as big as -27?
True
Let z = -56800731/692 - -82082. Which is greater: z or 1?
1
Let z(u) = -u**2 - 19*u - 7. Let q be z(-6). Let b = q - 24. Is b < 47?
False
Let z be (-83347)/(-154) - ((3 - 1) + -2). Let a = z - 541. Suppose l + 3*l = 0. Are l and a equal?
False
Let j = 4.078 + -4. Let s = j - -0.218. Let n = 0.016 - s. Is n at least as big as -1?
True
Let n = -60 - -54. Let u be ((-8)/n)/(204/(-18)). Let y = -3 - -2. Is u at most as big as y?
False
Suppose 0 = 4*i + i - 2*z + 171, i + 5*z = -18. Suppose 0 = s - 3*m + 7, -3*s = -3*m + 4*m - 9. Is i < s?
True
Let p be 336 + 1 - (8/(-14) - 121/(-77)). Is 341 greater than p?
True
Let z = -20 + 14.3. Let j = -16.6 + z. Let y = 21 + j. Is y <= -1/4?
True
Let g(s) = s**2 + 93*s + 1819. Let n be g(-28). Is -68/235 at most as big as n?
False
Suppose 2*r + 1224 = -2*r. Let z = r - -307. Is -1/19 greater than z?
False
Suppose 2*y - 7*y + 2*n = 2, 5 = 5*y + 5*n. Suppose y*l + 5*l = l. Suppose l = 2*j + f - 6, -11 = -j + 2*j - 3*f. Which is greater: 2/25 or j?
j
Suppose -3*a - 18*a = -1764. Let d be ((-14)/a)/(5/(-30)). Is d bigger than -2/807?
True
Let d(v) = v**3 - 27*v**2 - 60*v + 54. Let c be d(29). Let u be c - 0 - (89 + (3 - 5)). Are -3 and u equal?
False
Suppose -i - 120 - 54 = 0. Let l = -2441/14 - i. Let c = 4 - 5. Which is greater: l or c?
l
Let l be (-6769)/(-28) + (-9)/12 + 1. Let t(y) = 510 - 4*y - 240 - l. Let c be t(5). Is 7 != c?
True
Let h be (-4)/22*1 + 18*(-36)/(-1386). Is 20/159 not equal to h?
True
Let o be ((-6)/(-26))/(-9 + 10). Let m(f) = -3*f - 20. Let d be m(13). Let p = d - -60. Is p less than o?
False
Let f be (-1 - 143/(-130)) + 66/140. Which is smaller: f or 1291?
f
Let q = -12259 - -12397. Which is smaller: 2 or q?
2
Suppose -48*q - 127*q = -44*q + 131. Which is smaller: 1/6354 or q?
q
Let c be ((-189)/35 - -7)/(213/30). Let w be 16820/5325 - (-4)/6. Let o = w - c. Is o >= 4?
False
Let g(w) = -w. Let x(o) = 31. Let h(a) = 5*g(a) - x(a). Let j be h(-6). Which is bigger: j or 3/10?
3/10
Suppose -a - 3*t = 2362, 8*a + 2374 = 7*a - t. Does -2378 = a?
False
Let d(r) = -1 - 26*r + r**2 + 6 + 33*r - 2*r. Suppose -6*o = -5*w - o - 20, -3*o + 16 = -5*w. Let c be d(w). Which is smaller: -3/35 or c?
c
Let g = 581 + -296. Let a = g + -286. Is -8/129 greater than a?
True
Let d = 3 + -2.8. Let o = -242 + 258. Let w be o/56*-1 + (-15)/(-28). Which is smaller: w or d?
d
Let p = -414.34 + 414. Let s = p - -0.34. Is -20 > s?
False
Let r be (0 - 4/(-2))*196/(-168). Let w = r - -11/6. Which is smaller: w or 13?
w
Let v be (9/45)/(339/(-435) + (-4)/(-10)). Which is bigger: v or -1?
v
Let h = -45/212 - -4639/4876. Let t = h - 573/713. Is t > 0.2?
False
Let w(i) = 8*i**2 - 2*i + 3. Let h be w(-2). Suppose -2*p = -2*n - 22, -4*n = p - 0*p + h. Let o = -32 - -22. Is n < o?
False
Let b be (-1 + 2)*474/(-18). Let r(o) = -206*o - 3115. Let i be r(-15). Which is bigger: b or i?
i
Let s be 69 + -79 + 66/(-1). Do s and -26 have the same value?
False
Suppose -17*d - 23 = -18*d. Suppose -16 = d*v + 99. Is v at most as big as -21?
False
Let d(y) = -30*y**2 + 3*y - 12. Let g be d(-10). Let u be (-12)/42 - g/14. Let f = -1309/6 + u. Does 0 = f?
False
Let o = 57.7 - 52.95. Let k = 3.17 - o. Is k at most -2/7?
True
Let d be 4/((-12)/(-15)) - 277137/55431. Let w = -18875/1225641 + d. Which is greater: 0 or w?
0
Let h be (-99)/((-99)/9)*((-59)/3 + 5). Which is greater: h or -103?
-103
Let i(k) = k**2 + 22*k + 49. Let r be i(-20). Suppose r*m = m + 136. Suppose 0 = 5*l - 8*l + 54. Which is smaller: m or l?
m
Let k(s) = -s**3 + 8*s**2 - 15*s + 29. Let y be k(7). Let g be (-180)/y - (-10)/(-6). Which is smaller: g or 54/11?
54/11
Let b = -25.6577 - 0.0223. Let f = b + 26. Let w = -0.07 + f. Which is smaller: -0.1 or w?
-0.1
Suppose -4*k - n - 154 = 0, 3*k + 2*k = n - 188. Let b be (-6)/15 + 1 + (-434)/(-10). Let a = k + b. Which is bigger: 7 or a?
7
Suppose -4*w + 374 = 134. Suppose -z - 59 = w. Let x be 68/z*14/(-12). Is 1 less than x?
False
Let b = -2/343 - 7195/1372. Let g be -195*56/(-1092)*(-2)/5. Is b at least as big as g?
False
Suppose -2*n = 2*r - 82, -3*r + 5 = -10. Suppose 16*u - n = 14*u. Let q = 6 - 8. Which is 