: x or q?
q
Let j be ((-4)/(-7))/(-1 - (-20)/28). Are j and -23 non-equal?
True
Let o be 199/2982*-2 + (-2)/(-14). Is o equal to 1?
False
Suppose 64 + 34 = -49*r. Let o(x) = x**2 + 1 - 2*x - 6*x - 7. Let i be o(9). Is r at most as big as i?
True
Let t = 2 + 1. Suppose -5*q = -w - 9 - t, -4*w = 5*q + 23. Is -7 at most as big as w?
True
Let w(s) = -s + 6. Let n be w(4). Let j(c) = -5*c**2 - 2*c - 2. Let r(y) = -y**2 + y + 1. Let b(p) = n*r(p) + j(p). Let h be b(1). Which is greater: h or -5?
-5
Let r(k) = 2*k - 2*k + k - 7 + k. Let x be r(5). Let o be 126/30 + (0 + -3 - -1). Is x less than or equal to o?
False
Let z = -0.11 + 0.19. Let p = -0.99 - 0.01. Is z bigger than p?
True
Let s = 279 + -283. Suppose -5*p - 10 = 0, -p + 0 = -3*w - 4. Is s < w?
True
Let l = 3 - -44. Which is bigger: l or 48?
48
Let o(x) = -x**2 + 2*x - 1. Let u be o(4). Let i be 3 - 18/(-51)*u. Suppose 21*l - 11 = -32. Which is greater: i or l?
i
Let a be (-5 - -3) + 0 + 1. Let x = 1379 + -23450/17. Which is bigger: a or x?
x
Let b be (1 + -1)*(440/20 - 21). Is b less than or equal to 21/122?
True
Let l be (-2)/(-6) - (-4)/(-12). Which is bigger: 2/145 or l?
2/145
Let h = 19 - 57. Let o(g) = g**3 - 8*g**2 + 7*g - 7. Let y be o(6). Are h and y nonequal?
True
Let s be (32/(-14))/(-4) + (-15026)/26565. Which is bigger: s or -1?
s
Let g(a) = a - 2. Let m be g(5). Suppose 0 = -4*x - w + 5, 5*x - 1 = -2*w + m. Let z = 4 - x. Is 4/7 > z?
False
Let l = 2.7 - 4.1. Let m = -16 + 16.3. Let n = m + -1.3. Which is greater: n or l?
n
Let k be ((-3)/(-4))/((-1)/(-4)). Let n be (-1)/(6/(-9) + 3 + -2). Let f(b) = 2*b**2 + 5*b + 6. Let j be f(n). Is j < k?
False
Suppose 43*v - 1336 = 47*v. Do -334 and v have the same value?
True
Suppose -2*u = 4*h - 2, h + 4*u = -2*h - 6. Suppose 0*f = -2*f + h. Suppose 71*t - 63*t - 24 = 0. Which is bigger: t or f?
t
Let n = -15 - -12. Let d = -1.1 + 0.4. Let g = d + 0.8. Is g equal to n?
False
Suppose l = -s - 5, 21 = -4*s - 3*l + 5. Let r be 36/105 - 3/21. Which is smaller: r or s?
s
Let b(s) = 30*s + 680. Let k be b(-22). Is k not equal to 12?
True
Let h = 1.24 - 7.24. Let b = -7 + 9.1. Let o = b - 2. Which is greater: o or h?
o
Let d be 10760/4632 - 35/15. Is -0.03 <= d?
True
Let t = 61 + -10. Let v = -44 + t. Are -0.01 and v unequal?
True
Let c = 0.4 - 2.4. Let m = 3.95 - 4. Let p = 0.05 - m. Is p bigger than c?
True
Let b = 69 + -47. Let r = b + -24. Which is greater: r or -4?
r
Suppose -5*o = -3*a + 370, -2*o - o + 5*a = 206. Let k be ((-153)/2)/1 - 3/(-6). Which is smaller: o or k?
o
Let u be ((5 + 1)/6)/5. Which is greater: u or -2/3?
u
Let c = -400 - -406. Is c at most 3/32?
False
Let j = -4/697 + -1308/697. Do -2 and j have the same value?
False
Let c be (2 + (-39)/16)*6/14. Is c equal to 0?
False
Let b = -1.04 + 0.84. Let r = 0.1 - b. Which is greater: -1/5 or r?
r
Suppose 2*c - 9 = -4*s + 11, -5*c = 4*s - 26. Let x = -143/6 - -24. Which is smaller: c or x?
x
Let h be 1684/(-14) + 12/42. Let f be 0 + -1 + (1625/h)/(-13). Which is smaller: 0 or f?
0
Suppose 2 + 2 = 2*k. Suppose -1 - k = 3*f. Let c be 7*(1 - 42/35). Is c at most f?
True
Let k be (4/21)/(146/(-219)). Is -92 at most as big as k?
True
Let u(f) = -f**2 + 6*f + 15. Let o be u(7). Suppose -5*t = -6 - 14. Let c be t*(4 - 26/o). Which is smaller: 2 or c?
2
Let k = -0.25 - 19.75. Let z = k + 21. Is z >= -5?
True
Let s(f) = 4*f**2 + 37*f + 7. Let w be s(-9). Which is greater: w or -2/25?
-2/25
Let n(w) = w**3 + 10*w**2 + 18*w - 4. Let m be n(-8). Let o = m + 28. Suppose 3*j + j - o = 0. Is 2 smaller than j?
False
Let j be ((-3)/(-6))/((-9)/18). Which is smaller: 1/16 or j?
j
Let v be (-16)/28*63/66. Let g(q) = q**3 + 4*q**2 - 4*q + 3. Let l be g(-5). Let f be 0/(2*1/l). Which is greater: f or v?
f
Let q = -65 - -57. Let n be (-1)/3 - (q/(-12))/1. Which is smaller: 4/27 or n?
n
Suppose 15*w - 7*w = -8. Let u be (-33)/(-21) + w - 6/(-14). Is 6/13 at least u?
False
Let n = 73 - 68. Suppose -n*s + 91 = b, -5*s - 4*b = -68 - 26. Is s at most as big as 17?
False
Suppose -s = 5*b + 5, -4*b - 3*s + 10 - 25 = 0. Suppose -4*o + 7*o + 3*k - 15 = 0, 40 = 3*o - 2*k. Suppose o*v + 14 = 3*v. Which is greater: v or b?
b
Suppose -4*m - n + 1 = 4*n, -5*m = 4*n - 8. Which is greater: 26/5 or m?
26/5
Let p = -6.24 - -1.1. Let v = -197.86 - -198. Let k = v + p. Is 0 less than or equal to k?
False
Let s(k) = -k**2 + k + 6. Let l be s(-2). Which is bigger: -6 or l?
l
Let x = 44 + -44. Suppose x = -2*y - 3 + 9. Is y not equal to 4?
True
Let w = -5 + 5. Let r(p) = p**2 - 2*p + 3. Let v be r(w). Suppose -2*n + 20 = 3*n. Is v not equal to n?
True
Let s = 11.14 - 11. Let w = s - -12.86. Is -0.2 less than w?
True
Suppose 24 - 21 = 3*l. Is 223 less than l?
False
Let j(s) = 4*s - 4. Let t(d) = 12*d - 12. Let x(c) = 8*j(c) - 3*t(c). Let a be x(-4). Let v = a - 16. Is v less than 4?
False
Suppose -x + 4*x - 2*b = 8, x = -4*b + 12. Suppose -j = -9 + x. Which is bigger: 18/5 or j?
j
Let c = -6 - -6. Let j = 5 - c. Suppose -j*u - 8 = -u. Are -2 and u non-equal?
False
Let w = 10.5 + -10.44. Do 1/4 and w have the same value?
False
Let b = -0.0833 + -22.4167. Which is greater: 2 or b?
2
Let m be -2 + (-1 - 280/(-94)). Let o(z) = z**3 - 11*z**2 + 26*z + 13. Let h be o(7). Is m != h?
True
Let v(b) = -b. Let u be v(-3). Suppose 0 = 5*l + 10, s + 4*s = u*l - 54. Suppose 3*z = -4*n + 3 - 50, 5*z = -2*n - 69. Is s smaller than z?
False
Let z be 10/(4/444*3). Let r = 1489/4 - z. Let v = r + -2. Which is smaller: v or 1?
v
Let o = -9 - -7. Let n = o - 9. Let w = 9 + n. Which is smaller: w or -4?
-4
Let v = 57 - 23. Suppose 22 = t + v. Let u be (t/(-63))/((-36)/(-42)). Is u at least 0.07?
True
Suppose -5*d = 5*a - 125, -2*a + 23 + 32 = 3*d. Are 21 and a equal?
False
Let f = 239 - 245. Which is smaller: f or -0.16?
f
Let d(i) = i**2 + 6*i - 2. Let b be (-2)/((-6)/(-9))*-1. Suppose -4 = 4*a + 4*g, b*a + 4*g - 2 = -0. Let y be d(a). Is 0 at least as big as y?
True
Let s be 2/(-10) + (-21)/(-5). Suppose s*r = -0*r + 16. Suppose -l - r*l - 3*j - 35 = 0, 5*l - j = -35. Is l bigger than -6?
False
Let v = 5 + 2. Suppose 5*z + 2 = v. Are 1 and z non-equal?
False
Suppose 0*a = 5*a - 15. Let i(r) = -10*r + 69. Let u(b) = b + 1. Let q(x) = -i(x) - u(x). Let y be q(8). Which is smaller: y or a?
y
Let i = 22 + -26. Let b = -10 - i. Let v(g) = g**2 + 9*g + 9. Let p be v(b). Does -11 = p?
False
Let n be (28/(-42))/((-31)/(-3)). Let l = -0.7 + 0.8. Which is smaller: l or n?
n
Let b be 2 + 100/(-45) - 4/(-18). Let o be ((-3)/3 - b)*6. Are o and -1 equal?
False
Suppose -120*a + 116*a = -124. Which is smaller: a or 32?
a
Let v = 1793831/259 + -6926. Are v and 0 non-equal?
True
Let j be (-27)/96*(12 - (-32)/(-3)). Suppose -5*q + 3*r = -2*r, 0 = 2*q + 4*r. Is j less than or equal to q?
True
Suppose -3*y + b = 7, 28 = -2*y - 71*b + 67*b. Let d = -5 - -8. Let q = d + -2.6. Which is greater: y or q?
q
Let u be 4*6/(-24)*-6. Let p be (u/(-18))/(13/(-6)). Which is greater: 3 or p?
3
Let c be (-46)/115 + 44/185. Is c <= -2/15?
True
Let y be (6 + -5)*(-7)/(-1). Suppose 0 = -3*j + a - 1, 0 = -3*j + y*j - 3*a - 2. Which is smaller: -40 or j?
-40
Let s = -8 + 2. Let f = 22.4 + -21. Let q = f + -2.4. Is s <= q?
True
Let h = -3 + 5. Let f = 242 + -235. Which is smaller: h or f?
h
Suppose 3*u - 4 = 4*q, 3*u + q = 5*u - 1. Let n = 510 + -894. Let l be (-8)/(-6)*(-12)/n. Is u at most as big as l?
True
Let s = -36 + 32.5. Let r = -0.2 + 0.7. Let j = s - r. Which is greater: j or 0.1?
0.1
Let j = 1573/1368651 + -2/40653. Let r = 986/69993 - j. Which is bigger: r or -1?
r
Let i be 16/6*162/72. Let x be 14/8*(2 + i). Is 16 equal to x?
False
Let g = 9.9 + 2.1. Is g bigger than 0?
True
Suppose 4*k - 2*h + 28 = 0, -6 = 3*h - 12. Suppose 20 = -5*g + 4*u - 15, -u = 4*g + 28. Which is smaller: g or k?
g
Let y(u) = 4*u**3 - u**2 + u - 1. Let b be y(1). Suppose 6*w - 16 = -46. Let l be (w/3)/(1/(-3)). Which is greater: b or l?
l
Let i = -2363 + 1611. Is -753 at most i?
True
Let c = -40 - -64. Let x be 19/c - (-2)/(-3). Is -1 at most as big as x?
True
Let m be 6/(-1)*(-13)/(-39) + 2. Which is greater: 12/257 or m?
12/257
Let u be ((-1)/3)/(51/2754). Which is greater: -81 or u?
u
Suppose 4*c = c + 1005. Is c at least 336?
False
Suppose 0 = 2*m + m - 15, -m = 2*l - 19. Let a be (-36)/