alse
Let j be ((-4)/(-14))/((-324)/(-63)). Which is smaller: -1 or j?
-1
Suppose -7 = 6*d + 41. Are -8 and d unequal?
False
Let j(a) = a**2 + 15*a + 3. Let b be j(-12). Which is smaller: -34 or b?
-34
Let h(n) = -3*n**2 + 2. Suppose 5*j + 8 = 2*g, 3*j - 4 = 5*g - 5. Let w be h(j). Let q be 3/(-210) - (-2)/w. Which is smaller: q or 1?
q
Let n = -0.58 - 0.02. Let w = n + 2.58. Let m = w + 0.02. Is m less than or equal to 1/4?
False
Let d = -743532902 - -8477018610414/11401. Let g = d - -2/877. Is g at least 1?
False
Let k = -0.065 - 0.235. Which is bigger: -2/49 or k?
-2/49
Let u = -123 - -123. Suppose -11 = -4*d + 4*i + 5, 5*i + 20 = 3*d. Suppose d = -4*l - u*l. Which is smaller: -2 or l?
-2
Let m be (-2)/(-4) - (-5)/2. Suppose -5*s - 4*d - 25 = -9*d, 0 = -2*s + m*d - 14. Let f be 1/(1*(-2)/(-2)). Is f less than s?
False
Suppose -3*h - h - 24 = -4*p, 3*h + 32 = 5*p. Which is smaller: 6 or p?
6
Let x = -0.04 - -0.2. Which is smaller: x or 0.2?
x
Let k = -16428 + 50053/3. Let p = k - 254. Which is smaller: p or 1?
1
Suppose -2*j = -4*l + 4, -4*j = 4*l - l + 8. Let h = -1 + -2. Let z be (-2)/(2/(-2)) + h. Which is bigger: l or z?
l
Let w = 9.7 + -9.7. Is 22 greater than w?
True
Let h = -23 - -21. Is -2 < h?
False
Let l(b) = 2*b**2 - 25*b + 11. Let j(d) = -d**2 + 12*d - 6. Let f(c) = 5*j(c) + 2*l(c). Let o = -7 - -16. Let i be f(o). Is 4 less than or equal to i?
False
Let n be (-190)/4*((-104)/20 - -5). Which is bigger: 9 or n?
n
Let b be 216/52 + ((-2)/13 - 0). Let p be -1*(-1)/((-2)/(-2)). Let f be (2/4)/(p/8). Is b at most f?
True
Suppose 19 - 5 = -5*c - 2*y, -6 = -2*y. Let k be (-12)/(-189) - c/18. Let p = 2 + -2. Is p at least k?
False
Let d = -0.44 - 0.06. Let v = d - -0.6. Are v and 0.4 non-equal?
True
Let w = 0.3 - 0.1. Which is smaller: w or -29?
-29
Let b = 0.065 + -0.565. Are 7/2 and b non-equal?
True
Let f(b) = -b**2 - 9*b + 12. Let q be 3 + 39/(-3) + 1. Let x be f(q). Do 13 and x have the same value?
False
Let z = -2 - -2. Let o be z*(9/6)/3. Let s be 2/(-20)*(-56)/(-42). Is o not equal to s?
True
Let i = -134 + 940/7. Let g be ((-8)/(-60))/((-10)/12). Let c = -37/75 - g. Which is smaller: i or c?
c
Suppose -5*x = 2*k - 9, -x = k - 2*k + 1. Suppose b - 14 = -4*h, k*h + h - 11 = -b. Is h smaller than 2?
False
Suppose j - 3*j - 4*g = 0, 4*j - 4*g = 24. Let i be ((-187)/j)/((-2)/8). Let f = i + -931/5. Is f less than 1?
True
Let b be ((-22)/1)/2 - -3. Are -7 and b equal?
False
Let g = 0.2 + -5.2. Let j = g + 5. Let f = j - -0.1. Which is smaller: f or -4?
-4
Let r(f) = -f**3 + 8*f**2 + 8*f + 9. Let w be (1 - -6) + -6 + 8. Let b be r(w). Is b at most as big as 1/6?
True
Let i(r) = -4*r + 3. Let q be i(2). Which is greater: q or -4?
-4
Suppose 7*a - 3*a + 33 = -5*l, 0 = -a - l - 7. Let r be 1 + (a - -3 - 0). Let w be -1 + r - -1 - 0. Is 2/3 bigger than w?
False
Let x = 2/85 + 3/17. Let h be 1 - (6 - -1)*-1. Let g(j) = -j**2 + 7*j + 7. Let b be g(h). Is x at least as big as b?
True
Let v = -4 - -4. Which is smaller: v or -1/72?
-1/72
Suppose -12 + 0 = -4*b. Suppose b*t = -5*c - 30, 0 = 3*c - 3*t - 0*t - 6. Is c greater than -4?
True
Let k = 14 - 13. Which is smaller: 1/3 or k?
1/3
Let y(l) = l**2 - l - 1. Let w(x) = -4*x**2 - 10*x + 7. Let i(j) = w(j) + 3*y(j). Let o be i(-13). Which is smaller: o or -1?
-1
Let h = 10/11 + -19/33. Which is bigger: -2 or h?
h
Let g be (10/(-5) - 22) + 4. Is g equal to -22?
False
Suppose -5*b + 2*h - 56 = -b, b = 5*h - 14. Let p = b - -71/5. Let o(t) = -t**2 + 5*t - 4. Let g be o(4). Is g at most p?
True
Let g be 12/90*-3 - 0. Let u = -0.1 - -0.2. Which is smaller: g or u?
g
Suppose -b - 10 + 6 = 0. Let a be (-1)/b*1/1. Which is greater: a or -1?
a
Let a = 8 + -1. Suppose a = -0*b - b. Let o be (-6)/21 + 12/b. Which is bigger: -1 or o?
-1
Let d = 0 + 1. Let l be (-1)/(-2*d/20). Let n be 0*(l/(-4))/(-5). Do n and 1/9 have different values?
True
Let i be (-18)/84*8/30. Is i at least as big as -1?
True
Let t be 2/20 - 9/(-110). Let f = 0.04 - -1.96. Let k = f - 3. Which is smaller: k or t?
k
Suppose 0 = 3*c - 6 - 0. Let s be 1*((2 - 0) + c). Let g = -9 + s. Is g bigger than -5?
False
Suppose -1 - 5 = 6*l. Is 2/91 less than l?
False
Let n = 49.7 - 58. Let d = -8 - n. Let i = 1/46 + 11/23. Is i less than d?
False
Let f = 66 + -35. Let b = -15 + f. Let c be 20/b + (-2)/8. Is c > 0.1?
True
Let s(q) = -5*q**2 - 2*q + 4. Let a be s(-5). Let f be 1 + a/36 + 1. Let c = f - -33/28. Which is greater: -1 or c?
c
Let l = 4/19 + -27/38. Let h be (-1 - -1)*2/(-4). Which is smaller: h or l?
l
Let m(z) = -z - 9. Let l be m(-8). Let p be ((-2)/(l - 1))/(-3). Is -1 equal to p?
False
Let x be -1 + 8 - 14/7. Let o = -14 + 20. Which is bigger: x or o?
o
Suppose -6*o = -11*o + 5*f + 45, 6 = 2*o + 4*f. Let p = 2 + -5. Let v be 6/(-1)*p/3. Are v and o nonequal?
True
Suppose -5*o = -2*o + a + 1, -5*a + 17 = 4*o. Let q be -3 - o*9/(-6). Let u = 7 + q. Is -1/7 smaller than u?
True
Let v(m) = m - 5. Let g be v(2). Let f be 1 - (-1 - g - 2). Does f = 2/7?
False
Let b = 74.01 - 74. Is 2 > b?
True
Let u = 11 + -9. Let h(c) = c**2 - 4*c + 2. Let y be h(u). Which is smaller: y or -5/7?
y
Let g = 167/1488 + 7/93. Are g and -1 unequal?
True
Suppose 0 = 5*h - h - 20. Suppose -l = -o - 4*o - 4, -h*l - 4*o - 9 = 0. Is -1/7 != l?
True
Let v be (-6)/(-15) - (-4)/(-35). Suppose 3*q = 12, 0*g + 3*q = 4*g - 348. Let h be 10/45 + 16/g. Which is smaller: v or h?
v
Let m be (-122)/18 + (-4)/18. Let a = m - -6. Which is smaller: -2/9 or a?
a
Let p = 3.01 - 3. Let q = 51 - 52. Which is greater: q or p?
p
Let t = 1.13 + -0.13. Is t <= 1?
True
Let h(q) = 2*q + 11. Let f be h(-6). Are -10/11 and f nonequal?
True
Let n(m) = 44*m - 2. Let u be n(-2). Let j be u/12*(-2)/3. Let o = 4 - j. Which is smaller: o or -2?
-2
Let f = 92/5 + -18. Let a be 2/(-16)*16/12. Are f and a nonequal?
True
Let l = 7/26 - -3/13. Let z = 13 - 6. Let h(w) = w**2 - 7*w. Let m be h(z). Is m at least as big as l?
False
Let g(v) = v**3 + 5*v**2 - 17. Let l be g(-5). Which is bigger: l or -15?
-15
Let j be 20/25*2/(-76). Let d = -87/380 + j. Is d less than or equal to -0.1?
True
Let t(u) = -u - 8. Let z be t(-10). Suppose -2*b = z*b. Does 1/7 = b?
False
Suppose 3*y = -0*y + n + 3, 0 = 2*y + n - 7. Suppose -5*x - 2*i + 17 = 0, 4*i = 5*x - 13 + y. Suppose x*a + 2 = 2*a. Is -4/5 != a?
True
Let m be (-1)/(-4) - 14/(-8). Let z = -2/201 + -1399/804. Let q = m + z. Is 1 smaller than q?
False
Suppose 6*h = h + 10. Suppose 5*q - h*q - 9 = 0. Let v be (-1)/q*-3 - -1. Which is greater: v or 1?
v
Suppose -4*j = -2*q + 4, 5*q = -4*j + 3*q + 12. Let g = 1 - j. Which is greater: 1 or g?
1
Let d(v) = -14*v - 4. Let u be d(3). Let h be u/(-112) + (-12)/42. Is 1 equal to h?
False
Suppose -8 = 4*s - 28. Suppose 9 = s*q - 1. Suppose -4 = -h - 4*u, 2*u + 4 = -q*h + 6*u. Which is bigger: -1/2 or h?
h
Let h = 0 + -3. Let c = 1.7 + -12.5. Let s = 11 + c. Which is greater: s or h?
s
Let l = 25.51 - 0.51. Do l and 2/9 have different values?
True
Suppose -5 = -h - 15. Which is smaller: h or 0?
h
Let r = 0 - -4. Let y be 205/(-2497) - r/(-22). Let o = y - 2/227. Is -1 at least as big as o?
False
Let d(i) = -i + 6. Let p be d(-5). Suppose 5*g = p + 4. Suppose -2*r - 4 = -0*r - q, -g*r + q = 4. Is 0 greater than or equal to r?
True
Let r = -1347 + 61959/46. Which is greater: 0 or r?
0
Let h(n) = n + n - 6 + 1. Let g be h(5). Suppose 0*p = 5*p - g. Which is smaller: 6/5 or p?
p
Let u = -90 + 92.05. Let q = -0.05 + u. Is q at most 0?
False
Let c = 49217/64 + -769. Is c smaller than 1?
True
Let z(d) = d**3 + 5*d**2 + d + 2. Let s be z(-5). Let b be s/(-2)*20/300. Suppose 5*l = -i - i - 13, -5*i - 24 = 4*l. Which is greater: b or l?
b
Let q = -37.6 - -34. Let f = -0.4 + q. Let d = f - -7. Which is greater: d or -2/3?
d
Let q = 8 - 8. Let j = -1.66 + 1.3. Let n = 0.04 - j. Which is greater: q or n?
n
Suppose 0 = 4*n + 4*f - 28, -28 = 2*n - 6*n - 2*f. Suppose -40 = -4*x - 2*m, 0 = -x - 3*m + 4*m + n. Suppose 6*u - x = 3*u. Does u = 2?
False
Let j be ((-72)/90)/(2/(-10)). Which is greater: -2 or j?
j
Let r = 1/6129 - -73525/140967. Is 1 less than or equal to r?
False
Suppose 3*s - 2*s + 3 = 0. Let v = 256/35 - 54/7. Is v greater than or equal to s?
True
Let h(z) = -z**2 + z - 15. Let j be h(-5). Does j = -46?
False
Suppose -