y?
y
Let l be (-10)/36*(-6)/(-4). Suppose 0*n - n = 0. Is n less than l?
False
Let o = 293 - 294. Let r be -3 + 1 + -2 + 0. Which is bigger: r or o?
o
Let c(q) = q**3 - 3*q**2 - 13*q + 5. Let g be c(6). Are g and 35 non-equal?
False
Let k = 7 + -10. Let r be (-2 - k/2)*-2. Let c be 6/(-4) + (-1)/2. Is r > c?
True
Let n = 344/5 - 69. Let p be -2 + (8/(-4))/(-1). Is p less than n?
False
Let i(l) = 3 + l - l**2 - l + 3*l + 0*l**2. Let k be i(4). Let y be (k - -3) + 26/(-8). Is -1 <= y?
False
Let l be -12*(-1 - 10/(-2)). Let q = 4174 + -12667/3. Let m = l - q. Which is smaller: -1 or m?
-1
Let g = 6542 - 928897/142. Let n = -2/71 - g. Is 0.3 <= n?
False
Let a(w) = -w**2 + 12*w - 35. Let x be a(7). Are -2 and x equal?
False
Let t be (1/4)/(-1) + (-1302)/(-56). Which is smaller: 24 or t?
t
Let p = 809/148 + 66/37. Is p >= 8?
False
Let y(j) be the first derivative of j**4/4 - j**3 + j**2/2 - 3*j + 2. Let f(a) = 2*a**2 - 2*a - 1. Let z be f(-1). Let n be y(z). Does n = 1?
False
Let n = -9 + 9. Let c = n + -1. Which is smaller: c or 2/19?
c
Suppose i - 3*m - 3 = 0, 2*m + 5 - 4 = i. Let k(g) = -2*g - 4. Let y be k(i). Suppose 3*j = -y*j. Which is smaller: j or -2/7?
-2/7
Let w be -2*(-4 - 1119/(-279)). Which is greater: w or 1?
1
Let f = 1 - -1. Suppose 0 = -4*r + 3*x + f*x - 2, -4*x = 5*r - 18. Let g = -2 + 0. Is g less than r?
True
Let s = 10 + -3. Which is greater: s or 0.1?
s
Let v(p) = p - 16. Let c be v(12). Let q(y) = 4*y + 1. Let m(o) = -5*o. Let w(z) = -3*m(z) - 4*q(z). Let n be w(c). Which is greater: n or -2/9?
n
Let a = 0.8 - 1. Let r = 0.32 + -0.02. Let s = r + a. Which is smaller: -0.1 or s?
-0.1
Let c(f) = 7*f**3 + 5*f**2 - 5*f + 3. Let z(i) = 11*i**3 + 8*i**2 - 8*i + 4. Let b(k) = 8*c(k) - 5*z(k). Let t be b(0). Which is smaller: t or 3?
3
Let p be -1*(2/(-1) + 2). Let d = -21/4 - -6. Is p not equal to d?
True
Suppose 4*i + 2*h + 20 = -0*h, -3*i - 15 = -h. Let k = 7 + i. Let j be k/(-3) - (-4)/(-12). Is -1 >= j?
True
Let x = -393 + 16116/41. Which is greater: -1 or x?
x
Let m = 11.8 + -12. Which is bigger: m or 3?
3
Let p = -45/2 + 68/3. Let f be (-1)/(-3) + 0/(-2). Let n = p + f. Is n at most as big as 4?
True
Let q be 5 - 1/(4/8). Suppose q*n = 8*n. Which is bigger: 2/31 or n?
2/31
Suppose 6*g - g - x - 74 = 0, 2*x = -5*g + 62. Suppose -y + t + 9 = 0, 0*y + g = y - 2*t. Let u = y + -4. Are -1/13 and u nonequal?
True
Let h be (-36)/27*(-1)/2. Is h > 4/15?
True
Suppose -18 = -2*w - 2*r, -w + 4 = 5*r - 21. Let f = -2 + w. Suppose -6*h = -2*h + 2*g + 6, 3*g = -f*h. Does -3 = h?
True
Let x = 16 + -23. Let s(d) = d**2 + 8*d + 7. Let p be s(x). Do -5/6 and p have different values?
True
Let s(q) = q - 4. Let n be s(3). Let c = n - -1. Which is greater: -1/2 or c?
c
Let c be ((-1)/1)/(-2 - -1). Let a = 349/1197 + -1/171. Is c < a?
False
Let x(v) = v**3 - 4*v**2 - 9*v + 13. Let b be x(5). Are -10 and b non-equal?
True
Let n(v) = v + 3. Let s be n(-7). Let i = s + 6. Is i greater than 5/4?
True
Let y = -104.51 - -102. Let l = y - -2.4. Let n = l - -0.11. Is -2 smaller than n?
True
Suppose -3*z + 5*h = h - 33, -5*h = 0. Which is greater: z or 12?
12
Let x = -8 + 17. Suppose -2*d = c - 20, 15 + x = 5*d - 4*c. Suppose -5*g - d*b = -3*b + 5, 2*b = -8. Is 3/2 greater than or equal to g?
False
Let g = -3 - -3. Let v be -1 + -1 + 5 + 0. Let f be 1/v - 3/(-9). Does f = g?
False
Suppose -2*i = 2*x - 1 - 3, 2*i - x = 4. Suppose 0 = -i*l + l. Let s = -35 + 69/2. Is s at most l?
True
Let d = 1/39 + 4/13. Which is greater: d or -20?
d
Let v = 9.5 + -10. Is -1 at most v?
True
Let n be (-1)/(-4) - (-45)/(-36). Which is greater: n or 0?
0
Let q = 4 - 3. Let a be 26/8 - q/4. Let h = 2 - a. Which is smaller: h or -2?
-2
Let w = -0.1 - 0.05. Let r = -0.05 - w. Which is bigger: 2/3 or r?
2/3
Let o be (4 + -2)*(-59)/2. Let j be (-4)/(-10) - o/(-10). Let v = -141/26 - j. Which is smaller: v or 1?
v
Let o(g) = 3 - 5*g**2 + 0*g + g**3 - g + 0*g**3. Let q be o(5). Let b be 1 + -1 + q/(-3). Is 0 equal to b?
False
Let j = 31 + -31.2. Which is greater: 2 or j?
2
Let n = 0.6 - 0. Let q = n + -0.4. Let l = q - 0.2. Is -0.1 less than or equal to l?
True
Suppose -3*t = 6, -j = 2*j + 5*t + 46. Let o be (-1)/(-4*1/j). Is o greater than -6?
True
Let u be ((-4)/10)/(44/(-77)). Is 1 != u?
True
Suppose -q = -2*k - 14, -3*k + 5 = 2*q + 12. Let g be 1/(-5) - 8/10. Let r = 3 + g. Are q and r equal?
False
Suppose 5*g - 4*p - 58 = 0, 2*g + 4*p + 0*p - 12 = 0. Let z = g - 12. Which is smaller: -1 or z?
z
Let c be (-34)/12 + (9 - 6). Which is greater: 1 or c?
1
Let l = 7.1 - 6.1. Which is smaller: l or 102?
l
Let h = -0.32 + -1.38. Let y = h + 2. Let q = -0.2 + y. Which is greater: q or 1?
1
Let l(a) = -a**3 + 5*a**2 + 7*a - 7. Let m be l(6). Is m less than or equal to -8/7?
False
Suppose -3*l - 10 = 2*q, 0*q - 12 = 2*q + 2*l. Let h be q - (-3 - (-3 + 2)). Let z be h/(-9) + 10/(-6). Which is smaller: -2/5 or z?
z
Suppose 0 = -2*p - 0*p - 40. Let g = 12 + p. Which is smaller: -9 or g?
-9
Let g = 7 + 4. Let v(y) = y**2 - 11*y - 5. Let i be v(g). Which is greater: i or -0.1?
-0.1
Let j = -14 + 17. Let u(m) = -m - 4. Suppose 3*r + 20 = l, -1 = r + l + 7. Let v be u(r). Is j at least as big as v?
True
Let y = 14 + -42. Is y smaller than -28?
False
Suppose 0 = -5*r + 5*l + 95, -173 = -5*r + l - 58. Suppose 0*d = -3*d + r. Let c = -18 - -25. Is d <= c?
False
Let f = 59 + -56. Is -0.5 greater than f?
False
Suppose -2*p = -m + 2*m + 5, 8 = -p + 5*m. Let h be (5 + p - 3)*-2. Is h < 3?
True
Suppose -9*y = -12*y. Suppose -22 = -5*l + 8. Is l bigger than y?
True
Suppose -4*a - l = 17, -a - 3*a = -3*l + 13. Is a at most -19/6?
True
Let m be (0 + 3)*(-3)/(-18). Let r(a) = -a**2 + 10*a + 7. Let s be r(11). Let u be 0/(1*(s + 2)). Which is smaller: u or m?
u
Suppose -2*v = -0*v + 40. Let k be 1 - -1 - v/(-12). Which is smaller: -4 or k?
-4
Let m(v) = -2*v - 2. Let p be m(-4). Let w(x) = -7*x**2 + 3*x**2 + 4*x - 4 + 3*x**2 + 3*x. Let r be w(p). Which is bigger: -2 or r?
r
Let m = 1 - 1/2. Is m at least as big as -2/77?
True
Let p(z) = -17*z - 1. Let f be p(-1). Suppose 0 = -q - 3*q + f. Suppose 3*u + q = 13. Does 3 = u?
True
Suppose 5 = 5*d - 70. Let j be 13/20 - 6/d. Let l = 16 + -15.8. Which is greater: j or l?
j
Suppose 10*b = 15*b + 10. Which is smaller: -4 or b?
-4
Let v = 2.2 + -2.1. Let i(q) = q**2 + 3*q - 5. Let o be i(-5). Let n be (-8)/o + (1 - -1). Is n <= v?
False
Let o(d) = -9*d**2 - 17*d - 8. Let l(j) = 5*j**2 + 9*j + 4. Let q(h) = -11*l(h) - 6*o(h). Let t be q(4). Let i be 3/(-2) - 10/(-6). Which is smaller: t or i?
t
Let u = 45.6 + -46. Let b = -0.03 - 0.37. Let s = u - b. Is 2/9 smaller than s?
False
Let a = -33 + 32. Let i = -12/23 - -158/391. Is a at most as big as i?
True
Let y(i) = i + 8. Let k be y(-5). Suppose k = 2*c - 3. Suppose 4 = n - c*n. Does -3 = n?
False
Let a(d) = -d**3 + 5*d**2 - 4*d + 1. Let k be a(4). Let j = k - -5. Is 6 >= j?
True
Let i be 8/(-20) + (-174)/(-385). Do 0 and i have the same value?
False
Let n(t) = t**2 + 4*t + 1. Suppose -2*g + s + 5 = 0, 3*g - 10 = -s - 0*s. Suppose 0 = g*i - i + 6. Let h be n(i). Is h greater than -2/3?
False
Suppose -3*u + 12 = -6*u. Let a = -4 + 3. Let c be a/(0 + 18/u). Is c < -1?
False
Let d = 4.3 + -5. Let y = 0 + -0.3. Let g = d + y. Is g smaller than -4?
False
Let g be (-6)/(-4)*(-132)/18. Which is smaller: g or 1?
g
Suppose -4*i - 2 = 2. Suppose -5*d + p = -1, -2*d + 3*p = -1 - 2. Let x = d - 0. Which is greater: x or i?
x
Suppose -i = -4*i + 6. Let b be 158/18 - (-4)/18. Suppose -15 = 4*c - b*c. Which is smaller: c or i?
i
Suppose -2*l + 4 = -6. Suppose -3 = -l*w + v - 44, -2*w = 4*v + 34. Are w and 1 equal?
False
Let v = 181/5 - 36. Let q(a) = -a**2 + 16*a - 27. Let x be q(14). Is v less than or equal to x?
True
Suppose -13 = -2*t + i, 5*t + 5*i = 12 - 2. Suppose 0 = t*x + 5. Is -4/5 at least as big as x?
True
Let a = 66 - 22. Let u be 18/a*-2 - -1. Which is greater: u or 0?
u
Suppose 7*c = 4*c. Suppose 4*p + c*p - 12 = 0. Is 1 < p?
True
Let t be (29 + -3)/2 - 2. Let d = t - 8. Is d less than -2/7?
False
Suppose 0 = 4*d - 2*o + 8, -3*o + 1 = 2*d + 3*d. Is d at most as big as 2?
True
Let a = -16 + 10. Let x be (4/12)/(7/a). Let q = -8 - -7.97. Is x less than or equal to q?
True
Suppose 0 = -5*u + 35 - 90. Let d be (u - -12) 