. Which is bigger: u or 4?
4
Let q be (1 - 0)/(-5 - -1). Let l be (-8)/(-24) + 38/(-6). Let g = l + 4. Is q greater than or equal to g?
True
Let r = 0.9 - 0.83. Let a = r + -1.07. Which is bigger: 3 or a?
3
Let y be (1 - (-276)/(-15)) + (-2)/(-5). Which is bigger: y or 2/3?
2/3
Let z = -0.09 + 2.09. Is 2 < z?
False
Let m be -3 + 10/5*1. Let a = 91/576 + -3/64. Is a equal to m?
False
Let b = -9 + 9. Let t be b + -1 + -2 + 1. Which is smaller: 1 or t?
t
Let n(t) = -3*t - 10. Let v be n(-10). Do 20 and v have the same value?
True
Let k(i) = -i + 1. Let x be k(3). Let n = -2 - x. Let v = -14 - -16. Is n at least as big as v?
False
Suppose -5*x = 2*h - 0*h + 6, 6 = 5*x - 2*h. Let c = -130/3 + 1297/30. Which is greater: c or x?
x
Let d(m) = -m**3 - 8*m**2 - 7*m + 2. Let r be d(-7). Suppose 5*n - r*n = 6. Which is smaller: 12/11 or n?
12/11
Let a = -15 - -14. Which is greater: -9/4 or a?
a
Suppose -5 = -3*b - 20. Let l = b - -4. Is l less than or equal to 0?
True
Let y(j) = -6*j + 1. Let u be y(-2). Suppose 0*g + u = -3*g - 2*n, -4*g = -n + 10. Let m = -105.8 - -106. Is g at least m?
False
Suppose 0 = -25*z + 29*z + 52. Which is smaller: z or -6?
z
Let v = 17.9 + -18. Let d = v - 0.7. Let q(s) = s + 4. Let m be q(-3). Do m and d have the same value?
False
Suppose 5*m - 5*p = 6*m + 10, -5*m + 5*p + 40 = 0. Suppose -m*v - 15 = 5. Are v and -4 non-equal?
False
Let u(z) = -z**3 + 2*z**2 + 2*z + 4. Let d be u(3). Let f be 0/(1*-3 - -1). Let j = f + 1. Is j greater than d?
False
Let u = -38 + 18. Let y = u - -14. Let k = -3 - y. Does k = 1?
False
Let s be -3 + 6 - 1/(-1). Suppose -u - s = m, -5*u + 3*m + 17 = 5. Let j be 0 - u - 5/10. Is -1 <= j?
True
Suppose -2*x = 4*s, 0 = s + 2*x - x - 1. Suppose 0 = 4*v + v + 35. Let o be v/(-9) + (-2)/6. Which is bigger: s or o?
o
Suppose 3*q + 8 = 3*c - 10, 0 = -4*q - 2*c - 18. Let n(y) = -y**3 - 5*y**2 + 3. Let p be n(q). Suppose 6 = -p*v - 0. Is -2 bigger than v?
False
Let x = -22 - -24. Suppose 0 = t - q - 4, 10 = -3*t - q + x. Is -1/11 > t?
True
Suppose -93 = 3*p - 21. Let n be (-90)/27*p/10. Let l(j) = 2*j**2 - 2*j - 3. Let b be l(-2). Do b and n have the same value?
False
Let n = -0.8 - -0.5. Let z = -1.3 - n. Let b = -0.01 - 0.09. Which is greater: z or b?
b
Suppose 4*v + 25 = -11. Let c = -10 - -22. Let h be (v/c)/(3 - 0). Which is greater: 3 or h?
3
Let k(z) = z**3 - 4*z**2 - 4*z - 1. Let m be k(5). Suppose -3*x - 23 = m*i, 1 = 2*x + i + 8. Is x != -1/6?
True
Let f = 92 + -96.35. Let h = f + -0.05. Let u = 0.4 + h. Which is bigger: 2/3 or u?
2/3
Suppose 0 = -2*t + 2 + 6. Suppose -18 = -3*q + t*w + 11, -2*q = 3*w + 9. Let u be (-2)/1 - q/(-1). Which is bigger: 3 or u?
3
Suppose -f + 4*v - 20 = 0, -4*f + v + 3*v - 20 = 0. Are f and 2/29 nonequal?
True
Let j be (-2)/(-4)*0 - -1. Suppose -4*y + 12 = -m, m - 2*m = 4. Which is smaller: y or j?
j
Let r be (-4 + 4)/(9/3). Are 1/27 and r unequal?
True
Let k be (-4 - 0)/(0 - -1). Let x be (-32)/63 - k/14. Let m = 9 - 9. Which is bigger: m or x?
m
Let i(y) be the second derivative of -y**3/3 + 12*y**2 + 10*y. Let a be i(12). Is a > 2/13?
False
Let r = 1.93 + 0.07. Is r >= -1/6?
True
Let o(h) be the first derivative of h**3/3 - 7*h**2/2 + 6*h - 1. Let y be o(6). Suppose -2*j + 3 - 1 = y. Which is smaller: 0 or j?
0
Let w(j) = j**2 + 6*j + 1. Suppose -2*l + 1 = 2*d + 19, 5*d = -20. Let f be w(l). Let z be f/(-6)*(-3)/(-4). Is 2 not equal to z?
True
Let a be 2/14 - 285/(-945). Which is smaller: -1 or a?
-1
Suppose 3*w = -0*w + 6. Let x = 1 - w. Let t be -1 + x/(-5 + 2). Which is smaller: 3/5 or t?
t
Suppose 2*b - 2*h - 19 = -3*b, h = 5*b - 22. Suppose 5*v + 100 = -0*v. Let u be b/(-2)*4/v. Which is bigger: u or 0?
u
Let a be -2*(-4)/(-8) - 648/(-642). Is -1 at most as big as a?
True
Let z = 10.2 + -10.2. Which is bigger: z or -1?
z
Let w(n) = n**3 + 10*n**2 + 8*n. Let u be w(-9). Which is bigger: 7 or u?
u
Let g(a) = -a + 16. Let d be g(12). Suppose 0 = -2*f + d. Do 2 and f have the same value?
True
Let x be 628/10 + -1 + -1. Let c = -53 + 114. Let v = c - x. Is v >= 0?
True
Let o be (-1)/(((-3)/(-444))/(6/8)). Let i = -507427/9 - -56270. Let f = o - i. Is f equal to 3/4?
False
Let j be (-8)/6*(-4)/((-312)/(-9)). Which is greater: 0 or j?
j
Let d = 136 - 136. Let g be ((-11)/4 + 2)/2. Is g at most as big as d?
True
Let c = -141/469 + 1/67. Is -105 < c?
True
Let a = 12 - 13. Which is smaller: -2/43 or a?
a
Let n = 13 + -16. Let y = -3 + 2.9. Which is smaller: y or n?
n
Suppose 5*p = 6 + 9. Suppose -x = -3*u + 7, -3*x + p*u - 15 = -0*x. Let h(w) = -w**3 - 3*w**2 + 4*w + 1. Let g be h(x). Is -2/27 less than or equal to g?
True
Let d = -16 + 23. Let v = -7 + d. Do v and 2/9 have different values?
True
Suppose -6*x = -x - 10. Let p be ((-8)/48)/(x/(-4)). Is p at least 1/3?
True
Let g = -14/3 - -4. Is g greater than -0.01?
False
Let i = -14999183/13 + 1153235. Let h = i + 548. Which is greater: h or -1?
h
Let f be 156/24*(1 - 3). Let z = f - -16. Let m = -8/3 - -31/6. Do z and m have the same value?
False
Let z = 4 + -4. Let k be (6 + -6)*(z - -1). Let l be 2*((-1)/1 + k). Is l bigger than -1?
False
Let f(k) be the second derivative of -k**3/3 + k**2/2 - 3*k. Let c be f(1). Let v be (-5)/20*c*2. Which is smaller: v or 4?
v
Let o be (-2)/516*1074/14. Let w = o - -1/86. Let s be (-6)/(-9) + (-5)/3. Is s < w?
True
Let l be -2 - (-288)/231 - 1. Let w = l - -13/11. Do -2 and w have different values?
True
Suppose -5*q - 2*h = -3*h - 8, -2*q - h - 1 = 0. Which is greater: -2/25 or q?
q
Let y(h) = -h + 9. Let v(c) = -2*c - 8. Let b be v(-6). Let s be y(b). Suppose -s*f = -6*f - 1. Which is bigger: f or -1/20?
-1/20
Let x = 144 - 119. Which is bigger: -2 or x?
x
Suppose -2*t + 2 = -0, -4*t = -5*b + 26. Suppose 3 = 2*m - v - b, -5*m - 4*v + 29 = 0. Let n be (-14)/20 - (-1)/m. Which is smaller: -1 or n?
-1
Let p = 5/18 - 32/99. Is p less than 0?
True
Let q be (1/6)/(18/5532). Let g = 51 - q. Which is smaller: g or 1?
g
Let h(x) = x**3 - 6*x**2 + 5*x. Let i be h(5). Suppose 4*o + 1 - 13 = i. Suppose -o*u - 2 = -u. Which is smaller: u or -3/4?
u
Let q = -15 - -25. Let g(p) = p**2 + 4*p - 7. Let y be g(-6). Suppose y*u - i = u - q, 0 = 5*u - 2*i + 11. Is u != -2?
True
Let k = 111.9 - 112. Is 0.009 at least as big as k?
True
Let w = -0.1 + -2.9. Let x = -3 + w. Let z = -6.1 - x. Which is bigger: z or -0.01?
-0.01
Let f be 4/5*(-25)/10. Let x be 1 + (6 - 2) + f. Do x and 5 have different values?
True
Suppose 4*s + 6 = -2*c - 8, -5*c + s - 13 = 0. Suppose 2*q + 1 + 7 = 0. Is q bigger than c?
False
Let x be (9/(-30))/((-6)/(-30)). Let k = -0.5 + -0.2. Let v = 0.3 - k. Which is greater: x or v?
v
Let y = 2/545 + -1116/7085. Is 1 < y?
False
Suppose -4*a + 9*a - 10 = 0. Suppose u + 5 = a*m, -5*u + m - 3*m = 1. Let s(l) = l**2 + 11*l - 1. Let b be s(-11). Is u at most as big as b?
True
Let k = -62 - -97. Which is bigger: 34 or k?
k
Let u be 8/36 - 0 - 220/666. Is 1 less than u?
False
Suppose 0*a = -2*a - 16. Let j be (-28)/2*(-5)/10. Let h = a + j. Is 1/5 <= h?
False
Let n = 11 - 5. Let f be 7/n + 1/(-2). Which is smaller: f or 1?
f
Let n(b) = -2 + 10*b**2 + 4 - 9*b**2 + 6*b. Let l be n(-6). Is l not equal to 4/3?
True
Let f = 74 + -593/8. Suppose 0 = a - 5*a. Which is smaller: a or f?
f
Suppose 3*z = 2*q - 19, 5*z = 3*z - 10. Let k(m) = -m**3 - 5*m**2 + 7*m + 8. Let f be k(-6). Suppose -f*w + 1 = -w. Is q at least w?
True
Suppose -5*c + 5 = -5*k, 2*c + c = 4*k + 3. Suppose -h - 6 = -z, -2*h - 17 = -3*z - k*z. Which is smaller: h or 3/11?
h
Let a = 0.19 - 9.19. Let d = 8.9 + a. Is d not equal to 2/11?
True
Let a = 5 - 6.5. Let y = a - -1. Is 1/4 bigger than y?
True
Let n(o) = -10*o - 10. Let p be n(-1). Which is smaller: 0.116 or p?
p
Suppose -3*r - 4 + 1 = 0. Let q be r/3*(-3)/2. Which is bigger: -2 or q?
q
Let o be (-116)/12 + (3 - 20/6). Is -11 less than or equal to o?
True
Let j be (420/(-16))/(12/8). Which is smaller: -18 or j?
-18
Suppose 2*w + 7 = -3*a + 2, -4*w - a - 15 = 0. Which is smaller: -10/3 or w?
w
Let w = -7 - -2. Let u = w - -11/2. Suppose -t + 5 = 4*i, 5*t + 6 = -9. Which is bigger: i or u?
i
Let l = -146 - -433/3. Which is smaller: l or -1?
l
Let s = 119 + -91. Is 27 <= s?
True
Let c be (1 - 2)*(-1 - -2). Is 5/6 greater than c?
True
Suppose -w - 1 = 0, -2*l - 3*w = 2*w - 9. 