 43/525 + -778144/9519825. Which is smaller: l or -1?
-1
Let n be ((-2)/(-11))/(128/(-176)). Are n and -1.37 equal?
False
Suppose -2*r + m - 39 = 50, 0 = 2*r - 3*m + 99. Suppose 0 = 4*o + 27 - 39. Suppose 0*v = o*v + 3*q + 144, -5*q - 25 = 0. Is r at least v?
True
Let j = 149 + -149.0401. Let f = j + 0.4401. Does 35 = f?
False
Let h(k) = -5*k + 175. Let d be h(35). Suppose -5*o + 579 = 3*z, 4*z + 5*o - 613 - 159 = d. Is 192 at least z?
False
Let q be 2/(-3 + -1 + (3 - -5 - 2)). Which is greater: q or 0.068?
q
Let i be (-360)/(-18)*(-608)/(-40). Is 910/3 equal to i?
False
Let l be -14 + -1 + 9 + 372/(-4). Do l and -699/7 have different values?
True
Let l = -2418.23 - -2408. Let i = l + -1.77. Which is smaller: i or 0.24?
i
Let g(f) = -3*f**2 - 40*f - 8. Let v be g(-13). Suppose 0 = v*p - 2*d - 18, -5*p + p = 4*d + 8. Let z be (2 - -7)*4/(-6) + p. Is z > -4?
False
Let t be 4/(-18) - (-139446)/(-20709). Let b = t + 1/3835. Let l = 62/9 + b. Is 0 bigger than l?
True
Suppose -5*i - 1608 = -2*d, 2235 = 4*d - i - 981. Let l be d/(-1485) - 76/(-209). Is l equal to -1?
False
Suppose -5*o - 150 = -0*o. Let s be -24 - (4 + -4 + 6). Let r = o - s. Does r = 13/2?
False
Suppose -61 = -35*h - 26*h. Is h equal to -3/9796?
False
Let b(s) = s**3 + s**2 - 10*s + 9. Let i be b(2). Which is greater: 1/3218 or i?
i
Let w = 17678 - 18426. Is w >= 0?
False
Let u(h) = -2*h**3 - 5*h**2 + 2*h - 7. Let q be u(5). Let l = -29630 + 29257. Is q at least as big as l?
True
Let g = 50958841/361 - 141160. Which is bigger: g or 0?
g
Let l(q) = 14 - 7*q - 5*q**2 + 8*q**2 - 10*q + 10*q. Let u be l(5). Let m = -271/5 + u. Is 1 bigger than m?
True
Let k be (-4)/4*(-22)/(-1). Suppose -p + 4 = 0, m + 25*p + 4 = 26*p. Let h be m - 1 - (-11 + -33)/(-2). Which is bigger: h or k?
k
Let z = 2785 - 2785. Is 1180 at most z?
False
Let t = -19477 + 19476. Which is smaller: t or -6/2957?
t
Let y(m) = -11*m - 118. Let k be y(-27). Suppose 4*f = 143 - k. Let b = 8 + -15. Which is bigger: b or f?
b
Let s(d) = 8*d + 20. Let p be s(-2). Suppose 95 = -4*k - z, -5*k + p*z - 76 = -2*k. Which is smaller: k or 7?
k
Let i(z) = -z**2 + 16*z - 32. Let u(g) = 1. Let w(k) = i(k) + 5*u(k). Let p be w(13). Let o be (4/p)/(41/(-9)). Is 1 >= o?
True
Let a be 19 - 9 - 26/(-8). Let f = -25 - -39. Is a <= f?
True
Suppose 35 = -5*f + 50. Suppose -3*g = -7*g. Suppose 6 = -f*w, g = 2*m - 7*m + w - 58. Which is smaller: -11 or m?
m
Let s(f) = -18*f + 134. Let m be s(8). Let k(y) = -y**3 - 11*y**2 + 29*y + 43. Let z be k(m). Which is smaller: 0 or z?
z
Suppose 0 = 76*l - 7*l + 138. Suppose 3*w - 21 = -0*w. Let o be (1/(-3))/(w/(-189)). Do o and l have different values?
True
Let g = 28789/7 + -4113. Is 1211 greater than g?
True
Let p = -2433914730860/2395645059 + 2/30324621. Let o = p + 1016. Which is smaller: -1 or o?
-1
Suppose 3*y + y - 14 = -q, 2*q = -y + 63. Let c = 2 - -3. Suppose 18*f - c*f = 442. Is f greater than q?
False
Let k(m) = -82*m**2 + 74*m - 12. Let d be k(5). Do d and -1695 have the same value?
False
Let q = 0.073 - 0.073. Let m = 0.087 + -0.23. Which is smaller: q or m?
m
Suppose -346*n - 17301 = -343*n. Is n bigger than -17305/3?
True
Let s = 1574167/63816 + -13/21272. Suppose 14 = 2*t - 0*t - 2*m, 0 = -t + 5*m + 27. Suppose 4*i - 9 = 11, 5*a - 120 = t*i. Which is bigger: a or s?
a
Suppose -75*p + 3893129 = -167*p - 45*p. Is p at most as big as -28418?
False
Suppose 377 = t - 173. Suppose -10*w = -20 + t. Is -51 >= w?
True
Let p = 53 - 57. Let k be 21/6 + p/(-16)*6. Suppose -3*f + 9 = y, -k*y + 0*f + 35 = 5*f. Is 11/2 < y?
True
Let b be 10/(-2)*(25 + -29). Suppose -6*g - 5 = -g + 2*o, 4*o = -b. Which is greater: g or -12/35?
g
Suppose -2*u = -2*o + 7*o + 35, 5 = -4*o + 3*u. Let l(a) = a**3 + 7*a**2 + 15*a + 78. Let h be l(o). Is h at least as big as 5?
True
Let t = 27247.9 + -27248. Is -365/9 at most as big as t?
True
Let p be (3/(-6))/(238386/(-2908)). Let g = p - 2/1779. Do 0 and g have the same value?
False
Let l = -219.89 + 48.89. Which is bigger: l or 2/3?
2/3
Let y = 70.6 - 70. Let z = -0.1972 + -0.1028. Which is greater: z or y?
y
Let j = -368.806 + 0.806. Let f = j - -614. Which is greater: f or -1?
f
Let q be (-63)/(-77) - 1 - (-26)/22. Let j be (-4)/q + (-597)/(-147). Let w = j - -10/637. Is w != -1?
True
Let f(b) = -24*b**2 - b + 1. Let d be f(1). Let q(l) = 203*l**2 - 2*l + 27. Let t be q(4). Let k be t/(-132) + (-2)/8. Which is smaller: d or k?
k
Let l = -16 + -3. Let h(w) = 7*w**2 + 2*w. Let y be h(1). Let m be (-2)/y - (2 + (-1057)/(-63)). Does m = l?
True
Suppose 0 = 4*x + 3*t - 205, -5*x = -3*t - 136 - 154. Let u = x + -55. Is u at most 3?
True
Let l be ((-1)/5)/(8/10). Suppose 23 = -3*r + 2. Let u be 4/(r + 3)*0/(-1). Which is smaller: u or l?
l
Let g = 3335/7 + -18572/35. Suppose -15*h - 318 = 492. Let v = g - h. Which is smaller: 0 or v?
v
Let n = -18117 - -18119. Which is bigger: 9092 or n?
9092
Suppose 0 = 5*t + 3*f + 1286, -f - 1298 = 5*t - 2*f. Let u = 9841/38 + t. Which is bigger: 2/3 or u?
2/3
Let f = -4 + 3.98. Let n = 0.98 - f. Let d = -0.2644 + 0.4344. Does d = n?
False
Let h be (-412)/28320 - 6/(-144). Is 1 equal to h?
False
Let u be (30/4)/(70/8 + -8). Suppose -3*l + 14 = -2*r, -8*r - 10 = -u*r - 3*l. Let y be -5 - -4 - 255/(-253). Is r at most as big as y?
True
Let b = 43 + 207. Suppose 0 = -i + b - 257. Are i and 0 unequal?
True
Let b = 315/16 - 79/4. Let p = 25/144 + b. Are 0.06 and p unequal?
True
Suppose -5*h = 3*r - 42, -2*h + 28 = 6*r - 2*r. Let z be (-4136)/(-110) + h/15. Is 34 bigger than z?
False
Let n = 6/937 + 5436/29047. Let c be (-18)/(-81) - (-70)/9. Let z = c + -7. Is z bigger than n?
True
Let w(s) = -86*s**2 + 30*s + 24. Let g be w(-6). Which is greater: -3255 or g?
g
Let t be (-12)/3 + -2 - (5 + 8 + -18). Which is smaller: t or 11?
t
Let y = 19912 - 23105. Is y less than -22348/7?
True
Let f = -0.48 - -0.36. Let w = f + 2.44. Let r = 0.32 - w. Which is smaller: -12 or r?
-12
Suppose -20 - 4 = 3*l. Let o(p) = -7*p - 59. Let j be o(l). Let a be (j/2 - -2)*0. Is 2/189 at least as big as a?
True
Suppose -20*r = -22*r + 5342. Suppose -13*u - 838 = -r. Is 142 > u?
True
Let b(d) = 31*d + 52. Let v be b(3). Let m = -230 + v. Which is greater: m or -84?
-84
Suppose -3*w + 402 = -5*w - 4*g, 420 = -2*w + 5*g. Is w != -197?
True
Let k be (-11514)/(-45) + 40/300 + 5. Is k greater than 260?
True
Suppose -23 + 25 = -60*q - 58. Which is bigger: 1/2773 or q?
1/2773
Suppose 0 = -o - 2*o - 2*g + 2306, -2*o = -3*g - 1546. Is o greater than or equal to 771?
False
Let m be (-168)/657 - ((-25)/15 + 1). Let f = m + 7751/146. Is 54 greater than or equal to f?
True
Let u = -278 + 8061/29. Let v = -4982 + 14944/3. Is u != v?
True
Let b(d) = 450*d - 2265. Let q be b(14). Is 4035 greater than q?
False
Suppose 7*v - 6 = -55. Let y be 1 - v/((-21)/(-9)). Suppose y*u - 4 = 4*o, 2*u = 3*o - 2 + 6. Which is greater: -1/47 or u?
-1/47
Let m = 122 + -31. Let t = m - 121. Which is bigger: t or -29?
-29
Let i = 11 - -123. Suppose -3*p + i = 137. Are p and -3/38 nonequal?
True
Suppose 2*a = -5*k + 7*a + 5, 2*a = k - 2. Let c = 1826/5 + -250157/685. Which is greater: c or k?
c
Let o = 41 + -39. Let l be ((-2)/42)/(5 - (o + 4)). Let t = -29/273 - l. Is t >= 1?
False
Suppose -2*c + 15 - 1 = 5*r, 3*r - 5*c = -4. Let w be 344/(-96)*r - -7. Which is greater: w or 13/11?
13/11
Let b(k) = 2*k**2 + 13*k + 16. Suppose -4*d + d + 4*a = 35, d = -3*a + 10. Let x be b(d). Let l be (1 + x - 0) + -9 - -4. Is -4 smaller than l?
True
Suppose 0 = -26*r + 7*r - 24377. Is r <= -1283?
True
Let a(x) = -16*x**2 + x + 3. Let p be a(-5). Let d = -295 - p. Is d < 106?
False
Let z be ((-8)/6)/((-8890)/(-1110) + -8). Let q = 53 - 200. Which is bigger: z or q?
q
Suppose 233*a = 14*a - 298935. Are a and -1365 equal?
True
Let r be (1 - 0)*2/230. Let h be (2/(-4))/(10/20 - 1). Suppose 3*p + 8*m = 9*m - 1, m - h = -p. Is r bigger than p?
True
Let n(h) = -h**3 + 8*h - 1. Let p(u) = -u**3 - u**2 + 7*u - 2. Let s(g) = 4*n(g) - 5*p(g). Let l be s(-6). Let r = 19 + -28. Is l >= r?
False
Suppose -3*r = 30*v - 25*v - 35, r = 5*v - 55. Suppose 28 = -v*l + 38*l. Which is smaller: 10/47 or l?
10/47
Suppose 5*b + 58 - 28 = 0. Let i = -8 - -36. Let g be 12/(-4)*i/b. Which is smaller: g or 12?
12
Suppose -5*j + 3317 = 3*d + 280, 3*j