e
Let u = 18 - 10. Suppose 5*p + 2*l = -2*l + 54, -2*l - u = -p. Is p equal to 10?
True
Let g = -211/4 - -296/5. Let z = g + -31/5. Is z at least as big as 4?
False
Let p(t) = t - 14. Let b be p(41). Are b and 29 non-equal?
True
Let l = 5.91 + -6. Let x = 0.29 + l. Suppose -3 = -m - 0*m. Which is bigger: m or x?
m
Let k = -21 + 17. Let r = -7 + 3. Let a be (-1 - 1)/(r - -2). Is a < k?
False
Let m = -2978991 + 598778384/201. Let v = -18/67 + m. Is v greater than or equal to 7?
False
Let j = 1538/15 + -516/5. Which is smaller: -0.09 or j?
j
Suppose 2*x - 5*n - 12 = 0, 4*n - 3 = -11. Is -6/137 greater than x?
False
Suppose 2*j + 5*i + 0*i = 12, 0 = -j + 3*i + 6. Suppose j*q - 62 - 22 = 0. Which is smaller: q or 16?
q
Suppose 0 = 3*g - 3*n + 285, -g - 99 = -n + 4*n. Let b be g/(-3)*(-6 - -3)/6. Which is smaller: b or -17?
-17
Let a = -7.8 + -12.6. Let v = -21 - a. Is v smaller than -0.4?
True
Let o = -1 - -1. Let q = 27 - 22. Let v be 0*4/(1 - q). Is o less than or equal to v?
True
Let c = 19 - 34. Let g = c - -44. Is -2 <= g?
True
Suppose -26 = 4*p + 2*a - 0, p = 5*a + 21. Let q be ((-4)/(-5) - (5 + p))*-33. Which is bigger: 7 or q?
7
Let g = 12 - 7. Suppose -g*v - r - 160 = 4*r, -5*v = -r + 148. Which is bigger: v or -31?
v
Suppose -210*s + 209*s + 104 = 0. Is 103 not equal to s?
True
Suppose 52*q + 114 = 51*q. Which is bigger: -115 or q?
q
Let k be ((-8)/110)/(8*(-54)/(-120)). Do k and 0 have the same value?
False
Let p = -1.5 + -0.5. Let k = 912.8 + -927.8. Which is greater: k or p?
p
Let n = -57 + 55. Let p be (-1 + (n - -3))/(-3). Let t be 4/5*5/(-3). Which is smaller: t or p?
t
Let r(d) = d**2 - 3*d - 7. Let l be r(4). Let o be -2*(l + (-2)/1). Let y = o - 9. Which is greater: y or -2/63?
y
Let r be (2/10)/(-6*3/(-90)). Which is greater: 2/235 or r?
r
Let g = -257 + 175. Let n = -49 - g. Let l = -31 + n. Which is bigger: l or 1/5?
l
Suppose -3*x - 5 = -l + 3, 4*l - 32 = -4*x. Suppose 5*m - 3*m - 9 = 5*d, 5*m = -2*d + l. Which is smaller: 6 or m?
m
Suppose -n - 12 = -2*n. Suppose -4*l = -0*l + 4*w + 36, -2*w = 0. Let x = l + n. Is 8/5 equal to x?
False
Let k(v) = -3 - 3 + 5 - 43*v**3 + 42*v**3 - 2*v**2 - 3*v. Let p be k(-2). Suppose -p*o - 13 = -0*o + 2*q, -5*q = 5*o + 25. Is -1 greater than o?
False
Let i(p) = -10*p**2 + 3*p + 2. Let t be i(-2). Let a be 141/(-24) + (-5)/40. Let g be (a/t)/(6/48). Is g > 1?
True
Let c be 48750/(-110) - (-22)/121. Is -442 > c?
True
Let w(v) = -6*v**3 + 2*v**2 - v + 3. Let b be w(2). Let f = b - -55. Let o be ((-147)/28)/((-6)/f). Do o and 14 have different values?
False
Let h = 5 + 1. Let c be (h/(-4))/((-1)/2). Let l(j) = -j**2 + 4*j. Let a be l(c). Which is greater: a or 2?
a
Let q be 12/(-9)*(-12)/(-776). Let f = 402/679 + q. Do 1 and f have different values?
True
Let o be 2/(-11) + (-140)/(-44). Suppose 0 = 6*d - o*d. Suppose -1 = -d*h - h. Which is smaller: h or -2/33?
-2/33
Let q = 0.38 - 0.15. Let s = -4.77 - q. Which is smaller: -0.3 or s?
s
Let w be (-884)/51 + (-2)/3. Let t be ((-492)/w)/((-12)/(-119)). Let s = t - 271. Is s smaller than 1?
True
Let m = 37.022 + -37. Do 1 and m have the same value?
False
Suppose -2*h - 4*b = 14, 3*h - 45*b = -44*b + 14. Let v = 621/5 - 121. Which is bigger: v or h?
v
Let v be (4/10)/(3/90). Suppose -j = -4*j + v. Suppose -j*x - 24 = 4*h, -3*x - 35 = -3*h - 5. Which is greater: -7 or x?
-7
Suppose -6*w + 5*w = -1. Let l be ((-15)/(-25) - w)*-8. Is l at most 2?
False
Let j(v) = -13*v + 36 + 9*v + 6*v. Let k be j(-18). Which is smaller: -5 or k?
-5
Let a = -23 + 13. Let l(j) = -j**2 - 5*j + 11. Let r be l(a). Let d be (-30)/4*104/r. Is d >= 21?
False
Let b be 10*(-6)/(-30)*273. Is b at most 546?
True
Let x = 1334.1 - 1334. Is -2/29 at least as big as x?
False
Let f be 2/(198/(-201)) + 2. Suppose -3*u - 3*r + 9 = 0, 3*u + 0*r - r - 1 = 0. Is f < u?
True
Let k be 34/(-4) - (-2)/(-4). Suppose 3*b = b - 20. Let o be 74/b + 3/(-5). Do o and k have the same value?
False
Let i = -6/2603 + -2045/242079. Suppose -4 = -4*c - 0*y + 2*y, 4*y + 4 = 4*c. Is i smaller than c?
True
Let k(o) = -4*o**3 + 39*o**2 + 12*o - 54. Let m be k(10). Which is bigger: 1 or m?
1
Let k = 8 - 21. Let s = k + -12. Is -1/4 less than s?
False
Let o = 788 + -788.1. Is 0.2185 smaller than o?
False
Let r = -10/147 + 1613/25872. Are r and -2 nonequal?
True
Let t be -7 + (30936/(-416))/(42/(-4)). Which is smaller: t or -1?
-1
Suppose 0 = -5*w + 3*f - 3, -3*f = -1 - 2. Suppose l + 21 = 18. Let u be ((-18)/(-36))/(2/l). Is u < w?
True
Suppose -f + 6 = f. Suppose 5*p + 3*t - 3 = 0, p + 2*t - 40 = -38. Which is smaller: p or f?
p
Let p(z) = 3*z**2 - 46*z - 86. Let b be p(17). Is b <= -33/29?
False
Let f(o) = o**3 + 5*o**2 - 4*o - 16. Let h be f(-5). Let b(x) = -x**2 + 7*x - 7. Let t be b(5). Is h <= t?
False
Suppose -3*o = -2 + 14. Let g(d) = -52*d - 2. Let r be g(-1). Let t be (-3)/(-5)*r/(-45). Which is smaller: o or t?
o
Let s(w) = -38*w - 983. Let v be s(-16). Which is smaller: -376 or v?
-376
Let p = -21 + 11. Suppose -2*u - 15 = 3*f + 6, -5 = 5*f. Which is smaller: u or p?
p
Let b = -1205539/2836 - -5101/12. Is 1 smaller than b?
False
Suppose -11 = 5*x - 5*n + 4, 4*n + 8 = -x. Suppose 2 = 3*p - 7. Suppose 8*q + 4*y = 3*q - 19, -p = 3*y. Which is greater: q or x?
q
Let a(t) = -t**2 + 5*t + 7. Let v be a(6). Let k = -8 - -8. Suppose k = 3*w - 2 - v. Are w and 2/3 unequal?
True
Let k = 28 - 26. Let d be -25*k*28/(-70). Suppose 5*g - d = 10. Are g and 5 equal?
False
Suppose 2*j - 4*m = 4*j - 20, -5*m - 35 = -5*j. Suppose -48*u + j = -50*u. Do -5/2 and u have different values?
True
Let t = 673 - 40. Is 632 greater than or equal to t?
False
Let m = -3 - -2. Let y = -2 - m. Suppose 5*x + 15 = 4*f - 4, 3*f + 3*x + 6 = 0. Which is greater: y or f?
f
Let p be -14 + 10 - (-3932)/980. Does 0 = p?
False
Let k(x) = -x**2 + 16*x - 13. Let w be k(15). Suppose 3 = -4*h + 5*j - 12, -4*h = -w*j + 6. Suppose -2*l - 36 + 18 = h. Is -9 bigger than l?
False
Suppose -15 = -2*f + z - 6, -f = -5*z - 18. Suppose 2*t = f*t. Let m = 33/4 - 167/20. Which is smaller: t or m?
m
Let j(c) = c**2 - 7*c + 1. Let l be j(7). Let o(h) = -h**3 - 10*h**2 - 17*h - 7. Let w be o(-8). Is w at least as big as l?
True
Suppose j = 0, 3*c - 3*j + 96 = -0*j. Is -5 bigger than c?
True
Suppose 0 = -b + 7 - 20. Let l = b + 18. Suppose -2*w + 5*w - 2*f = 7, -l*f = -5. Is w equal to 5?
False
Let a = 817 - 2614/3. Which is smaller: -55 or a?
-55
Let p be 32/15 - (6 + -4). Let x(g) = -g**3 - 14*g**2 - 15*g - 14. Let w be x(-13). Let r be (1/(-12))/(w/36). Which is bigger: r or p?
p
Let x = 3 - 16. Let n(z) = z + 13. Let m be n(x). Suppose 2*t - t + 1 = m. Is -2/31 > t?
True
Let b = -0.767 + 31.767. Which is greater: 3 or b?
b
Let b = -2 + -8. Let j = -205 - -193. Which is bigger: b or j?
b
Let f = 560 - 549. Which is smaller: f or -19?
-19
Let a = -43747/4 + 11114. Are a and 177 equal?
False
Let d = -8 + 7.52. Let s = 0.38 + d. Which is greater: 17 or s?
17
Let g(o) = 9*o - 71. Let j be g(8). Which is greater: 11/18 or j?
j
Suppose -72 - 58 = j + 3*v, j - 2*v + 140 = 0. Is -407/3 less than j?
False
Let r be ((-4 - -7) + 1)/10*-30. Which is greater: -26 or r?
r
Let o = 168 + -169. Which is greater: -6/41 or o?
-6/41
Let z = -281/4 + 2595/28. Is 23 > z?
True
Let o(t) = -5*t - 33. Let c be o(-9). Suppose 39*u - 43*u = c. Is -8 bigger than u?
False
Let o be (168/140)/(1 + -6). Let u(p) = p**3 + 4*p**2 + 2*p - 4. Let r be u(-3). Is r less than o?
True
Let b = 127 + -124. Let n be (-2)/b*((-18)/12 + 3). Is n not equal to -2/211?
True
Let j be 2 + (-2)/(-1 + -1). Suppose j*k + 236 = 2*n + 50, -4*n + k + 382 = 0. Let c be -1 - (2 + n/(-34)). Which is greater: 0 or c?
0
Suppose 0 = 3*j - 18. Suppose -j = -4*v - 2*v. Let y be (-70)/(-90) - 1/v. Is -1 < y?
True
Suppose -5*s = -0*s - 2*h + 8, 0 = s - 2*h + 8. Suppose 2*d + 3*t - 1 = s, -d - 4*t - 2 = -5. Is -10/9 > d?
False
Suppose -3*s + 2*f = -4, -3*f = s + 2*s + 21. Let h(o) = -o**3 + 8*o**2 + 2*o - 11. Let m be h(8). Suppose 3*k = 4*k + m*x + 20, -4*k + 15 = x. Does k = s?
False
Suppose -g + u = 2, 4*g + u + 1 = 13. Suppose 0 = 5*z + 4*m - 3, 6*z = g*z - 5*m + 6. Which is smaller: -2 or z?
-2
Let d(k) = -7*k - 5. Let w be d(-7). Let c = w - 394/9. Do 0 and c have the same value?
False
Let p = -41 - -36. Let h be 