Suppose h - 5*z + 0*z + 1 = 0, -5*h - 5*z = 5. Let a be r(h). Which is greater: a or -4?
a
Let v be (-12)/1095*51 - -1. Let x = v + -3/73. Is x bigger than 0?
True
Let u be ((-5)/10)/((-3)/(-6)). Let h = 5 - 3. Let t be h/28 + 1/(-2). Which is bigger: u or t?
t
Let c be 26/10 - (-6)/15. Let i(b) = b**2 + b - 3. Let h be i(-3). Is c <= h?
True
Let x = -5 - -8. Which is smaller: x or -0.2?
-0.2
Let c = -125/3 - -42. Let r = -29.1 + 29. Which is bigger: r or c?
c
Let x = 3 + -2. Let v be (0/x*1)/(-2). Let w = -638/5 - -128. Which is greater: v or w?
w
Let s(r) = 28*r**3 + 2*r + 1. Let f be s(-1). Let y = 30 + f. Which is smaller: -1/9 or y?
-1/9
Let o be 4*(-1)/(-3)*-3. Let s = -4 - -1. Which is smaller: o or s?
o
Let m = -8 + 11. Suppose 3*x + m + 6 = 0. Let t = x + 4. Is t less than or equal to -1/3?
False
Let p = 73/4 + -147/8. Is -6/7 greater than p?
False
Let i = -12 + 11. Let b be (-2)/3*(-7)/(-126). Which is bigger: b or i?
b
Suppose 0 = 4*a - 12*a + 8. Are a and -1 non-equal?
True
Let j(f) = f**2 - 4*f + 1. Let y be j(4). Let u = -262 + 1845/7. Let x = u - y. Is x at most as big as 1?
True
Suppose -2 - 3 = 5*s. Let k be (-2 - -1)/((-1)/(-1)). Let y be (k/(-22))/((-1)/(-2)). Which is smaller: s or y?
s
Let n be (-3 + (-34)/(-10))*(-10)/(-4). Is n greater than 2?
False
Let d = 1079/3 + -365. Is d less than -4?
True
Suppose 0 = 4*n - 4, -4*q - 2*n = -9*q + 3. Is q less than or equal to 4/31?
False
Let q = -2.06 - -0.06. Let h = q - -1.9. Is h smaller than -1?
False
Let k be (-2)/(-4)*(1 - 3). Let h be -2 - ((-4)/k)/1. Which is smaller: h or -7?
-7
Let h = -38 + 57. Suppose 0 = -0*o + o - 5. Suppose 4*i - o*d = -d - 28, 4*d = i + h. Is 0 not equal to i?
True
Suppose -2*o + 6 = -3*u, 6*o - 3*o = 5*u + 9. Let s be (0 + 1)*(u - 1). Which is smaller: s or -3/10?
s
Suppose v = 3*s - s - 2, 2*v + 5*s = 5. Suppose -2*i - 45 = -7*i. Let k be 3 - 3 - (-2)/i. Which is smaller: v or k?
v
Let h be 45/18 + 3/(-2). Let l be (-1)/(-3) + (-111)/279. Which is bigger: h or l?
h
Suppose 3*w + w = 348. Let q = w - 259/3. Which is smaller: q or 0.3?
0.3
Let m = 5 + 0. Do 0.1 and m have different values?
True
Let h = 4 + -9. Let i = 4 + h. Let f = -32 + 65/2. Is i >= f?
False
Let u = -2 - -2.7. Is u <= -1?
False
Suppose 1 = 2*s + 3. Let i = 11 - 17. Which is smaller: s or i?
i
Let a(d) = -d**3 + 4*d**2 + 6*d - 6. Let w be a(5). Which is bigger: w or 4/13?
4/13
Let v = -83 + 78.9. Let k = 4 + v. Do k and -0.7 have the same value?
False
Suppose -10*u + 6*u = 44. Let r = u - -13. Suppose 0 = -4*s - r - 2. Which is smaller: -7/3 or s?
-7/3
Let h = -3/271 - 7850/813. Let o = h - -10. Suppose 0*g + 4*g = 4. Which is greater: o or g?
g
Let h be 2 + ((-376)/3 - 2). Let b = h + 91. Let p = -34 - b. Is p smaller than 0.3?
False
Suppose -9*u + 4*u = 35. Let t(q) = 4*q**2 + 9*q - 11. Let w(c) = -11*c**2 - 26*c + 32. Let j(v) = 8*t(v) + 3*w(v). Let g be j(u). Is 2/15 equal to g?
False
Let m be (-2 - -1)/(4/12). Let k(p) = -p**2 - 4*p - 3. Let f be k(m). Is 3/14 equal to f?
False
Let m = 0.03 + 0.27. Let b = 2.3 + -4.4. Let u = 0.1 + b. Is u at least as big as m?
False
Let o = -611 - -13439/22. Do 0 and o have different values?
True
Let g = -157749/226 - -698. Which is smaller: -1 or g?
-1
Let s be (-4)/((-4)/2) + -1. Let z be (-5 - -7) + s + 0. Is 4 less than or equal to z?
False
Let x(b) = -b**2 - 8*b - 3. Let h be x(-7). Let s be (0/(-2) + 1)*h. Suppose -12 - 5 = 3*r - 4*a, 0 = -5*r + s*a - 15. Which is greater: 1/2 or r?
r
Let m(b) = -b + 1. Let f be m(0). Are 3/100 and f equal?
False
Let i = 39.1 + -42. Let z = -3 - i. Let w = 17 - 17.2. Which is greater: z or w?
z
Suppose 2*l = -2*l + 2*c - 44, -11 = l - 4*c. Is -12 > l?
False
Let w = -0.9 - -1. Let y = 23 + -28. Is y bigger than w?
False
Let k = -117 + 587/5. Let g = 13 + -8. Suppose -5*t = -0*t - g. Is k > t?
False
Let w be ((-12)/(-10))/((-6)/(-20)). Let y(v) = v**2 + 7*v + 10. Let c be y(-6). Is c greater than or equal to w?
True
Let x = -3 + -2. Let v be 20*((-15)/6)/x. Let l be (-4)/v*(5 + 0). Is -1 != l?
True
Suppose -4*m + 15 = -a, -2*a + 0 - 2 = -m. Which is greater: -4/13 or a?
a
Let u = -0.12 - -0.02. Are u and 5 non-equal?
True
Let c(u) = 2*u**2 - 3*u + 2. Let l be c(2). Let o be -4 + (10 - (5 - 4) - 2). Is o bigger than l?
False
Let v = 4 + -11. Let a = v + 6.8. Which is greater: a or 1?
1
Let z be 2/5 + 8/(-20). Suppose -4*x = -z*x - 8. Is x bigger than 6/5?
True
Suppose -13*v = -12*v - 2. Suppose 0*b + 4*b = -4. Let f be 6/2 + 0/b. Are f and v unequal?
True
Let f be (-7)/((-385)/270) + -4. Let y be 1/(-1 - -2 - 0). Is f >= y?
False
Suppose -4*v + v + 51 = 0. Suppose 36 = 2*o + 4. Which is bigger: o or v?
v
Let q = -155 - -5734/37. Let b = q + -71/111. Which is bigger: b or -1?
b
Let q = -0.1 + 0. Suppose -4*a = -3*a. Let l be 5/15*(a + -2). Is l at most as big as q?
True
Let k = 1.3 + 4.7. Let w = k - 13. Let m = w + 9. Is 1/3 less than m?
True
Let j be (-2)/(-5) - 6/(-10). Suppose n = -4*n + 2*d + 18, 4 = -d. Is n >= j?
True
Let z = 3 - 2. Let j = 62 - 309/5. Which is greater: j or z?
z
Let t = -13.06 - -13. Let o = t + 0.16. Is o >= 0.1?
True
Suppose 6*v - 5*v = 4. Let u be 3 + 4/(v/(-7)). Are u and -4 unequal?
False
Let q be (-60)/28 + (-1)/(-7). Is q >= -7/3?
True
Let g be (-2)/8 - 2/(-8). Let x be (-6)/(-2)*6/(-9). Let k be 3/(6/(-4)) - x. Do g and k have different values?
False
Let y = 86/11 + -8. Let r(w) = -w**3 + 9*w**2 - 3. Let o be r(9). Let v be (-2)/3 + (-2)/o. Which is bigger: v or y?
v
Suppose -5*g - 4*l + 18 = 0, 3*g = l - 4 + 8. Let m be 0 - 3/((-3)/g). Suppose -2*w + 5*w - 6 = 0. Is m < w?
False
Let f be 15 - 3/(-6)*0. Suppose -r + f = 4*r. Which is greater: 1 or r?
r
Let b = -0.3 + 0.2. Suppose 5*f + 109 = -51. Let d = -34 - f. Is b less than or equal to d?
False
Let p be (-120)/(-21) + 2/7. Let m = -9 + p. Let o be (4/2)/((-9)/m). Is 2 less than o?
False
Let x(l) = l - 7. Let p be x(11). Suppose p*j + 3*m + 2*m - 16 = 0, 3*j = m - 7. Which is greater: -9 or j?
j
Let k = 13 - 22. Let z = -8 - k. Which is smaller: z or 2?
z
Suppose -5*j = 4*j - 4*j. Are 10 and j equal?
False
Suppose -15 = 3*m, 3*m + 2*m - 7 = 4*f. Let a = 4.3 - 4.2. Which is smaller: a or f?
f
Let c be 1 + -2 + 9*1. Let j = -6 + c. Which is smaller: j or 3/4?
3/4
Let w(t) = 7*t - 5. Let i be w(5). Let o(j) = -j**2 - 3*j + 6. Let f be o(-5). Let n be (f/i)/(16/10). Which is smaller: n or -1?
-1
Let r = -10 + 11. Is r greater than 1/18?
True
Let g be (-12)/516*(-1)/(-3). Let h be (-11)/30*(-92)/86. Let y = h - g. Which is smaller: 2/9 or y?
2/9
Let i(c) = 2*c**2 - 2*c - 1. Let j(k) = 3*k**2 - k. Let g(l) = 4*i(l) - 3*j(l). Let p be g(-4). Suppose p*w - 1 = -w. Is 1 at most w?
True
Suppose 2*d = -4*o + 6*d - 4, -d + 4 = 0. Which is smaller: o or -0.1?
-0.1
Let v be (-1 - (-4)/35) + 1. Which is bigger: -1 or v?
v
Let t be 2/(-4 - (1 + -3)). Let i(b) = -b - 8. Let p be (-4)/6 - (-32)/(-6). Let v be i(p). Is v > t?
False
Suppose -s + 11 = 3*s - m, -3*s + m = -8. Is 2 less than s?
True
Suppose t = -5*f + 17, -3*f + 4*t + 27 = -t. Is f greater than or equal to 2?
True
Let r = 1284893560/483 - 2660234. Let p = -2/69 - r. Let a = -6 - -4. Is p >= a?
True
Let r = 24 + -15. Suppose r = -3*u + 3*y, -1 = -5*u - 5*y + 4. Is -2/9 not equal to u?
True
Let a = 4 + 1. Let g = -2.5 + 4.5. Let w = g - a. Is w at least 0.1?
False
Suppose -2*t = -10, w + 4*t - 40 = -w. Does w = 10?
True
Let z = 0.057 - 0.087. Which is greater: z or -4/3?
z
Let w be (-3 - (-2 + -5))/2. Suppose -3*k = 3 - 24. Let q = -5 + k. Is w bigger than q?
False
Let b = 7 - 12. Let u be (-1*1/2)/b. Which is smaller: u or 1?
u
Suppose -7*t + 2*t = 10. Let h = -1 + t. Which is bigger: 1 or h?
1
Let s(o) = o**3 - 8*o**2 + 7*o. Let t be s(7). Is 0 bigger than t?
False
Let k be ((-1)/(-3))/(5/30). Suppose 0 = -3*h + 1 + k. Let g be h/12*16/(-6). Is 0 bigger than g?
True
Let i = 4 + 12. Which is smaller: 17 or i?
i
Let b = -3 - -4. Which is bigger: -0.11 or b?
b
Let i = 6 + -3. Suppose b - 5*b + 36 = -4*h, 3*h = -3*b - i. Suppose 2*q - 4*s + 14 = 0, 2*s - b = -q + 1. Which is bigger: q or 3/7?
3/7
Let m = -45 - -38. Let w = 6.99 + 0.01. Let p = w + m. Which is bigger: p or -2/3?
p
Let x(n) = 2*n**2 - 2*n - 2. Suppose r + 4*o + 14 = 0, -o = -r + 9 - 3. Let l be x(r). Do l and 1