930/(-4)*856/(-1070). Is 186 equal to f?
True
Let b = 252/109 + -1267/218. Which is bigger: b or 3/22?
3/22
Suppose 0 = -21*z + 229 + 968. Let a be (-20)/8*-2 + z. Which is smaller: 64 or a?
a
Suppose 9*y - 13*y - 12 = 0. Let w be 4/(-54)*y + 12/(-54). Let a be w - -5*4/28. Is 2 smaller than a?
False
Suppose 6*p + 9*p + 825 = 0. Let g be (-6)/(-21) - (-82)/7. Let w be (6/p)/(g/40). Is w greater than 1?
False
Let u be 1/(-6)*2 - 2165/(-15). Let d = u + -145. Let i be (-42)/12 - (-2)/(-4). Which is greater: d or i?
d
Suppose m = -2*l - 7, -5 - 1 = l + 3*m. Let y(k) = -8*k - 31. Let c(t) = t**3 - 9*t**2 - 36*t - 5. Let g be c(12). Let v be y(g). Which is smaller: l or v?
l
Let z = 1183.3 - 1311. Let p = -128 - z. Which is smaller: 4/5 or p?
p
Suppose 3*b + 1 = 13. Suppose -3*a - a + 864 = b*n, -2*a - 432 = -2*n. Is 215 > n?
False
Let l = 64 - 57. Let w = l - 6.416. Let r = 0.116 + w. Is r bigger than 2?
False
Let r(w) = -14*w**2 + 5*w - 10. Let y be r(10). Let h = -55756/41 - y. Which is greater: h or 1?
1
Let p = -683842 - -12990056/19. Is p greater than or equal to -154?
False
Let h(r) = -96*r - 1417. Let d be h(-13). Which is smaller: d or -843/5?
d
Let k = 1028 - 736. Let c be 874/k - (7 - 24/6). Are -1 and c equal?
False
Let b = 0.7251 - -8141.2749. Is b <= 0.1?
False
Let l = -14 - -12. Let o be 250/60 - -2*l/24. Suppose 9 - 17 = o*i. Is i greater than or equal to -2?
True
Suppose -987 - 165 = 8*o. Let q = o - -2017/14. Let l = 2.8 + -3. Is l at least q?
False
Let m be (-19)/(-247)*(-2 - 0). Is -51 less than or equal to m?
True
Let q be ((-2)/10)/(5/(-11125)). Suppose -r = -5*p + 157, q = 4*r - 7*r + 2*p. Which is bigger: r or -146?
-146
Let f(x) = x**3 - 3*x**2 - 3*x - 2. Let p be f(4). Let t be 8 - (38/14 + (-4)/(-14)). Suppose 4*o - t*s + 12 = -p, -6 = -2*o - 4*s. Which is bigger: o or -2/9?
-2/9
Let c(t) = 9*t + 4. Let v be c(-5). Let g be ((-6)/(-15))/((-8)/6 - 3987/(-2970)). Let m = v + g. Which is bigger: 22/7 or m?
22/7
Suppose 172*w - 195 = 344*w - 185*w. Which is bigger: 127/9 or w?
w
Suppose -6636 = 33*y - 5*y. Let w = y - -713/3. Is -150 not equal to w?
True
Let y(c) = 35*c + 315. Let w(n) = 104*n + 943. Let g(l) = 4*w(l) - 11*y(l). Let d be g(-9). Which is greater: 0.9 or d?
d
Let k = 38 - 43. Let i(o) = o**2 - o - 1. Let p(x) = -6*x**2 + 10*x + 3. Let l(f) = k*i(f) - p(f). Let y be l(5). Which is smaller: 12/23 or y?
12/23
Let a = -30392 - -151962/5. Is a < 9/1441?
False
Let z(u) = -u + 2. Let i be z(-6). Suppose -4*n + 136 = -5*q, 205*q = 3*n + 204*q - 124. Is i bigger than n?
False
Suppose -3*g - 15 = -3, -3*g + 39 = 3*q. Suppose -q + 17 = 4*w. Is 1/7 less than or equal to w?
False
Let t(j) = 67*j - 5495. Let r be t(82). Suppose 0 = 2*c - 3*c + 5*d + 35, -5*c = 5*d - 25. Are c and r unequal?
True
Let m = 8392 - 6404. Which is bigger: 1987 or m?
m
Let r(k) = -51*k + 90. Let z be r(-4). Let n = z + -1498/5. Let y(t) = -2*t - 1. Let m be y(3). Which is smaller: m or n?
m
Let x(k) = 12*k**3 - 2*k**2 - 6*k + 10. Let q be x(2). Let d(v) = 7*v + 23. Let z be d(9). Is q less than or equal to z?
True
Let b = 183 - 141. Let c be (0*(-7)/b)/(-2 + 1). Is c smaller than -1/136?
False
Let v be 5 + (13350/375)/(324/(-10)). Is v smaller than 5?
True
Let t = -13 + 2. Let o = 8230 + -41152/5. Which is bigger: o or t?
o
Let a be (22 + 2750/(-132))*(526/(-518) - -1). Which is bigger: 0 or a?
0
Let s(o) = -20*o - 98. Let h be s(-5). Suppose h*i = -5*x + 1427, 4*i - 605 = -2*x - 47. Is 285 not equal to x?
True
Suppose 2*w - 479 = -107. Let p(j) = 20*j**2 - 30*j - 84. Let o be p(-3). Is w at most as big as o?
True
Let z(b) = 1. Let n(c) = -7*c - 1. Let j(k) = 2*n(k) + 2*z(k). Let r be j(1). Is -4/7 equal to r?
False
Let r = -215912671/85623 - -7565/3. Is -1 less than r?
True
Let i be ((-159)/(-1060))/((-813)/16). Do i and 1 have different values?
True
Let k = 10 - 15. Let y(p) = -p**3 + 4*p**2 + 2*p - 10. Let m be y(3). Suppose 3*c - m = 4*c. Is k bigger than c?
False
Let l = -1751 + 1754. Which is smaller: -1.07 or l?
-1.07
Let p = -426 + 427. Which is bigger: -119 or p?
p
Let i = 2810 - 126443/45. Let b = -338/1305 + i. Let n = 1996 - 1997. Which is smaller: b or n?
n
Let g = 48.9 + -7.8. Let h = -58.1 + g. Let s = 3 + -3.1. Are s and h unequal?
True
Let f be (0 - (-2 - -2)) + (-2204)/(-4066). Which is greater: 1 or f?
1
Let k be (-330)/(-50) - (-3)/(-5). Let w be k/3 + 41/(-18). Is w at least as big as 0?
False
Let g = -298213/5 - -60087. Let l = -2181999/4910 + g. Is l less than -1?
False
Let v = -24301 + 24300.9961. Is v != 2?
True
Let g = 8504 + -8504. Is g smaller than 83/57?
True
Let s = -90664 + 65459357/722. Which is smaller: s or 1?
s
Let a = 42 - 167/4. Let f = 1.565 + 1.703. Let d = f - -0.032. Which is bigger: a or d?
d
Suppose -6*t = 4*i - 270, -4*i - 109 = -3*t + 26. Let w be (4/(-110))/(1791/t). Which is greater: w or 1?
1
Let w be (-1)/(15/(-48)) - 1/5. Suppose x - 4*x - 3 = 3*n, 3*n - w*x = -3. Which is bigger: n or 10?
10
Suppose -5*y = -f + 20, -2*y = f - 5*f + 26. Suppose -u = 2 - 3, -f*g - 39 = u. Which is bigger: -5 or g?
-5
Let a be (8 - (-124)/(-28)) + 8/(-14). Let t be (6 - 102/18)*a. Is t less than or equal to -6/19?
False
Let p(w) = w**2 + 12*w + 17. Let d be p(-10). Let y be 7/d*30/125. Is y <= 0?
True
Let c be ((-60)/16)/(27/(-2124)). Let x = c - 327. Which is smaller: x or -131/4?
-131/4
Let o = 26030251/1509 - 17250. Let p = o - 10899/1006. Which is bigger: p or -1?
-1
Let t(w) = 850*w + 2548. Let n be t(-2). Which is smaller: n or 847?
847
Let l = -8353 - -8353. Suppose -i = 3*i + 12. Let d be (-4)/i*(-9)/(-66). Which is smaller: l or d?
l
Let c = -440001/7 + 62581. Let d = c - -276. Is d at most 163?
True
Suppose 124*l - 130*l + 48 = 0. Let o be (-3 - (-46)/12)/(36/l). Which is bigger: -1 or o?
o
Let j = -4293 - -4465. Is j at least as big as 173?
False
Let x = -867 - -839. Let a be x*(1 - (-9)/(-36)). Is -18 greater than or equal to a?
True
Let y = -22 - 43. Let j = y + 23. Let b = j + 40. Is b greater than or equal to 20?
False
Let m(r) = -22*r - 677. Let v be m(-22). Which is smaller: v or -195?
-195
Let s = -11 - -29. Suppose -g + 3*i = 5, -6*g = -3*g - 4*i + 15. Let j be 43/430 + (-7)/g + -2. Are s and j unequal?
True
Suppose 547*y = 489*y + 54868. Which is smaller: y or 948?
y
Let q(x) = 312*x**2 + 25*x + 28. Let b be q(-1). Is b bigger than 3?
True
Suppose 31 = -k - 4*j - 37, -2*j = -2. Let f be ((-1)/(-46))/(4/k). Which is greater: f or 1?
1
Let s(k) = 9 - 2*k + 3*k - 6. Let r be s(3). Let g(n) = n**2 - 6*n. Let i be g(r). Which is greater: i or 2/27?
2/27
Suppose -4*j - 8*u + 6*u + 18 = 0, -4*u = 12. Suppose 0 = j*t + 3*t - 144. Which is greater: 89/6 or t?
t
Let b = -75.41 - -64.65. Are 1 and b equal?
False
Suppose -34*j = -153*j - 119. Which is greater: 1/455 or j?
1/455
Let r = -1.8 + 2. Let y(c) = c**2 - 2*c - 1. Let h = -38 + 36. Let m be y(h). Which is bigger: m or r?
m
Let a(i) = -i**3 - 11*i**2 - 39*i - 45. Let h be a(-5). Let b be ((-4)/(-28))/(4608/14399). Let t = b + -1/512. Is t less than h?
False
Suppose -27*t = -145893 + 10947. Is 4998 greater than t?
False
Let i(t) = 299*t - 933. Let r be i(3). Are -660/19 and r equal?
False
Let p(s) = 17*s**2 + 68*s + 57. Let l be p(24). Let c = 1733625/151 - l. Is c at most 0?
True
Suppose 8*m + 225 = 3*m. Let t be 312/32*48/m. Is -11 at least t?
False
Suppose 0 = -1072*j + 1041*j + 89714. Which is smaller: j or 2895?
j
Suppose 0 = -d + h + 6, -35*h = 4*d - 32*h + 11. Are d and 23/11 unequal?
True
Suppose -19*y + 89*y + 528 - 458 = 0. Let j = -175 + 4379/25. Is j at most y?
False
Let n = -109 + 121. Let r(w) = 3*w**2 + w - 1. Let v be r(1). Suppose -5*f + n = -v*f. Is 7 greater than or equal to f?
True
Suppose -4*t + 12 = -m - 33, 63 = -2*m - t. Let c = -41 - m. Let q be -1*(10/(-55) - 2/c). Which is greater: 1 or q?
1
Let z be (-1 + 8/12)*-39. Let v be z/4 + 3/(-1). Suppose -33 = -6*i - 465. Which is bigger: v or i?
v
Let i = -1461 + 1460.9. Which is smaller: i or -972?
-972
Let p(o) = 3*o**2 + 7*o - 2. Let i be p(-5). Suppose -527 = -20*d + 993. Suppose -134*f + d = -132*f. Is i greater than f?
False
Let y be (350 - 5)/(66/(-44)). Which is smaller: -225 or y?
y
Let r(j) = j**3 + 49*j**2 + 491*j + 43. Let x be r(-28). Is 5515/2 not equal to x?
True
