
0
Suppose 4*d = 2*d. Which is smaller: -1/8 or d?
-1/8
Let h be (1 - (-6279 + 3))/25. Let w = 251 - h. Do -1 and w have different values?
True
Let z = -6 - 3. Let q = z - -9. Is -5 smaller than q?
True
Suppose 12 = 3*t - d - 2*d, -3*d = 5*t - 60. Let q be 1*(t/12 + -1). Is q at least 1?
False
Suppose -56 = 4*x - 5*o - 16, -x - 13 = -2*o. Which is bigger: x or -18/5?
-18/5
Let g be 4/18 - 4/18. Let a be (-90)/12*62/3. Let f = 1397/9 + a. Is g > f?
False
Let k be ((-568)/(-48) + (-2)/(-12))*-2. Which is greater: k or -23?
-23
Suppose 4*x + 5*q + 312 = 0, -2*x - 3*q - 118 = 38. Let j be ((-3)/x)/(4/(-16)). Which is smaller: j or 0?
j
Suppose 4*d + p - 7 = -d, 0 = 4*d + 4*p - 12. Is -53 less than d?
True
Suppose -4*u + 3 = -3*v, 6 - 15 = -u - 2*v. Suppose -5*y + 6*i = u*i - 40, -3*i = 2*y + 5. Suppose 0 = y*c - 2*c + 27. Is c at least as big as -9?
True
Let c = 147960/687401 + 28/2299. Let f = c - 7/23. Let k be (-21)/35 - (-8)/5. Which is smaller: k or f?
f
Let w(u) = -u**3 - 6*u**2 + u + 4. Let l(v) = 5*v - 1. Let d be l(-1). Let s be w(d). Which is bigger: s or -3?
s
Let p be (3/1834)/((-4)/(-574)). Let o = 386579/131 + -2951. Let d = p - o. Does 1 = d?
False
Let t = -41 - -30. Which is smaller: t or -1?
t
Let v = -0.12 + 0.1. Let c = v + 0.03. Let t = c - 0.11. Are 3 and t equal?
False
Let n = 33 + -23. Let h be 5*(28/n - 2). Suppose -3*q - h*u + 23 = 0, -4*q + u + 27 - 9 = 0. Is 4 != q?
True
Let a(y) be the first derivative of y**2 + 9*y + 2. Let n be a(-6). Let s be (-4)/2 + -1 + 1. Is s >= n?
True
Suppose a = g - 8, -2*a + 6 = -g + 19. Let s be g + 0 + (0 - 1). Let m = -4 - -3. Which is smaller: m or s?
m
Suppose -8*w = -12*w + 20. Is w at least as big as 16?
False
Let r = 0.076 - -0.024. Which is smaller: -3 or r?
-3
Let l be (-25)/30*4588/25. Let b = l - -153. Is -1 less than or equal to b?
True
Let s be 15/6*(-6)/5. Let a = -2 - s. Do -2/5 and a have the same value?
False
Let p be ((-616)/(-30))/7*(-3)/2. Which is smaller: -5 or p?
-5
Let g(b) = 2*b**3 - 2*b**2 + 1. Let s be g(-1). Let n = -68 + 133/2. Which is bigger: n or s?
n
Let t = 173/132 - -1/44. Which is smaller: -0.04 or t?
-0.04
Let b be (-5 - -1)/(0 + 1). Let v(c) = -c - 5. Let m be v(-2). Which is smaller: m or b?
b
Let w(d) = d**2 + 10*d - 7. Let s be w(-11). Is 5 less than or equal to s?
False
Let w = -1 - -1. Let k be (-7 - -4) + 2 + 0. Which is smaller: k or w?
k
Let y = 5 + -6. Let n = -0.95 + y. Let l = n - -2. Which is smaller: 0 or l?
0
Let y be (-2)/8 - (-36)/16. Let d be ((-1)/y)/((-6)/(-12)). Let p be 9/3*(-2)/16. Is p less than d?
False
Suppose 0 = 5*d + m - 564, 0 = 4*d - 2*m - 0*m - 440. Which is bigger: 0.1 or d?
d
Let r(t) = 80*t**2 + t. Let f be r(1). Which is bigger: 80 or f?
f
Let n be 18/6 + (2 - 1). Is 2 greater than or equal to n?
False
Suppose -16*y = 11*y + 162. Is y greater than or equal to -3?
False
Let x be -5 - 1 - (0 - 2). Let c be (-6)/4 - (-42)/x. Let q be (-2)/c*(-9)/6. Is -1 less than or equal to q?
True
Let o = -0.7 + 0.3. Is o > -5?
True
Let v = -1 - -5. Suppose -2*z + 0*z - v = 0. Let j = -24 + 21. Is z at most j?
False
Let q be 120/18 + (-4)/6. Let i(k) = k**3 - 4*k**2 - k**2 + 1 + 1 - 7*k. Let z be i(q). Does z = 1?
False
Let o = 23/8 + -307/104. Suppose s + 4 = -3*s. Is o bigger than s?
True
Suppose -r = -w + 5, 0 = -4*r + 5*w - 0 - 22. Let q be r/9 - (-4)/(-6). Let b(j) = -j**2 + 4*j - 3. Let t be b(3). Is t greater than q?
True
Let y(w) = w**2 + 9*w + 10. Let s be y(-8). Suppose s*o + 0*o + 10 = 0. Which is smaller: o or -4?
o
Suppose 4 = 2*y + 2. Let z be (0/(-1))/(y + -2). Is z at least as big as 1/4?
False
Let y(b) = -b**3 + 5*b**2 + 6. Let x = -4 + -7. Let m(s) = -2*s**3 + 9*s**2 + 11. Let h(o) = x*y(o) + 6*m(o). Let v be h(-1). Is v greater than 1?
False
Let j = -8 + 9. Let p be (2*j)/(1 - 5). Let o = 3 - 6. Which is smaller: p or o?
o
Let z be (-4789)/(-15)*28/(-12). Let m = z + 745. Let t = 4/9 - m. Is t less than or equal to 4?
True
Let y = -4 + 2. Let p = -1 - y. Suppose 6*m - m - 3*h - 35 = 0, -5 = h. Which is smaller: m or p?
p
Let b(u) = -u**3 + 7*u**2 + 9. Let k be b(7). Let i be (-3)/k + 1/(-6). Which is smaller: 2/9 or i?
i
Let a = 0.05 + -0.12. Let l be 3/((-2)/((-4)/(-9))). Which is smaller: a or l?
l
Let c = -0.9 - 0.1. Let w be (-420)/(-24) - (3/2 - 0). Is c at least w?
False
Suppose 20 = 3*q + 5*t, q + t - 5*t - 18 = 0. Suppose -2*p - 4*n + q = -7*n, -4*n - 13 = -3*p. Is 2/15 less than or equal to p?
False
Let m = 3 + -2.98. Let p = -2.1 - -2. Which is bigger: p or m?
m
Suppose 0 = -4*x - x. Suppose -4*n = -h - 15, 2*n - 2*h = 12 - x. Let y(s) = s**3 + 2*s**2 + 2. Let d be y(-2). Is d at most as big as n?
True
Let p be 3 + -2 + -4 + 513. Let x = -4585/9 + p. Which is bigger: x or 0?
x
Let m(b) = 4*b + 6. Let x be m(-5). Let l(w) = w**3 + 13*w**2 - 14*w + 5. Let u be l(x). Suppose -2*s + r - 1 - 5 = 0, -u*s + 3*r = 17. Is s < -1/10?
True
Let q = 10 + -11. Is q less than or equal to -5/2?
False
Let x = -71 - -72. Let y be 4/(-14) + 23/7. Is x bigger than y?
False
Suppose 0 = 2*x - 4*g + 4, -5*x - g = -31 + 8. Suppose 0 = 2*c - x*c - 3*z - 4, c - 2*z - 5 = 0. Let w = -12 + 13. Are c and w nonequal?
False
Let j be (-10)/12 - (-12)/(-72). Which is bigger: -11 or j?
j
Suppose v - 4 = 6. Suppose -2*d + v = y, y - 2*d = -y + 2. Suppose -3*l - y*n = -16 + 6, 5*l + 5*n = 10. Is l at least as big as -2?
True
Let h be (-3 - -2)*3/1. Let k(s) = -2*s - 3. Let f be k(h). Suppose 0 = -g + f*g. Is g < 0?
False
Let m = 0.052 + -0.152. Which is smaller: m or -1?
-1
Suppose 4*f + 7 = 11. Which is greater: 6/7 or f?
f
Let j(a) = -a + 2. Let n be 12/5 - (-4)/(-10). Let u be j(n). Let d = 0 - u. Which is smaller: -2 or d?
-2
Suppose 0*c - 2*j - 46 = -2*c, -45 = -3*c - 5*j. Do c and 20 have different values?
False
Let m be (-6)/10 + (-270)/50. Is m at most as big as -4?
True
Let x be 4/3*(2 - 5). Let o be (-5 - -4)*1*x. Let i = -5 + o. Are -1 and i nonequal?
False
Suppose 2*o = 5*o + 129. Let f = 214/5 + o. Is f != 1?
True
Suppose -4*m + 11 + 1 = 0. Let t(u) = -u + 4. Let k be t(m). Let i = 148 - 144. Which is smaller: k or i?
k
Let m = -0.12 + -1.28. Let z = -0.4 - m. Do z and -2 have different values?
True
Let p be (-12)/(-3) - 1 - 5. Let o = p - -4. Is 0.3 <= o?
True
Let i = -895/3 + 301. Which is smaller: 3 or i?
i
Suppose 5*o - 4*m + 13 = 0, -2*o + 4*m = o + 11. Let t(f) = 7*f**2. Let s be t(-2). Let c be (10/(-15))/(s/(-18)). Is c greater than o?
True
Let j be -7 - (6 + 8/(-4)). Which is smaller: -18 or j?
-18
Let w(o) = -4*o + 23. Let m(j) = 7*j - 45. Let i(h) = -6*m(h) - 11*w(h). Let p be i(-9). Which is smaller: -4/5 or p?
p
Suppose f = 4*f - 24. Let m = f - 4. Is 5 equal to m?
False
Let y be (16/(-20))/((-6)/45). Let t = 7 - y. Which is smaller: t or 1/4?
1/4
Let w = -37 + 223/6. Suppose -4*v = -v + 3. Let m = v + 0. Which is bigger: m or w?
w
Suppose -7 = 4*h + 3*h. Is -12/13 greater than or equal to h?
True
Let m be 2/12 - 1/1. Let r be 1/(-1*(-1 + 4)). Is r greater than m?
True
Suppose 5*a - 2*a - 9 = 0. Let o = a - 3. Let n = 0 - 1/4. Is n <= o?
True
Suppose 3*p - p - o = 19, 0 = -2*p + 2*o + 22. Let a = -6 + 15. Which is smaller: a or p?
p
Let u be (-1)/(-79)*-1*1. Do -1 and u have the same value?
False
Let l be (1 + 0)/(33/(-2)). Let c = -15 - -19. Suppose -c*w - 5*q + 21 = -0, 0 = 4*w + 4*q - 16. Which is bigger: w or l?
l
Let h be 5 + 4/(-2) - 1. Let b be (-2)/(-9) + h/(-9). Is b at most as big as -2/9?
False
Let s = 3 - -2. Suppose 2*l + l - 2*b - 4 = 0, l + 10 = -s*b. Let z = -1320/7 - -188. Which is smaller: l or z?
z
Let k = -5 + 7. Let y = -1073 + 7526/7. Is y < k?
False
Let y = -59 - -32. Let x = y - -82/3. Is 4 at most x?
False
Let o = -0.65 + 0.05. Let i = 2.6 + o. Which is smaller: -2 or i?
-2
Let g be ((-16)/20)/(4/10). Let v = 1 - 2. Is v at most as big as g?
False
Let c = -13 + 13. Which is smaller: 2 or c?
c
Let w(d) = -d + 6. Let i(q) = -q**3 - 2*q**2 - 2*q + 2. Let o be i(-2). Let f be w(o). Let r be 2*1/(-4)*f. Which is smaller: 1 or r?
r
Let v = 51 - 42. Is v smaller than 10?
True
Let g(v) be the first derivative of -v**4/4 - 5*v**3/3 - v - 2. Let q be g(-5). Is q equal to -1/2?
False
Suppose 4*r - 3*d = 7, 3*d = r + 2*d - 3. Let p = r - -1. Let i(n) = -n**2 - 7*n - 8. Let l be i(-6). Is p less than