m?
True
Let c be (-182)/92 - -4 - 2. Which is smaller: c or 0?
0
Let x be (-9)/(-6) + (-1)/2. Let c(p) = -p**3 - 5*p**2 + 6*p + 6. Let u be c(-6). Let a be (-3)/9 + 2/u. Which is greater: a or x?
x
Let d = -55 + 56. Which is bigger: 2/271 or d?
d
Let y(v) = 4*v**2 - 2*v + 1. Let s be y(0). Which is smaller: s or 10/13?
10/13
Let k = 26 - 53/2. Is k smaller than -55?
False
Let l be (-4)/(-3) + (-28)/(-6). Which is smaller: -1/2 or l?
-1/2
Let m be -1 + 8 + (-2)/2. Let p = -6 + m. Which is greater: 6/5 or p?
6/5
Suppose -4*t + 5 - 1 = 0. Is t at most as big as 4/21?
False
Suppose -5*a - 5*m + 20 = -45, -5*a + 5*m = -25. Let u = a - 26/3. Which is bigger: 0 or u?
u
Let x = -596/7 - -85. Suppose -2*f = -f - 2. Suppose -f*n - 3 = -5*j, n + 0 = 5*j - 4. Is n at most x?
False
Let d = 957644545715213/22986 + -41662078653. Let v = 25/2554 + d. Let o = v - 252. Which is smaller: o or -1?
-1
Suppose n = 5*n - 12, 2*y = 4*n + 4. Let d be y/(-36)*(-3)/(-6). Let t be 0 - (1 - 0/(-1)). Is t greater than or equal to d?
False
Let u = -29504/451 + 718/11. Is u > 0?
False
Suppose -r + 6 = -4*m - 11, -2*m + r = 9. Let l be ((-6)/m)/(12/32). Is 5 at least as big as l?
True
Let u = 15 + -14.1. Let a = u - 1. Is a < -1?
False
Let p = -41 - -40.7. Let d = 1 + -1. Which is smaller: d or p?
p
Suppose 4*r - 48 = -4*o, r + 33 = 4*o - 0*r. Let a be (-28)/(-3) + (-18)/54. Is o != a?
False
Suppose p + 5*t = -3, -t = -4*p + 2*t + 11. Is 3 not equal to p?
True
Let i = -53 - -29. Let b be 688/6*14/i. Let h = b - -67. Which is smaller: h or 1?
h
Let z be 2/5 - (-28)/30. Suppose 5 = 5*m, 2*m + 0 + 2 = n. Suppose 15 = 5*g + 2*h, 2 - 27 = -5*g - n*h. Which is bigger: g or z?
z
Let c(y) = -y**2 + 4*y - 1. Let s be c(4). Let v = -3 - -2. Let u be (2/2 + v)/1. Is u >= s?
True
Let w(d) = d**2 - 4*d - 2. Let t be w(6). Is 12 at least t?
True
Suppose -5*o = -8*o + 9. Suppose 3*i = 9, -o*h - 2 = 5*i - 20. Which is smaller: h or 2?
h
Let b = 6959/30 + -232. Which is smaller: b or -1/3?
-1/3
Let v = 0.8 + -0.5. Is 8 bigger than v?
True
Suppose 13 = -5*j + 38. Suppose 0 = -j*h - 4*u - 17, 3*h + 5*u = -h - 19. Suppose -3*s = 3*q + 6, 2*q + 4 = s - 4*s. Is s less than h?
False
Let d be (-3)/8 - 34/(-48). Which is bigger: d or 1?
1
Let n = -7975/17 - -469. Which is bigger: n or 0?
0
Let w(q) = -q**2 + 6*q + 10. Let p be w(7). Let g be 1*(p - 6 - -3). Do g and 2/3 have the same value?
False
Let y be (-4)/8*-1*-2. Let f = -8/63 - 149/315. Is y at most as big as f?
True
Let a = -92 - -92. Which is bigger: a or 1.3?
1.3
Let m be 24*(4/2 + 1). Let s = -431/6 + m. Let d = -1 + 1. Are d and s nonequal?
True
Let j(i) = -6*i**2 - 3*i - 1. Let l be j(-4). Which is bigger: l or -86?
l
Let a be (-10)/(-25) + (-107)/5. Let s = 23 + a. Is s less than -2?
False
Let z = 87 + -86. Let c be (-2*(-1)/(-12))/(-1). Is c greater than z?
False
Let c = -160 + 181. Is c at least as big as 21?
True
Let y be (-2)/(-3) + 236/(-90). Let v = y - -14/9. Which is smaller: -2 or v?
-2
Let g = -2.6 + 2. Let i = -1.4 + g. Is 4/7 smaller than i?
False
Let q = 13/45 - 2/9. Which is bigger: 0 or q?
q
Let s = -81.4 - -75. Let d = -2.6 + s. Is d at most as big as 1/4?
True
Let p(z) = -2*z - 10. Let s be p(0). Is s at least -31/3?
True
Let t be 1 - (1 - -3)*-1. Suppose -2*w - 10 = 4*u, t*u + 5 = -4*w - 0*w. Which is greater: w or 2?
w
Let c be 1/(2/32) + -1. Let v be (-6)/14 + c/35. Is 7/5 > v?
True
Let j(p) = p**2 + 6*p - 9. Let v(d) = -d**2 - 2*d + 1. Let f be v(-4). Let w be j(f). Is 0 not equal to w?
True
Suppose 9 = 4*k + 1. Let z be (2 - -1 - 2)*2. Is z greater than or equal to k?
True
Let o = 15 + -8. Let p = -7 + o. Let v = p + -1. Which is greater: -2/5 or v?
-2/5
Let a = 14/13 - 167/143. Is a smaller than -1?
False
Suppose 850 - 321 = -23*n. Is -2/5 at most as big as n?
False
Let m = -68451/4 + 16986. Let q(g) = 4*g**2 + 4*g + 6. Let u be q(5). Let h = u + m. Which is greater: h or -1?
h
Let c = -7 + 11. Let k = c + 2. Is 8 greater than or equal to k?
True
Suppose 5*a = 2*a. Is a < -1/8?
False
Let h(a) = a - 39. Let j(r) = -8. Let c(q) = 2*h(q) - 11*j(q). Let b be c(-8). Which is bigger: b or -5?
-5
Suppose 0 = 3*j - 1 - 8. Is j at most 4?
True
Let h(a) = -a**2 + 10*a + 8. Let d be h(10). Let v be d*(44/(-16) + 3). Is v at most as big as -2?
False
Let f be (-1*5/15)/(2/20). Which is smaller: f or -4?
-4
Let z = 0.02 + -2.02. Let c = 1 - z. Is 2/3 bigger than c?
False
Let t = -9 - -12. Let h be (t - (-38)/(-12))*-8. Which is smaller: 2 or h?
h
Let q = 4 + -5. Let l(v) = -v + 3. Let h be l(3). Suppose -2*o - o - 6 = h. Is q <= o?
False
Let o = 3/344 + -1121/344. Which is smaller: o or -3?
o
Let j(i) = 5*i**3 + 3*i**2 + i + 1. Let r be j(-3). Let n be 40/r*(-2)/(-8). Let d = -2 + 2. Is d greater than n?
True
Let x = 0.049 - 0.349. Which is smaller: -2/9 or x?
x
Let s = 3 + -7. Let f be (3 - 1)*26/(-4). Let t = -27/2 - f. Is s <= t?
True
Let d = 2 - 3. Let x = -7 + 4. Let f = x + 8. Is d smaller than f?
True
Let i = -12 + 17. Is 7 equal to i?
False
Let u = -3 + 0. Let q = -4 - u. Are -2/3 and q unequal?
True
Suppose 3*f - 26 = -5*z - 7, 21 = 5*f + 3*z. Suppose -7 = -5*i - d + 5*d, 2*i + f*d - 12 = 0. Is 3 at least i?
True
Let y be -1 + 2 - (-4 + 2). Let w be 6/(-9)*y/2. Is 0 at most as big as w?
False
Let p be ((-6)/(-9))/(-3 - -1). Let m = 954 + -1853/2. Let z = 28 - m. Which is bigger: z or p?
z
Let a = -12 - -11. Let i(m) = m. Let c be i(a). Are c and -7/6 equal?
False
Suppose 21*s - 7*s - 14 = 0. Let m be (-2 + (-38)/(-18))*2. Which is bigger: m or s?
s
Let m(h) = h**2 - 10*h - 13. Let w(b) = b**2 + 2. Let o be w(-3). Let u be m(o). Let r be -2 - 2/4*u. Is -2/9 at most as big as r?
False
Let h be ((-4)/(-14))/((-6)/38). Let q = -1136/651 - h. Is 1 >= q?
True
Suppose -3*w = 3*w. Is -2 smaller than w?
True
Let w(a) = 6*a. Suppose 2*r - 1 = -3. Let d be w(r). Let i be ((-4)/21)/(d/9). Is i greater than 1?
False
Let f = -25 + 36. Suppose 4*j - 3 = -f. Is j bigger than -2?
False
Let u be (-66)/(-28) + 24/(-16). Suppose 2*t - 4 + 1 = -g, -2*t + 4*g = 2. Which is smaller: t or u?
u
Let p be 1/2 + (-2)/(-12). Let b = -14 + 14.07. Let r = 0.17 - b. Which is bigger: p or r?
p
Let k = 73 + -47. Is k greater than 25?
True
Let f = 5 - 8. Let s = f + 2. Is -1 < s?
False
Let z(y) = 7 + 7*y**2 - 4*y - y**2 - 3*y**2 - 4*y**2. Let w be z(-5). Does w = 2?
True
Suppose -z = -3*v - 55, -z + 2*v + 58 = -0*z. Do z and 65 have different values?
True
Let r = 3 - 2.9. Let x = 27 + -28. Is x <= r?
True
Let b = 21 + -20.9. Is b at most as big as 0.17?
True
Let u = -10 + 7. Let s = u - 2. Let o = s - -5.1. Which is greater: o or 1/3?
1/3
Let j(t) = t**3 + 1. Suppose 0 = -4*i - 3*u + 1 - 5, -4*i = -2*u + 4. Let r be j(i). Let f be 2/8*(1 + 2). Which is bigger: r or f?
f
Let o be 24/(-12)*(-2)/(-4). Let i be (-10)/(-24) - 2/3. Which is smaller: o or i?
o
Suppose 60 = x + 3*x. Let y be 8/x*3/4. Let d be -2 + 0 + 5 + -2. Are d and y unequal?
True
Let u = -7 - -11. Let i = u + -4. Suppose 0 = -4*g - 0*g. Is i bigger than g?
False
Suppose -3*l + l = -k + 11, 4*k - 55 = -3*l. Which is smaller: 14 or k?
k
Suppose z = 5 + 2. Which is bigger: z or 3?
z
Let n(d) = 2*d - 2. Let i be n(-3). Let s be (-62)/i + (-4)/(-16). Is 9 bigger than s?
True
Let b = 1 + -3. Let q be (4/4)/(b/6). Is q >= -3?
True
Let r(h) = -h - 6. Let c be r(-10). Suppose 0 = 4*g + 6 - 2. Let n = 6 + g. Is n >= c?
True
Let q be 104/24 + (-2)/6. Are 7 and q unequal?
True
Let t be (-4*(-2)/(-4))/2. Is t less than -1?
False
Let n = 6 + -6. Let i be 3 - (n/2 - -1). Let x be (4/6)/((-2)/(-3)). Which is smaller: i or x?
x
Let x = -0.4 + 2.4. Let c = 39/2 - 20. Which is greater: x or c?
x
Let z = -0.1 + 0.09. Let a = z - -1.01. Which is bigger: a or 0.1?
a
Let b = 9 + -19. Is -0.4 less than or equal to b?
False
Suppose 0 = 3*t - t. Let l = 1 - 0. Which is greater: l or t?
l
Let k = 0.06 - 0.16. Let i(a) = -a**3 + 2*a**2 + 4*a - 2. Let j be i(3). Which is smaller: j or k?
k
Let c = 7.13 + -0.13. Let h = 6.8 - c. Let l = -0.3 - h. Which is smaller: -1/3 or l?
-1/3
Let c = 0 - -1. Let s = 32 - 32.02. Let i = s - 0.08. Is i > c?
False
Let i(h) = 2*h + 26. Let f be i(-11). Let s = 6 - -14. Suppose 2*x - s = -3*x. Are f and x equal?
True
Let h(x) = -2*x**2. Let t be h(2). Let r = 8 + t. Which is bigger