/10)/(w/5). Which is smaller: b or 4?
b
Suppose 23 + 13 = -12*a. Which is bigger: 0.3 or a?
0.3
Let m = 13 + -16. Which is greater: m or -2?
-2
Let h = -307/9 - -34. Is h > -1?
True
Let z be 76/221 + 10/85. Which is bigger: z or 0?
z
Let q be 106/132 + 12/(-18). Let s(b) = -b**3 + 6*b**2 - 7*b - 5. Let g be s(4). Which is greater: g or q?
q
Let w be (-6)/(6/(-2)) + 1. Suppose -w*p - 2*p = 0. Suppose 2*g + p*g - 17 = -3*u, -31 = -4*g - 5*u. Do 3 and g have the same value?
False
Let b(w) be the first derivative of 3*w**2 - 3. Let x be b(1). Let q be 1/1 - -1 - x. Is q at most as big as -4?
True
Suppose -2*i - 14 = -4*m, 3*i - 3*m + 0 + 9 = 0. Let u be (4 + -3)*(i - 0). Let g be ((-4)/(-6))/((-5)/(-3)). Does g = u?
False
Suppose 0 = -2*j + 4*v + 26, 4*j - 5 = -3*v + 14. Let o be 2/3*3/j. Let g = 2 + -3. Is o greater than or equal to g?
True
Let h = -8 - -8.1. Which is greater: h or 44?
44
Suppose 0 = 8*t + 190 + 66. Is t >= -34?
True
Suppose 4*c + 5*i = 29, -c + 3*i = 4*c + 10. Which is greater: 5 or c?
5
Suppose 3*p + 3 = -4*y + 19, -3*y - 3*p = -15. Let u = 0.06 + 0.44. Let f = u + -0.6. Which is smaller: f or y?
f
Suppose 3*a + 561 = 2*h - 0*a, -3*a = 3*h - 804. Let x = 9023/6 + -26648/15. Let b = x + h. Which is smaller: b or 1?
b
Let h = -41 + 44. Is h at least as big as -15?
True
Suppose 2*i - 4*m + 6 = 0, 4*i + m - 6*m = -12. Let s be 0*(-3)/18*i. Suppose s = -5*l + 17 + 3. Is l equal to 4?
True
Let p be (-6)/9 + (-178)/2328. Let r be (-2)/(-194)*2/(-3). Let q = r + p. Which is smaller: -2 or q?
-2
Let d be (-3)/(-2) - (-3)/2. Let p = 3 - d. Let w = -4 - -3. Which is bigger: w or p?
p
Let z(g) = -5*g. Let a(c) be the first derivative of -2*c**2 - 3. Let q(l) = -6*a(l) + 5*z(l). Let v be q(-1). Is 2/19 greater than or equal to v?
False
Let w = -1 + 2. Let h = 3 + -1. Which is bigger: h or w?
h
Suppose 0 = m + m - 10. Which is smaller: -1/2 or m?
-1/2
Let a(f) = -f**2 + 11*f - 12. Let c be a(9). Suppose c = -m + 7. Let g = 5.3 + 0.7. Do g and m have the same value?
False
Let v be (8/(-6))/(2/12). Is v at most -10?
False
Suppose 11 = 4*x - 1. Let a be (3/(3/5))/1. Suppose a*t + 20 = 4*v, -3*t - 2 = -x*v + 13. Is 0 smaller than t?
False
Suppose r + 0 = 1. Let x be 2/13 + 2 + -2. Is r at most as big as x?
False
Let q = -1321/8502 - -1/654. Which is bigger: 0 or q?
0
Let p = -41.886 + -0.114. Is p >= -1?
False
Let g = -4/3 + 2. Let n = -3.9 + 4. Let q = n - 0. Is g bigger than q?
True
Let f be 2/(-6) + 6/(-9). Let l(g) = 8*g**3 + 41 - 6*g**3 - 40. Let s be l(f). Are s and 1/9 nonequal?
True
Let y = 0.1 - -1.9. Do y and -11 have the same value?
False
Let z be (5/(-7 - -2))/(-19). Which is smaller: z or 0?
0
Suppose -4*h - 24 - 12 = 0. Let x be (h/(-6))/(3/8). Suppose -10 = 2*o - 7*o. Does x = o?
False
Suppose -4*h - 77 = 3*l, -18*h = -16*h + 4. Which is smaller: -25 or l?
-25
Let k be ((-2)/4)/((-1)/(-4)). Is -4 >= k?
False
Let n = 0.1426 - -0.0574. Let g = 8 + -12. Is g bigger than n?
False
Let o = 4 - 2. Suppose -43 = -4*k - 3*h, -k - 5*h + 18 = -o*k. Which is bigger: 8 or k?
8
Let v = -8 + 7. Let h be (3/(-4))/(12/8). Is v less than h?
True
Let m be (-24)/51*(3 + (-19)/6). Which is bigger: m or 1?
1
Let q be (1/3)/(1/57). Suppose 4*v + q = 3*a, -4*a - 4 = 2*v - 0*v. Suppose 8*c = 9*c - 2*c. Is a < c?
False
Suppose -x + 2*z + 2 = 0, 0 = -x - 2*x + 5*z + 4. Which is greater: x or 1?
1
Let a(q) = -q**2 - 6. Let k be a(3). Is -15 >= k?
True
Let m(w) = -w + 7. Let r be m(18). Is r > -2?
False
Let v(a) be the second derivative of -a**4/12 + 4*a**3/3 + 6*a**2 + 2*a. Let n be v(9). Suppose -n*x = -5*x - 2. Are -3/4 and x equal?
False
Let i be (-2 - -1)/150 - 0. Let j = 33/50 - i. Which is smaller: 0 or j?
0
Let d = 5.12 - 0.12. Let u = -7 + d. Are u and 0.1 non-equal?
True
Suppose 5*d = 3*o + 2, -3*d - 10 = 2*o - 2*d. Let i(r) = r**2 + 5*r + 4. Let v be i(o). Suppose 0 = 20*b - 15*b + 5. Which is smaller: b or v?
b
Let s be 4/24 - 38557/(-12). Let t = s + -3192. Let x = -22 + t. Is x >= -2?
True
Suppose 3*l = 13 + 2. Let b(a) = 11*a**2 - 2*a + 1. Let r be b(1). Let i = -6 + r. Is l at least as big as i?
True
Let z(n) = 2*n - 26. Let s be z(13). Is -1 bigger than s?
False
Let d = 3.33 - -0.07. Let y = d - 0.4. Let a = 0.21 - 0.11. Which is smaller: y or a?
a
Let t be (0 + 6)*8/(-128). Which is bigger: t or -1?
t
Let p = 4.122 - 0.122. Is p >= 1?
True
Let h(q) = -4*q**2 - 3*q + 3. Let w(d) = -5*d**2 - 3*d + 3. Let n(x) = -6*h(x) + 5*w(x). Let v be n(2). Which is smaller: v or -2?
-2
Let g = 3 + -5. Which is smaller: -0.1 or g?
g
Suppose -7*a - 3*c = -2*a - 44, 4*c - 32 = -4*a. Suppose -4*l - 30 = -a. Is -3 less than l?
False
Let s be -13 - (-2 + 3)*-3. Let a = -14 - s. Let o = -17 + 12. Which is bigger: o or a?
a
Let i = 2337 - 203317/87. Let y = i + 427/348. Is 1 at least as big as y?
False
Let y be ((-68)/(-2))/((-4)/8). Is -67 smaller than y?
False
Let i(k) = -k**3 - 14*k**2 + k + 12. Let a be i(-14). Let x = -13 - -21. Suppose 2*c - 2 + x = 0. Which is smaller: a or c?
c
Let n = 71/12 + -20/3. Is n bigger than -4?
True
Let s = -3 + -1. Let p = s + 3. Let d = p + 2. Is -0.3 not equal to d?
True
Suppose -c - 27 = -5*g + 2*c, -4*g = 5*c + 8. Suppose 7*a - 12 = g*a. Which is smaller: a or 2?
2
Let u be 10/3*3/2. Suppose -1 = -g + u. Suppose g*t = 2*s + 2*t - 24, t = -4*s + 3. Is 3 not equal to s?
True
Let k(h) = h**2 + 5*h + 2. Let t be k(-5). Let c be t - (-8)/(-3)*1. Which is bigger: c or 0.2?
0.2
Let d = 140.01 - 140. Which is smaller: d or 0.1?
d
Let b be (1622/(-1640) + 1)*-32. Let v be 160/82 - 2/1. Let n = b + v. Is n less than 1?
True
Let x be (-43)/(-13) + -5 + 2. Is 0 at most x?
True
Let f = 57 - 56. Suppose 0*n - 2*n + 6 = 0. Let x be 1/(-3)*(-2)/n. Which is smaller: f or x?
x
Let b be 5 - (5 + 3 + -6). Suppose 5*i - 2*k + 0 = 5, b*i = -k - 8. Let p = 38 - 192/5. Is p != i?
True
Suppose -p + 3*h = 4, 0 = p + 6*h - 7*h - 2. Suppose -2*u = -4*k + 18, -2*k - u - 6 = -3*k. Which is smaller: k or p?
k
Let x = 57 - 57. Which is smaller: -9 or x?
-9
Let p = -149/210 - 1/210. Suppose 0 = -c - c. Which is bigger: c or p?
c
Let t be (54/(-81))/((-8)/474). Which is bigger: t or 40?
40
Suppose -3*c = 2*c - h - 20, c = -h - 2. Suppose -8 = -g - c, 2*r - 13 = -g. Suppose 0 = -3*u - r - 5. Are -2 and u equal?
False
Let j = -10 + 19. Let p = 8 - j. Which is bigger: p or -2/7?
-2/7
Let g be 2/3*6/10. Let y(w) = 2*w**2 - 4*w + w**2 + 4 - 4*w**2. Let c be y(-5). Is g != c?
True
Let x be (-51 + 3)*2/(-21). Which is smaller: 6 or x?
x
Let z(s) = -2*s**2 + 28*s - 19. Let v be z(13). Let d = -3 - -9. Is v less than d?
False
Let q(r) = -r**3 + r**2 - 1. Let m be q(3). Let x be 144/(-8)*(-2)/m. Let g = x + 214/133. Which is greater: 1 or g?
1
Let k = -15 + 14. Is 2/9 >= k?
True
Let z = -11 + 20. Let r be 0*8/(-32) + 1/(-3). Which is smaller: r or z?
r
Let j = 11 + -12. Is -2/5 greater than j?
True
Let t(i) = i**3 + 2*i**2 - i - 2. Let s be t(-1). Which is smaller: s or -1/3?
-1/3
Let i(w) = -w**2 + 9*w + 3. Let z be i(10). Which is bigger: z or -1?
-1
Let o(y) = 0 + 5 - y + 0*y. Let j be o(6). Is 1 not equal to j?
True
Suppose -h - 1 - 2 = 0. Which is smaller: -1 or h?
h
Let j be 6*(-2 + 27/6). Let r be 6/j - (-16)/10. Let x be 1/(-4) + r/8. Which is smaller: -1 or x?
-1
Let x = 2 + 0. Suppose -2*u - z = 0, 5*u = -2*z - 3 + x. Let v = -2 - -2. Is v at least u?
True
Let x(u) = -u**2 + 7*u - 7. Let z be x(6). Let q = -875/88 - -81/8. Which is smaller: z or q?
z
Suppose -5*t = -4*d - 31, t - 3 = d + 4. Let y = 2 - 2. Suppose y*l = -5*l + 10. Is l < t?
True
Let r be ((-2)/(-9))/((-12)/18). Let k = 7.86 + 0.14. Let b = 6 - k. Is b less than r?
True
Let c be (-6)/28*(-4)/3. Let b = 2 + 1. Suppose 0 = -b*j + 4 - 1. Is c greater than j?
False
Let r(z) = 25*z - 6. Let y be r(1). Which is smaller: 1 or y?
1
Let d be (-2)/(-2) + (-2380)/2025. Let k = -2/81 + d. Which is smaller: k or -1?
-1
Let v be 10*1 + -5 + 3. Let l(a) = a**3 - 8*a**2 + 5. Let k be l(v). Suppose -2*h - h + 3*i = -9, -4*h - k*i = -3. Are h and 0 unequal?
True
Let t be (-5)/10 - (-10)/36. Suppose -4*p + p + 40 = 4*y, 0 = -3*y + 3*p + 9. Suppose 3*s - y + 4 = 0. Which is smaller: t or s?
t
Let h = 0 + 1. Suppose 3*x - 23 = 5*i, -x - 5*i = 31 - 12. Is x equal to h?
True
Let w(n) = -n**3 + 8*n**2 - 8*n + 6.