big as a?
False
Suppose 0 = g + 3*c - 7, -g + 6*g - 4*c - 16 = 0. Suppose g*k + 6 - 2 = 4*v, 3*k = -5*v - 3. Which is bigger: 7 or v?
7
Let y(g) = g**3 - 10*g**2 + 8*g - 1. Let t be y(9). Let z = -7 - t. Suppose -z*p + 6 = -p. Which is bigger: 1 or p?
p
Let z = 32 - 47. Let l = z + 19. Which is bigger: 2 or l?
l
Let p be (560/(-98))/(4/(-14)). Suppose -14 = -j - 2*y, 0*j + j = -5*y + p. Suppose -j = 31*o - 26*o. Which is greater: o or 1?
1
Let b = 0.19 + -0.09. Let w = -0.2 + 0.4. Let s = -0.2 - w. Which is smaller: s or b?
s
Suppose -5*w - a - 40 = 31, -w = 2*a + 16. Which is smaller: -19 or w?
-19
Let u = -7 - -8. Let n(g) = -g**3 + 7*g**2 - 5*g - 2. Let x be n(6). Let s be (12/88)/(9/x). Is u <= s?
False
Suppose -3*p + 5*p = 18. Suppose -4*h - 15 = 5*a, -4*a + p = 5*h - 7*a. Let b(m) = -m**3 - 1. Let o be b(-1). Is h less than o?
False
Let h be 2 + -66 + (-1)/(-1). Let v(z) = -3*z. Let t be v(21). Does t = h?
True
Suppose -m + 16 = 3*m. Suppose -m*c = 4*h - 4, 2*h = -c - 0*h + 1. Let i(a) = -9*a**3 + a**2 - a + 1. Let u be i(c). Is -1/4 at most u?
False
Suppose 0 = -3*h - 15, -p - 4*h + 50 = -5*h. Let s = 63 - p. Which is bigger: 15 or s?
s
Let j be (-50)/(-40) - 131/92. Let q(b) = -2*b - 15. Let y be q(-7). Which is bigger: j or y?
j
Suppose -3*f = -5*x + 585, -x - 4*f + 125 = -3*f. Let a = x - 128. Is -7 less than a?
False
Let i be -12 - (1113 + 9 + -18). Is i smaller than -1115?
True
Let i = -75 + 374/5. Let t = 79.94 - 80. Which is bigger: i or t?
t
Suppose 0*o + 2*o + 3*p + 14 = 0, -5*o + p = 1. Let n = o - 15. Let w = n + 30. Is 13 < w?
True
Let p(s) = -25*s - 50. Let j be p(-14). Is j greater than or equal to 300?
True
Let x be 824836/(-820) - 2*(-2)/(-20). Let k = -1006 - x. Which is smaller: k or 1?
k
Suppose -9*a = -15*a + 174. Which is smaller: a or 25?
25
Let b = -26011177/47535 - -5/9507. Let f = 545 + b. Is -1 less than or equal to f?
False
Let m = 43 - 38.5. Let x = 4.4 - m. Is -0.08 greater than x?
True
Let w = -50 + 49. Let h = 0.09 + 2.51. Let p = -1.1 + h. Are p and w equal?
False
Let y be 770/(-77) - (3 - 14). Which is bigger: y or -3/635?
y
Suppose 5*u = u + 52. Let n be 0/(-1) + (u - -32). Let z be (n/(-30))/(186/8). Is z at most as big as -1?
False
Let p(i) = 13*i**2 + 6. Let j be p(4). Let k = -108 + j. Let a be 8 + -7 + k/(-102). Is a at least 0?
False
Let b be (-8)/(8/(-5))*(0 + -1). Let w = 8 + -14. Which is greater: b or w?
b
Let o = 0.26 + -18.26. Which is bigger: o or 1?
1
Let b = 0 - -0.1. Let y be 382/38 + -64 + 54. Which is greater: b or y?
b
Suppose -4*y + 9 = -87. Let c be 28 - 1/(6/y). Which is bigger: c or 26?
26
Let w(r) = r**3 - 10*r**2 + 10*r - 4. Let k be w(9). Suppose m - 11 = 3*q - 0, k*m - 23 = -q. Is q not equal to -15?
True
Suppose 4*s - 346 = 2*h - 1080, -s + h - 181 = 0. Are s and -186 non-equal?
False
Let a(o) = -o**3 - 17*o**2 - 29*o + 14. Let c be a(-15). Let y = -2 - -2.02. Let l = -2.02 + y. Which is smaller: c or l?
l
Let d = -11 - -9. Let a be d/66*18/21. Let t = -85/308 - a. Is 2/3 less than t?
False
Let r(b) = -2*b + 30. Let a(o) = -o. Let j(m) = -4*a(m) + r(m). Let u be j(-14). Is u greater than or equal to 22/7?
False
Let y = 129/13 + -1608/221. Let b = y - 399/170. Let p(t) = t + 1. Let x be p(0). Which is smaller: x or b?
b
Let w = 17 + 4. Let h = w + -5. Let m = h - 16.2. Which is bigger: m or 1/5?
1/5
Let a = -1245 - -1246. Which is greater: -2/315 or a?
a
Let n be (-10 + 11)*(-1 + 4). Suppose 0 = -n*q, -4*y - 2*q - 156 = -5*q. Let a = y + 58. Does 1/2 = a?
False
Let u = 0.673 - 1.673. Which is bigger: -0.408 or u?
-0.408
Let a = 0.2 - 0.1. Let k be (-14)/(-12) + 2672/(-2505). Is a at most as big as k?
True
Let v(a) = 3*a**2 - 2*a**2 - a**2 + a**2 + 6*a + 5. Let c be v(-3). Let w be (c - -3)/(1/(-9)). Do w and 9 have the same value?
True
Suppose -7*v - 12 = -4*v. Let h be -1*v/(-174)*3. Let g = 14 + -13. Is g less than or equal to h?
False
Let b(j) = -84*j - 13. Let n be b(-2). Suppose 3*g - 68 + 211 = -5*t, -t = -3*g - n. Is g less than -51?
False
Let z(s) = 2*s - 2. Suppose a - 3 + 6 = 0. Let d be z(a). Suppose -5*m + 2*i - 53 = 0, -2*i + 4 = m + 5. Which is bigger: d or m?
d
Suppose -p - 65 + 71 = 0. Let l be (122/p + 0)*3. Which is smaller: 60 or l?
60
Suppose 2170 = 5*v - 2*o, 2*o - 4*o - 868 = -2*v. Suppose 11*u - v = 4*u. Which is bigger: 63 or u?
63
Suppose -23*o - 30 + 7 = 0. Are o and 3 nonequal?
True
Let h = -4.274 + 4.26. Which is smaller: h or 0.1?
h
Let o(p) = p - 7. Let x be o(6). Let a be (-4)/((-8)/(-2))*x. Is a less than 2/13?
False
Let g be (-1)/3 - (-2)/(-3). Let v be (12/(-55))/((18/(-20))/(-3)). Which is bigger: g or v?
v
Let v be 4 + 200/(-48) + 125/66. Is v not equal to 1?
True
Let g be 7 + (-6)/(3 - 1). Let m(z) = z**2 - 3*z - 2. Let x be m(g). Suppose 0 = -4*l - l - x*k - 2, k = 2*l - 1. Which is smaller: 1/6 or l?
l
Let u(d) = 4*d - 21. Let g be u(14). Suppose 0 = -5*m - g - 10. Which is bigger: -11 or m?
m
Suppose -2*a = -3*f + 38 + 25, -3*a = -5*f + 96. Let p = 29 + a. Is p smaller than 18/7?
True
Suppose 5*n = 3*b - 54, -4*n + b + 2*b - 45 = 0. Let d be (-15)/(-40) + (n/8 - -1). Is -1/15 less than d?
True
Let l = 4/1771 - 56708/15939. Is l at least -5?
True
Let j(n) = 8*n + 17. Let o(q) = q. Let z(r) = j(r) - 6*o(r). Let y be z(-5). Which is smaller: 0.8 or y?
0.8
Suppose 0 = r - 2*c + 15, 0 = 5*r - 5*c - 1 + 66. Let l be (r/5 + 2)/(28/(-35)). Do l and 0.4 have the same value?
False
Let v = 2 - -7. Let x = 1 + 1. Suppose -x*h + 3 = k - 2, 0 = -4*h + 5*k - 11. Which is bigger: h or v?
v
Let i(r) = 154*r + 117. Let t be i(-3). Which is smaller: t or -346?
-346
Suppose -3*d + 2*c - 108 = -7*d, 4*c = 3*d - 70. Suppose -b - 5*h = d, -h + 5*h = -20. Is b greater than -1?
False
Let z(o) = o**2 - 6*o - 1. Let w be z(-9). Suppose -3*j - 63 = -3*i + 66, 3*j + w = 4*i. Let v = j - -155/4. Is v < 1?
True
Let n = 34.1 - 1.1. Let v = 32.5 - n. Is 4/3 <= v?
False
Let w(f) = -14*f + 2. Let a be w(1). Let v be 8/(-6) - 160/a. Is v < -1?
False
Suppose -188 = -4*w - 2*v - 2902, 0 = -2*w - 4*v - 1366. Does w = -677?
True
Let u = 39 - 33. Let z be 1*(u - 2 - 4). Which is bigger: 10 or z?
10
Let y = -450 - -450.1. Which is smaller: 3/50 or y?
3/50
Let l = -4.19 + 3.19. Which is greater: l or -3/404?
-3/404
Let u(a) = -7*a - 137. Let w be u(-25). Which is greater: w or 24?
w
Suppose -2*x = -t - 6, -2*t - t + 37 = 5*x. Let p be 91/(-28) + (-3)/t. Let g = p + -1. Is -5 equal to g?
True
Let d = 4 - -1. Suppose -6*p = -d*p + 11. Let q = -146 - -136. Which is bigger: q or p?
q
Let v be ((-897)/(-65) + -15)/(2/(-5)). Which is smaller: -9 or v?
-9
Suppose 0 = -16*p - 4 - 12. Let w = 29 - -6. Let m be (-49)/w + (-4)/(-10). Is m equal to p?
True
Suppose -9*l - 22 = 1103. Is l smaller than -126?
False
Let s(j) = -2*j - 18. Let o be s(-12). Let h be ((-24)/(-20))/((-2)/(-10)). Suppose 3*n = -5*r - o - h, n = -4. Is 7/5 not equal to r?
True
Let q = -1331 - -1328. Which is greater: q or 103?
103
Let j = -26 - -41. Let r be (-2 - 1 - -3)/(1*-1). Suppose r*a - j = a. Is a less than -15?
False
Let o be 440/(-20)*(-5 + 2). Which is smaller: o or 64?
64
Suppose 2*w + 2046 = -20*w. Which is greater: w or -94?
w
Let f(a) = a**2 + a + 2. Let v be f(-3). Let h be 12/v*4/6. Let y(j) = -j**2 - 5*j + 15. Let m be y(-7). Do h and m have different values?
False
Let m(u) = -25*u - 178. Let c be m(-7). Is 8 >= c?
True
Let s = -4/943 + 139/3772. Which is smaller: s or 0?
0
Let y = 304 - 303.6. Let i be 8/6*(-2)/16. Which is smaller: y or i?
i
Suppose -c = b + 5 - 2, 4*b + 3*c + 8 = 0. Suppose -3*g = -2*q - 315, 0*g = g - 5*q - 105. Let j = g - 841/8. Is j smaller than b?
True
Let f = -19 - -19.3. Let a = f - 1.3. Is a smaller than 24?
True
Let m be 2*(0 - (-1)/13). Suppose 0 = 4*p + 12, -22 = -2*s + 5*p - 1. Suppose n = -2*n - s. Which is smaller: n or m?
n
Let c(k) = k**2 + 11*k. Let r be c(-12). Suppose 5*t = -3*g - 18, 4*t + r = -4*g - 4. Is t less than -4?
False
Let p = 891 + -891.11. Which is bigger: p or 38?
38
Let l = -1772149181/936 - -1893322. Let c = l - 5/24. Which is bigger: c or 1?
1
Let n be -5 + -12*7/14*-1. Let a = -13494/17 + 794. Which is greater: n or a?
n
Suppose 4*g + 37 + 35 = 0. Let m be 48/14 - g/(-42). Suppose a = -m*a - 16. Is 0 not equal to a?
True
Let i be (-6)/4 + 1 +