er: t or -996/5?
-996/5
Let s be (-6)/(-4)*((-497)/105 + 5). Is -1/4 smaller than s?
True
Suppose 3*l + j = 1, 5*l - j - 9 + 2 = 0. Let i = l + 5. Suppose -6 = -12*d + i. Is -10 smaller than d?
True
Let l = 0.08 - -0.02. Let j = -57 - -77. Let g be 16/j + (-4)/(-5). Is l at most g?
True
Let k be 3 - 25444/36 - ((-348)/(-108) - 3). Does k = -678?
False
Suppose 0 = -11*l + 14*l + 15. Let k be (-4)/l*25/10 + 21. Let a(i) = i**2 - 21*i - 43. Let m be a(k). Which is greater: -1 or m?
m
Let b be -4 + 500/(-25)*(1 + -3). Let m(l) = l**3 - 38*l**2 + 71*l + 36. Let f be m(b). Let v = 2/111 - 349/888. Which is bigger: v or f?
f
Suppose 0 = 3*b + 2*b + 220. Let s = 43 - 51. Let i be (172/(-16))/((-2)/s). Which is bigger: b or i?
i
Let j = 8213186/11127435 + -8/59505. Do j and 2 have the same value?
False
Let a = -0.26 - -88.26. Let f = a - 87.7. Which is smaller: f or -38?
-38
Suppose -22 = 5*r - 32, -r = t - 198. Is t at least 197?
False
Let y = -272 - -278. Let d be (-288)/15 - y/(-30). Is d < -17?
True
Suppose 13518 = -8*i + 12*i + 7*v, 2*i - 4*v = 6714. Is 10105/3 not equal to i?
True
Let l be (-15)/(-18) - (10 + 177*(-4390)/84780). Which is smaller: -1 or l?
-1
Let b be (-2 - -5)/((-12)/20). Let y be 7/((-105)/(-3) + b). Which is bigger: y or 1?
1
Suppose 2*z - 3*x + 6*x + 7523 = 0, -x = 3. Which is smaller: z or -3758?
-3758
Let p(z) = 4*z**2 - 9*z - 8. Let x be p(-1). Suppose -x*j + 70 = o, 2*j + 100 + 76 = 2*o. Is 167/2 less than or equal to o?
True
Let u = -11.171 - -17.171. Which is greater: -0.098 or u?
u
Let r = -89 + 122. Suppose -r = 12*z - z. Which is greater: z or -2?
-2
Let m = 8392 - 2079. Which is smaller: 6315 or m?
m
Let f(u) = -57*u - 1546. Let o be f(-27). Which is smaller: -35/6 or o?
o
Suppose -130*n = -113*n. Which is smaller: n or 1/599?
n
Let h(y) = -89*y + 8190. Let i be h(92). Do -1579 and i have different values?
True
Let g(z) = 18*z + 92. Let f be g(-44). Let s = 706 + f. Is 11 at least s?
True
Let f = 2/48923 + 3766857/5234761. Which is bigger: 2 or f?
2
Let o = -548 + 546.9188. Let f = -0.0012 - o. Which is greater: 0.3 or f?
f
Let s(t) = -6*t + 78. Let o be s(9). Suppose -o*i - 420 = -45*i. Is i less than or equal to 22?
True
Let x = 43993/188 + -234. Let m(n) = n**3 - 19*n**2 + 47*n + 17. Let j be m(16). Is j < x?
False
Suppose 0 = -3*u + y - 24, 0 = -5*u + y - 42 - 0. Let v = u + 33. Are 22 and v equal?
False
Let b = -0.6317 + 0.0717. Let d = 0.44 + 0.02. Let l = d + b. Are l and -1 equal?
False
Let q = 1833 - 1827. Let r(g) = 18*g - 13. Let h(k) = -k. Let x(m) = h(m) + r(m). Let t be x(q). Do t and 88 have the same value?
False
Suppose 136*c - 1282093 - 191297 = -78*c. Is 6883 bigger than c?
False
Let d be (10/14 + (-1)/(-7))*-41. Let y = 697 + -733. Is y != d?
True
Suppose -2*j - 2*d = -38, j - 48*d + 52*d = 28. Suppose 2*c = -0*c - 8. Let g be (-4)/(c/(-1))*j. Is -33/2 at least as big as g?
False
Let y = 0.4036 - 0.455. Let h = -0.0514 - y. Which is bigger: h or -18?
h
Let y = -0.3 + 0.35. Let o = y + 1.95. Let z = 316348/5 - 63272. Is z smaller than o?
True
Let t(c) = 41*c - 716. Let y be t(42). Which is bigger: 8037/8 or y?
y
Let z = 160 - 159. Suppose -2*a + z = -y, 0 = -2*y + 5*a - 5 + 6. Is -1 bigger than y?
True
Suppose -3*r - 139 = -4*v - 0, -2*r - 4*v = 86. Let c = -40 - r. Suppose 5*m - 15 = 10*m. Which is smaller: m or c?
m
Let f = 160.5 - 153.39. Let i = f + -6.11. Is -60 less than i?
True
Let v = -2493 - -2567.2. Is -2/19 < v?
True
Suppose 3*j = -h - 3*h + 2, j = -3*h + 4. Let u(t) = -5*t**h - t**3 - 2*t + 7*t - 9 + 11. Let g be u(-5). Which is smaller: -22 or g?
g
Let z be (0 - (-6 + 2))*2 - -53. Does 62 = z?
False
Let j be 3/(-4) - (-8)/((-224)/35). Let s be (-5)/2*(-6)/(j - -5). Let q be (-4 - (-15)/s)/(-1). Which is smaller: q or 2/43?
2/43
Let p be 42/(-546) + 7/(3185/5001). Which is smaller: p or 12?
p
Let r = -8879.61 - -8842. Are r and -1/4 non-equal?
True
Let l be 6/(-6) - (69 - 1). Let a = -71 - l. Let j = 93/5 + -859/40. Which is smaller: a or j?
j
Suppose 4*r + 2*b - 14 = 0, -20 = -5*r - 9*b + 4*b. Suppose -r*p - 4 + 2 = 4*c, 0 = -5*p + 4*c + 18. Are 9/16 and p equal?
False
Let o = 79.4 - 79.4363. Let y = 20644.2 + -20643.2. Which is greater: y or o?
y
Let q = 3 + -2. Let h = -289.96 + 290. Let s = -130.96 - h. Is q greater than s?
True
Let p = -61997 - -61696.985. Let h = -300 - p. Let a(i) = -i - 6. Let x be a(-7). Is x equal to h?
False
Let q = -7/18 - -26/9. Suppose -11 + 18 = 3*k - a, -2*k = a - 8. Which is greater: q or k?
k
Suppose 4*d = 22 + 14. Let g be (d/12)/(39/8). Suppose 20*y + 23 - 89 = -46*y. Is y <= g?
False
Let v = -14537 - -24803. Let j be 3/(v/(-2055) + 5). Is j greater than 684?
True
Let s be 1380561/(-3255) + 2/10. Let n = s + 424. Is n > 1?
False
Let z = 13 + -11. Let t be 18 - 5 - (-2)/2. Let f(c) = 4*c - 55. Let j be f(t). Is z equal to j?
False
Suppose 4*f + 3*p = 270, f + 41 = -p + 108. Suppose 5*z = 36 + f. Which is greater: 13 or z?
z
Let p = -72 + 1078/15. Let u = -154 + 154. Which is smaller: p or u?
p
Let v = -22793 + 2347705/103. Is 1 greater than v?
True
Let k(s) = s**3 - 11*s**2 - 6. Let p be k(11). Let h(u) = -u**3 + 4*u**2 + 3*u - 13. Let b be h(3). Let c = p + b. Which is smaller: c or -14/25?
c
Let h = 11 + -54. Let o = 40 + h. Let j be 1 - (-7)/(-4) - (-46)/(-24). Are o and j equal?
False
Let v = 0.41 + -0.4. Let r = v + 0.23. Let k = r + 0.76. Which is bigger: -0.04 or k?
k
Let r be (60/8)/(3/6). Suppose m = 0, 5*m - 34 = -2*p + 3*m. Is r less than or equal to p?
True
Let q = 383/19564 - -3/292. Suppose 0 = t + f - 5, 0*t - 10 = -5*t - 2*f. Suppose t = -7*a + 8*a - 1. Is a less than q?
False
Suppose 0 = -y + 2*a + 20, -50 - 10 = -3*y - 4*a. Suppose -j + 0 = -r - 1, -y = -4*j. Suppose 18 = r*q - 18. Is q greater than or equal to 9?
True
Let a = -1350/21167 - 12/347. Suppose 4*c - 21 = -25. Which is bigger: c or a?
a
Let d = 1003/2 - 485. Suppose -6 = -5*q + 14. Suppose -72 = -4*z - 3*s, 0 = q*z + 3*s - s - 72. Are d and z equal?
False
Let n be (-20)/(-24) + (39/18 - 2). Suppose -n = -2*r + 3. Let i be (-15)/(-30)*(-8)/r. Is i less than or equal to -4?
False
Let x = -303.754 - -304. Let c = x + -0.046. Which is greater: c or -97?
c
Suppose 37*c - 32*c = 0. Suppose z + 3*j - 12 = -2*z, c = -3*z - 5*j + 2. Does 4 = z?
False
Let c = 34365/32 - 1074. Suppose -2*n - h = -3*h, 4*h + 2 = 5*n. Suppose -n*a + 4*d = -14, 2*d + 12 = 5*a + 1. Is a > c?
True
Let w = 0.9457 + -0.8057. Let j = -13 - -10. Which is smaller: w or j?
j
Let r = -14/73 + -3083/292. Let m = -235 - -239. Suppose i - 2 = m*t, -i + 5*t = i + 5. Which is bigger: i or r?
i
Let p be 2/(-4)*6/(-3). Which is bigger: 9/391 or p?
p
Let j(r) = -r - 538 - 3*r + 536. Let q be j(-8). Let m = 54.9 - 55. Is m > q?
False
Suppose -9*o + 72 = 3*o. Suppose o*z = 28 + 20. Is 2 smaller than z?
True
Let w = -9607 + 9560. Is 29 less than or equal to w?
False
Suppose 20*t - 4*g + 230 = 21*t, -2*t + 2*g + 410 = 0. Which is greater: 15 or t?
t
Let o be 4 - 1*10/(-2). Let u be (-2 + o + -4)*8/132. Is u >= -6/13?
True
Let n = -276.7 - -250.6. Is n equal to -5/2?
False
Suppose 10*l - 120 = 16*l + 1194. Which is smaller: l or -190?
l
Suppose -121 = -5*n - 3*h, -n - 45*h + 29 = -42*h. Which is bigger: n or 65/3?
n
Suppose 24*q - 4*q - 480 = 0. Is 75 bigger than q?
True
Let a(i) = -3*i**2 - 13*i + 2. Let n be a(-4). Suppose -4*z - 2*t = 150, n*t - t + 5 = 0. Let p = z - -31. Is -6 less than or equal to p?
True
Let h = 124 + -112. Let p be 6/(-8) - (-54)/h. Is 0.2 > p?
False
Let k = -165/14 + 11916/7. Which is bigger: k or 1692?
1692
Let f = -231 - -220. Let s = 6 + 44. Suppose -15*t - s = -10*t. Which is bigger: f or t?
t
Suppose -13190 = -19*u + 8085 - 1553. Which is greater: u or 1034?
u
Let w = 545.7 - 107.7. Let k = w + -438.2. Which is smaller: -0.72 or k?
-0.72
Let y = -19 - -21.2. Let q = -2.32 + y. Which is smaller: -3 or q?
-3
Suppose -4*l + 71 = -5*u, 5*l + 4*u - 58 = -0*u. Suppose 0 = -l*v - 22*v. Which is greater: v or 1/80?
1/80
Suppose -s + 3*w = 27, -3*s = 46*w - 17*w - 109. Let x(m) = -2*m. Let o be x(-1). Let g = -15 + o. Are s and g equal?
False
Suppose 5*g + f - 28 = 0, -10*f + 5*f - 16 = -g. Suppose -g*t + 1063 = -t + 3*q, 3*t + 5*q = 625. Is 1 at least t?
False
Let m = -261/89 + 837893/285779. Is m