 than p?
True
Suppose 12 = 3*t, -4*w + 24 - 228 = 4*t. Suppose 24*y = 23*y - 9. Is y >= w?
True
Suppose -q = -m + 6*m + 2, q + 3 = -4*m. Suppose -15*b + 20*b - 145 = 0. Let j be (1 - -3)*(-58)/b. Is j < q?
True
Suppose 4*k = 8*k + 12, 25 = 5*f - 5*k. Let w(u) = 5*u + 2. Let q be w(0). Suppose 4*n = -2*j - 18, -2*n - 2 = -n - q*j. Which is smaller: f or n?
n
Let h = -5482 + 6066. Which is smaller: h or 583?
583
Let i be (-836)/1263 - (-8)/12. Let t(y) = y - 23. Let o be t(29). Suppose 52*j = 58*j + o. Is j smaller than i?
True
Let j = 627633/10 + -62822. Let t = j + 296/5. Is t greater than 0.337?
True
Let g(y) = -y**2 + 6*y - 8. Suppose 0 = -5*x - 3*v + 34, -9*x + 5*x + 40 = -4*v. Let c be g(x). Which is bigger: c or -25?
c
Suppose -7*p + 634 = -651 - 563. Which is bigger: p or 272?
272
Let a = -65.23 + 65.33. Which is bigger: a or 0.043?
a
Let j = -15.6 + -32.85. Let x = j + 0.45. Let k = x + 49.8. Is k < 2/3?
False
Let y be (6 - 5) + (-594)/135. Is y > -202?
True
Let h = 103.41 + -104. Let x = 10.59 + h. Which is greater: 2/3 or x?
x
Let b be ((-1099)/13188)/(-1 - (-22)/24). Which is bigger: 1/15610 or b?
b
Let g(t) = 7*t - 323. Let b be g(46). Does b = -12/67?
False
Let i = -1237.238 + 0.238. Which is greater: i or 2/5?
2/5
Suppose -4*f + 0*l + 70 = -3*l, -5*l + 10 = 0. Let i be (-4)/1 - (0 - 109). Let h = -87 + i. Which is bigger: h or f?
f
Suppose 4*q - 3*q - 76 = 0. Let b = 56 - q. Let w be (-8)/(-20) - 17/b. Which is bigger: 1 or w?
w
Suppose -68 = 13*c + 75. Let r be (5 + 0 + c/2)*90. Are r and -46 non-equal?
True
Let o be (4 - 7) + (1 - (-10148)/(-7)). Let z = -1454 - o. Let p(g) = 2*g - 12. Let s be p(5). Which is smaller: s or z?
z
Let w = 78 + -74.4. Let k = -2.6 + w. Let j = -3/85 - -203/935. Are j and k nonequal?
True
Suppose 0 = 5*z - 0*b - 2*b + 43, 2*z = -3*b - 2. Let t(q) = 3*q + 26. Let m be t(z). Let x be m/((-25)/(-20)) - -1. Which is smaller: -1/4 or x?
-1/4
Let l = 1 + -17. Suppose 0 = 5*y + o - 224, -72 + 260 = 4*y + 3*o. Suppose -y = 3*h + q - 0*q, -3*h - 2*q = 43. Do l and h have the same value?
False
Let l be (28/(-8))/(0 - -8). Let h = l + 241/624. Let u(t) = t**2 + 101*t + 1144. Let r be u(-13). Is r greater than h?
True
Let l = 46/11429 - -251116/80003. Let k(p) = 3*p**2 - p - 1. Let m be k(-1). Let n = -1 + m. Is l at least as big as n?
True
Let d = 26 - 25.45. Let b = 0.73 - d. Does b = -0.01?
False
Let d = 2 + 85. Let v = d + -81. Suppose -7*x = -v*x + 52. Is -52 not equal to x?
False
Let u be 4/928*2*48/(-24). Let c be 5*(-3 - (-4)/1). Let p(y) = y**3 - 6*y**2 + 5*y + 1. Let o be p(c). Which is smaller: o or u?
u
Let f(o) = -10*o**3 + 9*o**2 + 303*o - 2722. Let w be f(9). Is -6556 greater than w?
False
Let f = 2.0167 - 2.0167. Suppose 5*u - 460 = -3*s, -s = -4*u + 47 + 321. Which is bigger: u or f?
u
Let j = 24330 + -72290/3. Is j at most 234?
True
Let y = -5088 - -4655. Is -440 greater than y?
False
Let o = 10 - 10.1. Let h be -3 - (-85)/(-748)*-12. Is h at most o?
True
Suppose -63 = -5*v - 58. Let w be -4 + ((-130)/(-85))/v. Which is smaller: -2 or w?
w
Let s(h) = -h**2 - 15*h + 49. Let p be s(-18). Let r be (p*(-27)/(-2250))/((-2)/(-4)). Let a = -57/175 + 1/25. Which is bigger: a or r?
r
Let y(n) = -311*n**3 + 4*n**2 - 7. Let o be y(3). Which is bigger: o or -8367?
-8367
Let x(d) = -7*d**2 - 75*d - 15. Let b be x(-14). Let c = 366 + b. Are c and 27 non-equal?
True
Suppose 4*u = 16, 4*u = 45*x - 40*x + 16. Is x at most -24/607?
False
Let s(p) = -p**2 + 31*p - 205. Let d be s(22). Let j = -8 + 17. Suppose -k = -0*k + j. Is d at most k?
False
Let z = 0.25032 + 13198.74968. Let x = z - 13112.17. Let i = x - 87. Which is smaller: 0 or i?
i
Let d be (12 - 302076/25176)/((-54)/8). Do 0 and d have different values?
True
Let z = 846/5 - 26056/155. Are 2 and z equal?
False
Let l be ((-1)/(-3))/(3/18). Let h(r) = 4*r + 53. Suppose 27 - 40 = b. Let y be h(b). Which is greater: l or y?
l
Suppose 0 = -5*x + 3*i + 16644 - 95676, -2*x = -3*i + 31611. Is -15806 smaller than x?
False
Let d = -818114243/11579 - -70655. Is 1 smaller than d?
False
Let p = -133 - -134.78. Let k = 71.22 + p. Let i = -72.954 + k. Which is smaller: i or -1/2?
-1/2
Let v be 6/(-8) + (-1)/4. Let g(j) = -23*j**3 + 119*j**2 - 108*j. Let i be g(4). Is v != i?
True
Let l(j) = -j**3 - 3*j**2 - 22. Let k be l(-5). Suppose u = k - 17. Is 11 smaller than u?
False
Suppose 4*s + 16 = 3*w + 3, 2*w = 2*s + 6. Let t = 96152/53 - 1814. Is w less than or equal to t?
True
Let d(s) = 4*s**2 - 26*s + 2. Let o be d(3). Let l be 2*(-7)/20*o/35. Which is smaller: l or 1?
l
Let u(p) = 3*p - 105. Let r be (-2)/(-6) - 1/3. Let w be u(r). Which is smaller: 1/2 or w?
w
Suppose -5*s - 4 = -y + 3, 5*y + 57 = 2*s. Let d = y - -13. Suppose -f - 16 + 15 = d. Do f and -5/3 have the same value?
False
Suppose 178*c + 288 + 284 = 38. Which is greater: -228 or c?
c
Let f(d) = d**2 + 68*d + 2026. Let g be f(0). Is 2026 smaller than g?
False
Let q be (1938 + (6 - 6))*((-116)/(-12) - -3). Which is bigger: q or 24549?
24549
Let g be ((-4184)/(-24))/(2/((-180)/(-366)) + -4). Is 2615 at least as big as g?
True
Let h be -10 - (10 - 14) - -5. Which is smaller: 61 or h?
h
Let y = -13124 + 6964. Let n be y/1542 + 80/20. Let q = 27704/10023 + n. Which is smaller: q or 2?
2
Let x = 12.871 - -0.119. Let q = x - -0.01. Let g be (2/20)/(10/75). Which is smaller: q or g?
g
Suppose 3*r + 970 = -108*c + 112*c, 0 = 4*r - 8. Which is bigger: 247 or c?
247
Let n = 783 + 58. Let a = n - 478. Which is bigger: a or 364?
364
Let i = -74463 - -671546/9. Let h = -56 - -209. Let v = h - i. Is v at most 0?
True
Suppose -2*w = 2*b + 10, -5*w - 17 = -138*b + 135*b. Let l be 3174/(-8)*3/27. Let y = l - -44. Is b at least as big as y?
False
Let j be 277 - (9 + -4 - 7). Suppose -185 = 2*p + 3*a, -7*p + 5*a + j = -10*p. Which is bigger: p or -265/3?
p
Let u(b) = 4*b - 1. Let f be u(19). Suppose -6*w - 5*i = -3*w - 230, 221 = 3*w - 4*i. Is f less than or equal to w?
True
Let z = 1/89 - 1249/267. Suppose -r - 17 = -d, 0 = 7*r - 1257*d + 1253*d + 86. Which is smaller: r or z?
r
Let p = 6035 - 6690. Which is greater: -656 or p?
p
Let p = -124 + 81. Let s(f) = -7*f + 4. Let n(k) = 28*k - 15. Let r(i) = 6*n(i) + 26*s(i). Let d be r(4). Do p and d have different values?
True
Let s = -4.707 + 4.807. Which is smaller: 846 or s?
s
Suppose -3 = -6*n + 45. Suppose -n*y = -19*y + 44. Let v be 2 + 17/6 - 1. Are y and v unequal?
True
Let o = -2.7 + 18.7. Let v = 11 - o. Suppose 1 + 5 = -3*l + 3*u, -2*l + 4*u = 8. Is v < l?
True
Let s be (20/30)/((-2)/(-84)). Suppose -5*o + 15 = z, -s = -3*z - 3*o + 5*o. Let a be (-3)/(-6)*-2 + z. Is 12 bigger than a?
True
Let d = -5 + 3. Let i be (1 - -1) + (-9)/((-90)/80). Let l be ((i/2)/(25/10))/d. Is l > 1/8?
False
Let j(a) = 9*a + 568. Let y be j(12). Let g = 750 - y. Let x(h) = -14*h + 3. Let d be x(-5). Which is greater: d or g?
g
Let z = 62 - 87. Let r(l) = -2*l**2 + 76*l + 135. Let u be r(40). Let c = z - u. Which is bigger: 2/23 or c?
2/23
Let n be (1 - -3)*(-66)/(-24)*-6. Let t = n + 60. Let f be (-5)/(-35)*(-7)/t. Is -1 < f?
True
Let p = 0.96 + -0.21. Let t = 184.25 - 184. Let w = t + p. Is w at least as big as 0?
True
Let i = -525 - -488. Let o be 0/(2/(-2)) + -40. Let s = o - i. Is -0.1 at most s?
False
Let h = 36383 + -112532617/3093. Let q = h - -4244/3003303. Are q and -1 equal?
False
Suppose 0 = -2*h + 5*k + 1203, 2*h - 1476 = -k - 231. Is 617 less than h?
True
Let x(a) = -a**2 + 8*a + 3. Let w be x(8). Suppose -w*g - 8 = -4*g. Let u be (32/8)/(16/(-2) - (-4278)/506). Is g equal to u?
False
Let c be (51/4)/((-1062)/(-15576)). Which is smaller: c or 749/4?
c
Let g(x) = -2*x**3 - 43*x**2 - 27*x + 69. Let t be g(-19). Which is bigger: t or -1225?
t
Let z = -905 + 906. Is z equal to 832?
False
Suppose -53 = 59*w - 112. Which is bigger: w or -4/7755?
w
Let p = -16198 + 17208. Does 1010 = p?
True
Let p = 737/7 - 105. Let f = 49 + -48.869. Let v = f - 0.031. Is p smaller than v?
False
Let m(a) = -13*a + 7. Let q(s) = -s**3 + 11*s**2 - 16*s - 19. Let y be q(9). Let v be m(y). Suppose v = -7*i + 13. Is i bigger than -2/75?
False
Let s be 0/((-7)/(28/8)). Suppose -m - 3*m + 4 = s. Let t = 5/43 + -93/430. Which is greater: m or t?
m
Suppose 72 = -5*x + 3*x. Let k be 32 - (-6 - (2 + -5))/1.