 + -3/23. Which is smaller: -2 or j?
j
Let o = -60266/17017 - -4/1309. Let i(l) = -78*l**2 + 467*l + 2. Let q be i(6). Which is smaller: o or q?
q
Let g be (6/(-20)*2)/(31/(-930)). Let b be (g*1/(-4))/((-6)/(-180)). Is b != -135?
False
Let d be -61*(0 - -1) - 0. Let v = 68 + d. Which is bigger: v or 8?
8
Suppose -5*c = 5*w, 5*w - 8 = 3*c + 8. Let i(u) = 1204 - 1202 + 2*u**3 + w*u + 4*u**2 - u**3. Let j be i(-4). Which is smaller: 2 or j?
j
Let x be (-8 + -77*14/(-98))*1/(-16). Suppose 0 = -7*a + 2*a + 25. Suppose 0*j = -a*j. Is j <= x?
False
Let x = -291 + 708. Let k = -314 - -732. Is x less than or equal to k?
True
Let n = -422 + -117. Which is bigger: n or -540?
n
Let a = 211/3298 + -1/194. Suppose 81*h + 11 = 71*h + 1. Which is bigger: h or a?
a
Let g = -381 - -380.684. Let v = g - 434.684. Is v less than or equal to 1/2?
True
Suppose -152 - 1240 = 58*i. Suppose 4*z - 11 + 99 = 0. Which is bigger: i or z?
z
Let g = 9141 - 9504.2. Is g less than -1?
True
Let q be (-305)/(-10) + 12/(-8). Suppose 8949 = q*c - 10*c. Does c = 471?
True
Suppose 5 = 2*z + 5. Let d be 4 + (4 + -7 - (z - 1)). Let p be 3/d + 2 - (-2)/(-4). Is 2/5 greater than p?
False
Let k = 42/338711 - -7562399615/7112931. Suppose 3690 = 3*o + 501. Let m = k - o. Is m < 1?
True
Suppose w - 416 = -2*u, 4*w - 1058 = 4*u + 606. Suppose 7*f + 129 - w = 0. Let g = f - 36. Is g at least 42/11?
True
Let c(w) = w**3 + 16*w**2 + 35*w - 7. Let m be c(-13). Let a = 0.01 + -0.15. Let u = -0.14 - a. Which is bigger: m or u?
m
Suppose s = 4*s - 15. Suppose -5*x = -2*f - 23, s*f + 2 = -5*x - 3. Suppose 0 = -w + 4*q + 21, -x*q + 5*q - 10 = 0. Which is smaller: 42 or w?
w
Let s = 1794 + -1777. Let n = -0.13 - 11.87. Let w = s + n. Which is smaller: 0.05 or w?
0.05
Let o be 4/(16/3)*47/(1645/(-784980)). Which is smaller: -16820 or o?
o
Let q(z) = -466*z + 1409. Let l be q(3). Let x = 0.4 + -1.4. Which is smaller: l or x?
x
Let a be (-13 - (-516)/48)/(2/((-24)/(-15))). Which is smaller: 106 or a?
a
Let r(x) = -x**3 - 10*x**2 - 12*x + 31. Let f be r(-9). Suppose 176 = 3*y + 8. Which is smaller: f or y?
y
Let j = -11 - -15. Let v be 9/6 + 94/j. Suppose -v = -3*l + 4*b, 0 = 2*l + 5*b - 0 + 14. Is 2/7 greater than or equal to l?
False
Let s = 0.008 - 0.338. Let c = -13.88 + 13.6. Let j = s - c. Is 0.8 greater than j?
True
Let y = -90.13 - -95. Which is smaller: y or -0.1?
-0.1
Let t be 242/(-8) + 5/1. Let g = t - -25. Are -1.5 and g non-equal?
True
Suppose 68 + 72 = -7*d. Let q(n) = -n**2 + 3*n - 2. Let a be q(5). Let i be a*(0 - 15/(-9)). Is d >= i?
True
Let j(l) = -1698*l**3 - 11*l**2 + 12. Let n be j(2). Is -13616 less than or equal to n?
True
Let l = 1073 + -1446. Is 1 > l?
True
Let p = 3099 - 2526. Which is bigger: p or -1/4?
p
Let a = -968 + 972. Let y = 3 + -4. Let q = y + 3. Is q greater than a?
False
Suppose 366*g + 119 = -247. Do g and -47/102 have the same value?
False
Let d(b) = 11*b**2 - 10*b + 24. Let o be d(4). Suppose -o + 149 = k. Which is smaller: 7 or k?
k
Let k be ((-12)/20)/(3*2/(-30)). Suppose k - 27 = -2*c. Let a be -18*-3*2/12. Which is greater: c or a?
c
Let z be (3/4)/(8/(-2688)) - 0. Let w be (-1)/14 - (-150)/z. Which is bigger: -200 or w?
w
Let b = -25865/3 + 9033. Let m = 412 - b. Do m and 441 have the same value?
False
Suppose 2*o - 19 + 22 = -m, 3*o = -5*m - 22. Let v be (-49)/(-14)*(-40)/(-14). Let b be (-4)/4 + v/11. Is o != b?
True
Let x(h) = -3*h + 1. Let o be x(4). Let y be o/8 - (-5 - -4). Suppose -111 = -24*f + 135*f. Is y >= f?
True
Let x = 235 + -205. Suppose 4*r + x = 26. Which is smaller: 10/23 or r?
r
Let x be (-1)/(-4) - 1005/(-60). Suppose 9*m = -x*m - 260. Is m greater than 7?
False
Suppose 0 = 2*j - 28 + 12. Suppose 0 = j*c - 2*c - 228. Suppose z + c = -5*l + 12, -5*l = 25. Is z != -1?
False
Suppose -15*f - 3*f - 12281 - 1795 = 0. Which is smaller: -783 or f?
-783
Let c(x) = 3*x**2 - 64*x - 146. Let y be c(23). Is -720/23 greater than or equal to y?
False
Let y(w) = 19 - 18 + 41 - 23*w + 25. Let l be y(4). Is -18 at most l?
False
Let i = 71 + -95. Let k be (-695)/(-20) + -1 - (-18)/i. Is 26 <= k?
True
Suppose 0 = -3*k + 6*c - 11*c + 26, -4*c - 68 = -5*k. Suppose -47 = -k*s + 217. Let l be (1*(-3 + 2))/(-1). Is l <= s?
True
Suppose 0 = 3*j - 5*c - 5, -5*c + 3 + 22 = 3*j. Suppose -j*x - 26 = -p, 2*p - 20 = p - x. Let q be (-88)/(1*-4) + -2. Which is smaller: q or p?
q
Let n = -2066 - -2046. Let w(q) = q + 3. Let h be w(-19). Which is greater: h or n?
h
Let h be -3 + 4 - (-5051632)/(-3560). Let s = 1418 + h. Which is bigger: -1 or s?
s
Let m(o) = -o**2 - 13*o + 13. Let g = 4 + 33. Suppose -1 = -2*y + y + 5*u, 3*u + g = -2*y. Let c be m(y). Are c and 0 non-equal?
True
Let y = 11.585 + -0.799. Let k = 11 - y. Let i = 0.114 - k. Which is smaller: 2.8 or i?
i
Let j = -21 + 100. Let f be (-948)/(-48)*(-4)/(-1 - (1 + -1)). Is f > j?
False
Let c = -831 - -794. Do 9 and c have the same value?
False
Suppose -7*p - 8*p = 945. Let v be 33/22*(-48)/p. Suppose 3*s = -s + 8. Do s and v have different values?
True
Suppose -2*w + 4*n = -5064, 0 = 5*w + 5*n - 16157 + 3557. Is w greater than 5047/2?
True
Let u = -7173 + 3309. Does u = -3866?
False
Suppose 2*y = -4, i - 1360 = -3*y + 8*y. Does i = 1350?
True
Let h = -374/99557 + -242380031497/91990668. Let s = h + 2635. Let g = 3/44 - s. Which is smaller: g or 0.5?
g
Let i = -2064082/85 + 24283. Let s be 1/(-2) - 13/(-34). Let q = i - s. Is q greater than or equal to -1/4?
True
Let k(b) = -3*b**2 + 3*b + 2. Let r be k(7). Let c = r - -86. Suppose 5*i + 259 = -2*i. Which is greater: c or i?
i
Let k = -1253.79 + 968.801. Let i = k - -285. Is i > 1?
False
Let l = -13535.11 + 13455. Let h = -2.89 + l. Let w = -9.1 - -9. Which is smaller: h or w?
h
Suppose 0 = 2*b - 2*f + 84, 3*f = -5*b - 76 - 150. Let w = b - 121. Which is smaller: w or -166?
-166
Let d(r) = -3*r - 38 + 4*r - 10*r + 5*r. Let s be d(-10). Suppose -12 = -4*f, 5*f + 65 = -7*g + s*g. Which is smaller: -17 or g?
-17
Let j be -1*2/(-1 + -1). Let b be 11/14 + 45*(-61)/(-38430). Is b smaller than j?
True
Let h = 132.45 - 138. Let y = -0.55 - h. Let n = 8 + -11. Is y at most as big as n?
False
Suppose -3*i = -4*i - 5*p + 10, i - 5*p = 0. Let b = 803/12 + -97/6. Let s = b - 51. Are s and i unequal?
True
Let i = -6062 + 6730. Which is smaller: 664 or i?
664
Let s be (2 + -36)/((-9)/(-2 + 1)). Let f = -279 + 275. Which is greater: s or f?
s
Let u be (-3*1/47)/(12/(-12)). Let d(m) = m - 1. Let w be d(0). Is u at most w?
False
Let k = 1202/21 + -403/7. Which is smaller: -0.6 or k?
-0.6
Suppose 6 - 1 = -3*m + 8. Which is smaller: 2/2231 or m?
2/2231
Let r = 2.6484 - 2.8484. Let l = 2 - -6. Let q = 7.84 - l. Which is greater: q or r?
q
Let m be (-1524458)/215572 + 11 + -2. Let s = 2/7699 + m. Which is smaller: s or 1?
1
Let a(f) = -2*f - 4. Let i be a(-14). Suppose 7*l - 9*l = -i. Let t be ((-6)/(-16))/(l/72). Is t at least as big as 1?
True
Let a(f) = -8*f**3 + 1 - 6 + 88*f + 11*f**3 + 23*f**2 - 5 - 2*f**3. Let g be a(-5). Do 4/111 and g have the same value?
False
Suppose -143 = -14*p + p. Let x be 22 + (0 - 0)/(p - 13). Let k = 45 - x. Is 23 >= k?
True
Suppose 0 = 4*p + 3*d - 4, 6*p = p - d + 16. Suppose -p*a - 6 = 10, 4*t + 8 = -3*a. Let l be (-2)/90*(-30)/12*t. Is l at least -1?
True
Let h(m) = 463*m**2 + 6*m - 2. Let s(v) = 4*v - 23. Let n be s(6). Let c be h(n). Are 467 and c unequal?
False
Let k be 8/(-1) + 1742/67. Let l = -193 - -211. Are k and l equal?
True
Suppose 145*w + 125 = 170*w. Which is greater: -56 or w?
w
Let n = 0 - 1. Let l(s) = -4*s**2 - 5377*s + 32387. Let d be l(6). Which is smaller: d or n?
d
Let t(c) = -17*c + 33. Let i(b) = 2*b. Let j be i(2). Let y(d) = 8*d - 17. Let s(x) = j*t(x) + 9*y(x). Let m be s(5). Which is smaller: m or -7/6?
-7/6
Let j be (-2)/(-10) - 4/5. Let l = 200/7 - 2777/21. Let p = l + 102. Is j smaller than p?
False
Let x(y) = 2*y + 82. Let a be x(-37). Let l be ((-201)/10)/(-3) + 54/108. Which is greater: a or l?
a
Let a = 491 - 506. Let b(q) = -q**2 + 5*q + 7. Let h be b(6). Let i be (0 + h)/((-3)/(-102)*-2). Which is smaller: a or i?
i
Let i = -248335/9 + 27550. Is i bigger than -42?
False
Suppose 2*n - 1302 = 43*a - 48*a, -3*a + 775 = -5*n. Is 260 bigger than a?
False
Let b = 3543.94279 - -0.05721. Which is bigger: -0.1 or b?
b
