
Suppose 5*q + 4*x - 7 = 0, 2*x = 5*q + 3 + 8. Let u be q*1*(-2 - -1). Let i be 4/(-2) - (-1 - u). Which is bigger: i or -2?
i
Let s = -2 - -5. Suppose p + 4 = 0, 5*p = s*k + 3*p - 17. Is k greater than 3?
False
Let m(r) = r - 6. Let j be m(0). Suppose 6*w + 7 = -17. Which is greater: w or j?
w
Suppose -r = 2*r + 27. Let l = r + 8. Is -5 bigger than l?
False
Let l(r) = -3*r**2 + 1. Let y = -4 + 5. Let b be l(y). Let w be 0 + b + -2 + 1. Is w at most -3?
True
Let j = -3/16 + -23/48. Which is greater: j or 3?
3
Let x = -0.08 - 0.22. Let j = -39/5 + 21. Let f = -68/5 + j. Which is greater: f or x?
x
Let k be 6/(-60) - 3/(-12). Which is bigger: k or -1?
k
Let i = 181 - 201. Which is bigger: -17 or i?
-17
Let a = 0 + 4.07. Let z = 4 - a. Which is smaller: z or 1?
z
Let a = -13/5 + 127/45. Is -1 != a?
True
Suppose 2*p + k - 19 + 188 = 0, 253 = -3*p - 2*k. Do p and -85 have different values?
False
Let a be (-2)/(-7) + 207/(-63). Is a less than -12/5?
True
Let o = 6 + 1. Let m = 6 - o. Which is smaller: -6/5 or m?
-6/5
Let b = 0.82 - 0.12. Let z = 0.9 - b. Which is smaller: z or -0.3?
-0.3
Let j(w) = -w**2 + 6*w - 1. Let b be j(5). Suppose 0*q + 12 = b*q. Suppose q*n = -7 + 4. Which is smaller: 0 or n?
n
Let a be (16/(-4))/(2/(-8)). Suppose -t = -5*j + 1 - 21, -4*j = a. Is t less than 1/7?
True
Let n be 2 + -1*(64 - -2). Let g = 194/3 + n. Let z(i) = i**2 - 2*i + 1. Let o be z(1). Which is smaller: o or g?
o
Let s = -28 + 27.89. Let t = s - -0.08. Let l = 0.07 - t. Is 0 bigger than l?
False
Let s be 3/((-9)/(-6)) + 2. Suppose -2*n = 3*d - 20 - 7, -s*d + 47 = -n. Let p be ((-3)/d)/((-3)/2). Which is smaller: 0 or p?
0
Suppose 2*a = 4*p - 2 - 4, a + p + 6 = 0. Which is smaller: a or 6?
a
Let j be 8/(-10)*390/(-36). Is 10 < j?
False
Let y be -4*((-11)/(-2) - 0). Let p be y/(-3) - 1/3. Let o = 5 - p. Which is greater: -1 or o?
-1
Suppose -3*f = -3*i + 24, 5*f + 8 + 7 = 0. Which is smaller: 6 or i?
i
Let d = -10 - -15. Suppose 0 = -5*f + 4*f - d. Are -6 and f nonequal?
True
Let y be ((-2)/5)/(9 + -11). Suppose 2*k - 2*u + 8 = 0, -4*u = -0*k + 5*k - 7. Does y = k?
False
Let i = -6 - -4. Let u be ((-4)/6)/(i/3). Suppose -10*l + 13*l + 3 = 0. Which is greater: u or l?
u
Let h be 9/30*(-128)/(-12). Let f = h + -91/30. Which is greater: -2 or f?
f
Let f be 1 - (-1)/(1/(-157)). Let j be (-2)/(-10) + f/30. Are j and -6 unequal?
True
Let j = 0 - -0.2. Let f = 0.7 + -0.4. Which is bigger: j or f?
f
Let k = -1 + 2. Let y = 1.2 - k. Let d = 0.2 - y. Is 1 <= d?
False
Let s = 14.28 - 2.38. Let l = s + -12. Is 2/23 < l?
False
Let t = 1 - 3. Let u be t/(-6)*(0 - -2). Let h = 9 + -10. Which is greater: u or h?
u
Suppose 54 = -5*t + 9. Are t and -10 equal?
False
Suppose -343 = 6*d - 13. Which is smaller: -54 or d?
d
Let b be 168/245 + 3/5. Is 1 less than b?
True
Let v be 6/3 - 1/1. Suppose -7*j = -8*j. Is v greater than j?
True
Suppose -4*h - 3 = -2*h - 3*l, 0 = 4*h + 5*l - 5. Suppose 5*y + h = 5. Which is bigger: 2/33 or y?
y
Let s be -2 + 7*(3 + -2). Suppose 4*n + 0*z = -5*z - 31, -s*n - 17 = -z. Let q = n - -2. Which is greater: -3 or q?
q
Let u = 1.2 - -5.8. Let t = -9 + u. Let b = 2 - 3. Which is bigger: t or b?
b
Let p = 50 + -51. Let a = -1/28 + 2/7. Which is greater: p or a?
a
Suppose 9*u + 72 = 13*u. Is 17 > u?
False
Let d(s) = -s**3 + 14*s**2 - 11*s - 22. Let y be d(13). Which is smaller: 0 or y?
0
Suppose -20 = -x - 4*x. Let a be ((-1)/2)/(x/(-16)). Does 2 = a?
True
Let i = 2.3 - 2. Let s = -0.3 + i. Let w = -1 + s. Is w equal to -2?
False
Let y = 3 + 1. Suppose -x + 22 = -2*w, 2*x - 6*x - y*w = -76. Suppose -4*j - 4*t = -x, -5*t + 17 = j - 0*t. Which is smaller: j or 1?
1
Suppose 5*f + 28 = 3*p, -5*p = -p - 2*f - 14. Let v be 3/p - 38/48. Let l = v + -7/3. Are l and 0 equal?
False
Let u = 0.07 - 0.1. Let a = 0.23 + u. Which is smaller: 1 or a?
a
Suppose -2*f + 166 = 3*f + 4*w, 0 = f + 3*w - 42. Is f equal to 30?
True
Suppose 2*n + 4 = -4*l + 3*l, 2 = -4*n + l. Let w be (1/(-4))/(n/4). Which is bigger: w or -1?
w
Let l = -108 - -108.9. Is l >= 0.1?
True
Suppose -4*p - 7 - 5 = -4*k, -25 = -3*k - p. Suppose -k*x + 2*x = 0. Which is smaller: x or -4?
-4
Let b = 23/2 - 12. Let j(g) = -g + 2. Let y = -4 - -7. Let v be j(y). Is b equal to v?
False
Suppose 3*z = 8*z - 105. Let v be (-166)/(-8) + ((-36)/(-16) - 3). Is z equal to v?
False
Let v = 10.08 - 0.08. Let f = 11 - v. Which is smaller: 5 or f?
f
Let j = -17395 - -139895/8. Let s = 92 - j. Let z = -2 - -2. Is z bigger than s?
False
Let v(p) = 8*p**2 + 6*p - 4*p - 8 + 5*p - 7*p**2. Let h be v(-6). Is -15 at least as big as h?
False
Let n be ((-135)/60)/((-3)/64). Is 49 less than or equal to n?
False
Suppose 3*r + 2*r - 4*m + 9 = 0, 5*m - 5 = 0. Is r < 0.22?
True
Let p = -9004/5 + 1808. Is 6 at most as big as p?
True
Let d = 22 - 16. Let x(r) = -r**2 + 6*r - 8. Let q be x(d). Are q and -8 nonequal?
False
Let c = 59 + -26. Let j = 22 - c. Are -0.1 and j unequal?
True
Let b(y) = -y**2 + 7*y - 7. Let u be b(5). Suppose 3 = 3*w - u. Let g = -33 + 101/3. Which is greater: g or w?
w
Suppose -5*x + 0 = -10. Suppose x*y + 2 = -0*y. Which is smaller: y or -2/19?
y
Let o = 3382908/115 + -29416. Let h = o + 14/23. Is 0 <= h?
True
Let r = 28 - 45. Let f = 16.9 + r. Which is greater: -0.02 or f?
-0.02
Let y = -0.02 + -0.01. Let j = -5.97 + y. Let h = j - -5.99. Which is greater: -1 or h?
h
Let s = 47 + -22. Suppose 5*x + 0 - s = 0. Suppose 3 = -2*j + d, x*j + 7*d - 12 = 3*d. Which is smaller: 1 or j?
j
Let s(o) = -2 - 3*o + 2 - o**3 + 6 - 8*o**2 + 4*o. Let u be s(-8). Let c be 0*u*1/2. Is -2/13 less than c?
True
Suppose 7 = 5*q - 8. Suppose 16 = -3*m + 19. Which is smaller: m or q?
m
Let m = 53 - 211/4. Is 0 >= m?
False
Suppose 3*b + 4*l = 42, 5*b - 70 = 2*l - 5*l. Suppose 3*d + 10 = -q, b = -4*d - 0*q - 2*q. Let x = d - -5. Which is smaller: x or 1?
1
Let h = 0.7 - -3.3. Let q be (1 - 4)*84/4. Let z be 24/q + 2/3. Is z >= h?
False
Let n = 0.17 + -0.27. Suppose 0 = -0*g - 2*g - 2. Which is bigger: n or g?
n
Suppose -120 - 49 = -q. Suppose 3*u = -3*l + q + 38, 0 = -3*l - 5*u + 199. Let f = l + -221/3. Which is greater: -0.3 or f?
-0.3
Let k be 3*(3/(-9) + -1). Is k > -1?
False
Suppose -5*h = 92 + 168. Which is bigger: -51 or h?
-51
Let i(c) = c**2 + 2*c - 3. Let d be i(-3). Is -1/16 greater than or equal to d?
False
Let j = 2 - -5. Is 9 at least as big as j?
True
Suppose 0 = -3*o + 6*o - 15, 3*n + 11 = 4*o. Let t(i) = i - 2. Let k be t(n). Suppose -2*w + 0 - 4 = -3*x, 3*x = -w - 2. Which is smaller: x or k?
x
Let j be 20/15*(-3)/(-10). Suppose g = l + 4*l - 4, -2*g - 8 = -2*l. Do l and j have different values?
True
Let d = 1 + -1. Let b = -2.4 + 2.3. Let l = d + b. Which is smaller: -5 or l?
-5
Let z be 5/(-20) - (-6)/(-8). Let r = 8 + -6. Is r < z?
False
Let l be 1 - 274/54 - -4. Is 0 at most l?
False
Let t = -32.3 - -32. Is 0.5 less than t?
False
Let a be (0 - 2794/(-936)) + -3. Let z = -5/36 + a. Is -1 greater than or equal to z?
False
Let p = -63 - -313/5. Suppose -2*b - 23 + 5 = 0. Let x = 9 + b. Which is greater: p or x?
x
Suppose -3*r + 10 = -4*n, 3*r + n = -r - 12. Let i(v) = v**3 + 3*v**2 - 4*v + 3. Let a be i(-4). Suppose a*w + 2 = 5. Is w != r?
True
Let f(i) = i**2 - 5*i + 3. Let n be f(4). Let x be (12/(-552))/(n/2). Which is greater: 1 or x?
1
Suppose 2*x - 8 = 0, 5*x = 3*k + k + 24. Suppose d + 1 = -3*n, -4 + 1 = 3*d - 5*n. Are k and d equal?
True
Let j be (5184/740 - 7)*(1 + -3). Is j not equal to 1?
True
Let v be (56/12)/((-2)/(-6)). Let q be 23/7 - 4/v. Let z = 4 + -2. Which is smaller: z or q?
z
Let q be 5/(25/(-15)) + 133/44. Which is smaller: 0 or q?
0
Let y(v) be the third derivative of -v**4/24 + 11*v**3/6 - v**2. Let c be y(6). Let o = c - 5. Are 2/5 and o unequal?
True
Let r be (-1 - -4)*(-8)/8. Suppose b - 9 = 2*k, -2*k + 2*b - 5*b = -11. Which is smaller: r or k?
r
Suppose 3*v - 4*v + 5 = 0. Let p be v/(-5) - 5/(-3). Which is smaller: p or 0?
0
Let s be ((-32)/(-10))/(2/9). Let g = s + -15. Is -2 < g?
True
Let q(k) = 4*k - 9. Let r be q(5). Is r less than 10?
False
Let g be (1*-2 - -3)*2. Let y be -2 + 4*-1 + 3. Let b be (g/y)/(4/6). Which is smaller: -1/8 or b?
b
Let o = -4.99 - 0.01. Let s = -155/4 - -39. Which is smaller: s or o?
o
Suppose -2*d = 2*j + 6, 0*d = -5*d + 4*j + 12. Let s = 3 + 0. Let