e (-2 + (-84)/(-45))*d. Which is greater: 0.1 or p?
0.1
Let l = -0.1 + -0.9. Let z = 0.044 - -0.036. Which is smaller: l or z?
l
Let g = 2/25 - -12/475. Do 2/15 and g have different values?
True
Let m(u) = -2*u - 7. Let p be m(-5). Let o be p/2*-2 + 11. Is o at most 9?
True
Let h = -43 + 43.2. Which is smaller: -2/5 or h?
-2/5
Let g(v) = -v**3 - 2*v**2 - v - 2. Let w(z) = -z + 10. Let a be w(8). Let r be 0 + 2*(-2)/a. Let m be g(r). Are 0 and m nonequal?
False
Let m = -0.3 + 0.3. Let n = 4 + -3. Is n <= m?
False
Let h be (-1)/(((-2)/1)/8). Suppose -g = -6 + h. Suppose -3*n = 3*q + 9, -2 = g*n + 4. Which is smaller: 1/4 or q?
q
Let y be (6/(-4))/(6/(-10)). Let u = -19/6 + y. Which is bigger: u or -1?
u
Suppose 0 = g - 0*g. Let p(l) = 4*l - 1. Let i be p(1). Suppose 5*w = 5*c - 15, -w - i*w = 3*c + 12. Is g < c?
False
Let f be ((-1)/5)/(4/(-10)). Let k = 134 + -936/7. Is k <= f?
True
Let g(u) = 2*u + 17. Let f be g(-5). Suppose -f*y + y = -42. Does 7 = y?
True
Let l be (-2519)/(-825) + (-4 - -1). Which is smaller: 0 or l?
0
Suppose 4 = -4*x - 0*x. Let n be ((1 + -2)*0)/(-1). Is x smaller than n?
True
Let s be 185/72 + 60/(-135). Which is smaller: s or 3?
s
Suppose 4*i = -0*t + 4*t - 8, 4*i + 5 = t. Which is bigger: 0 or i?
0
Suppose o - 2*o = -2. Suppose o*c = 4*w - 16, -4*w + 16 = c - 0*w. Suppose f - 2 = -c*f. Which is smaller: f or 3?
f
Let h be (-4)/(-14) + 18/(-14). Let n = -38/35 - -9/7. Which is smaller: h or n?
h
Let l be -22*(-3 + 1 + 0/(-4)). Is 45 smaller than l?
False
Let r = -0.4 + 0.9. Let h = r - 0.3. Let p = 0.8 + h. Which is smaller: p or -2?
-2
Let b = 79 + -78. Does b = 21?
False
Let u = -679 + 13577/20. Is 0 at most u?
False
Suppose 2*d + 2*h - 10 = 0, -4*d = -h + 6*h - 23. Suppose x = -d*x. Let i = -125/3 + 851/21. Which is smaller: x or i?
i
Suppose -h - 8 = 5*k, 8*k + 18 = 5*k - 5*h. Are -3/143 and k equal?
False
Let y = 0.35 - 0.34. Let t = -0.51 - -0.4. Let i = t + y. Is i at most 0.3?
True
Let c = 7 - 5.8. Let k = 0.8 + c. Which is greater: k or -4?
k
Let i be 3/21 + (-69)/(-7). Let f be i/(-34)*(-16)/(-20). Is f at most as big as 0?
True
Suppose -5*c = 2*k - 8, 0*c + 3*k = -2*c + 1. Let i be -1*(c - 2 - -2). Let r(h) = h. Let w be r(i). Which is greater: -5/2 or w?
w
Let r be (16/14)/(-4) - (-328)/(-28). Which is greater: -10 or r?
-10
Suppose 2*w + w = 45. Which is smaller: 14 or w?
14
Let i(a) = -a**3 + 2*a**2 - 3*a + 2. Let f be i(2). Suppose -4*y - 8 - 4 = 0, 3*n = -y - 15. Do n and f have the same value?
True
Let d(q) = -q**2 + 8*q + 3. Let t be d(9). Let u = -4 - t. Which is greater: u or 0?
u
Let y = 33 - 32.49. Let n = y - 0.11. Is n at least -2?
True
Let w = 0.017 + -3.117. Let u = -3 - w. Is 1/2 bigger than u?
True
Let t = -8 - -7. Let r be t/(-2)*12/27. Is r at most as big as 0?
False
Suppose 4*g + 4 = -32. Which is bigger: g or -29/3?
g
Suppose 0*o = -2*f + 2*o - 6, 0 = -2*f + 3*o - 10. Let v = -1836/7 - -5486/21. Let k = -52/63 - v. Which is bigger: f or k?
f
Let k = 12 - 8. Suppose -5*a + 100 = 4*v, 5*a - v - 29 = k*a. Suppose -4*x = -3*u - u - a, 22 = 2*x - 4*u. Which is bigger: x or 1/4?
x
Let x = -41.2 + 41. Which is smaller: -0.04 or x?
x
Let v be -3 - (-6)/2 - 0. Let y be v - ((-39)/24 + 2). Is 0 equal to y?
False
Let r = -8 + 7.4. Let o = 33 - 101/3. Is o less than r?
True
Suppose -3*c - 11 = -2*r + 4, -5*r - 3*c = 15. Suppose -x - 3*y - 1 + 4 = r, -5*x + 2*y + 15 = 0. Let g be (-11)/(-4) + (-1)/(-4). Is x equal to g?
True
Let g(w) = -w + 6. Let c be g(6). Suppose 4*i + 3*u = -0*u + 12, c = -5*u. Suppose -i*r - 2*r = 0. Which is bigger: 0.4 or r?
0.4
Let h be 3/((-6)/2)*0. Let g be (-3)/8 + (-2)/(-8). Is g <= h?
True
Let i = -7 - -11. Let m = i - 10. Is m < 1?
True
Let v = 0.034 + 1.366. Is v greater than or equal to 1/3?
True
Let l(m) = -m - 7. Let g be l(-7). Suppose 2*q + g*q = 12. Let f be 5/((-15)/(-9)) - q. Which is greater: -1 or f?
-1
Let p(u) = u**2 + 22*u - 8. Let h be p(-22). Is h >= -9?
True
Let j = 497/1098 - 1/122. Which is greater: j or -1?
j
Suppose 3*m - 7*m + 20 = 0. Let l = 0.6 + 1.4. Let b = -3 + l. Which is greater: m or b?
m
Suppose -4*g = -3*g. Let b(f) = f**3 - 8*f**2 + 6*f + 7. Let q be b(7). Is g greater than q?
False
Let f = 21599/9 - 2397. Let r = 304/99 - f. Suppose -2*q + 0 = -2. Is q greater than r?
True
Let g = -32 + 33. Is g != 28?
True
Suppose 2*j + j = -39. Let z = j + 27/2. Which is bigger: z or 1?
1
Let c = -12 - -14. Let i = 547/45 + -104/9. Which is smaller: c or i?
i
Suppose 3*i - 5*f = 77, 2*i + 3*f = -3*i + 83. Which is smaller: 102/5 or i?
i
Let k = 3.2 + 2.8. Let y = -2 + 0. Let x = -1 - y. Is k at least as big as x?
True
Let i = -20 - -20.101. Which is smaller: 0.1 or i?
0.1
Suppose -4*f - 6 = -3*h + 2*h, 4*h + 2*f = -12. Suppose 0 = -3*u + 4*w - 29, u - 3*u + w - 11 = 0. Is h <= u?
False
Suppose 3*n - 7*z + 19 = -2*z, -2*z = n - 12. Let b(t) = t**2 + 3*t. Let c be b(-4). Suppose -r + c*o + 4 - 3 = 0, -5*o - n = -2*r. Which is greater: r or 1/4?
r
Let n be (4/8)/(1/12). Let f = 34 - 14. Let r be 15/f + n/(-8). Which is smaller: -1/2 or r?
-1/2
Suppose 2 = u + 4. Let n(a) = a**3 - 9*a**2 + 9*a - 9. Let f be n(8). Which is smaller: f or u?
u
Let t = 0.4 + -0.2. Let n = 5.82 - -0.38. Let k = n - 6. Are k and t equal?
True
Let v(j) = -j**2 - 9*j - 2. Let d be v(-7). Let i be (-2)/(-4) - d/16. Which is greater: i or -1?
i
Let k(v) = v**3 + v - 2. Let h be k(1). Which is greater: -1 or h?
h
Suppose -3*y - h = -2, 4*h - 17 = y - 4*y. Let c = 0 - y. Let m be 22/(-12) - c/6. Is m < -2?
False
Let f = 21 + -30. Let c = -8 - f. Let u be (-2 - -1*2)*1. Which is smaller: u or c?
u
Let p(v) = -v**2 - 2*v + 3. Let i be p(0). Are i and 4 non-equal?
True
Let l = 2 - 2.2. Let b = -0.3 - l. Let k = 58 - 58. Which is smaller: b or k?
b
Let z be (36/14 + -2)/(28/14). Let n = -0.06 + -1.94. Which is bigger: z or n?
z
Let i be 6152/(-38) + (2 - 0). Suppose -2*h + 4 = 0, -m + 5*h - 158 = 6*h. Let v = m - i. Do v and -1 have the same value?
False
Let r(l) = -7*l + 57. Let w be r(19). Does -76 = w?
True
Suppose 0 = -y + 4*t, -t = -y - 3*y. Let v be (-2)/(-5) + 18468/(-70). Let x = -263 - v. Is y >= x?
False
Let l be 9/15 - (-24)/(-15). Let t be -1 + 7/5 + -1. Is t not equal to l?
True
Suppose 6 + 15 = -3*o. Let l = o + 3. Does -2 = l?
False
Let l = -3.2 + 3. Let g = -0.1 - l. Let n = -2.92 - 0.08. Which is bigger: g or n?
g
Let r(d) = 2*d**3 + 2*d**2 - d. Let h be r(1). Let m(f) = 4*f - 1. Let s be m(4). Suppose -5*n + 5*a + s = 0, -h*a + 1 = n + 10. Are n and 0 equal?
True
Let x be 228/8 + (-3)/(-2). Let n be 56/x - (0 + 0). Let l = n + -6/5. Is -0.1 > l?
False
Let a = 9 + -13. Let w be a/(-108)*6/8. Is 0 less than or equal to w?
True
Let j = -2 + 1.9. Is -7/2 != j?
True
Let q be 4/(-10) + (-178)/130. Let x = -21/13 - q. Which is smaller: -2/7 or x?
-2/7
Suppose x + 4*r = -x - 10, 1 = -5*x - 4*r. Let j = 7 - x. Is 2 at least j?
False
Let s(f) = f + 2 + 6 + 0. Let v be s(-6). Suppose -4*y + 4 = -v*y. Do y and 1 have the same value?
False
Let h = 0.1 - 0. Let z be 70/4*(-1 + 7). Let a be (z/(-20))/(3/(-2)). Is a bigger than h?
True
Let m = -5 + 8. Let u be (-1)/(((-2)/2)/3). Let v be u/(m/4) - -1. Is v less than or equal to 4?
False
Let n = -4 + 1. Let w = -3 - n. Is -4 at least w?
False
Suppose 0 = -7*u + 11*u. Let k be (-2)/(-4)*12/(-33). Which is bigger: u or k?
u
Let i(g) = -g**2 - 6*g + 6. Let b(q) = -q**2 - 5*q. Let x be b(-4). Suppose -x*m - 5*p - 28 = 0, 3*m = 2*m + 4*p - 7. Let d be i(m). Is d smaller than -3/2?
False
Let y(v) = v**2 - 9*v + 13. Let o be y(6). Which is greater: o or -3?
-3
Let b = 0 - -0.1. Which is greater: -1/3 or b?
b
Let t = 112 - 1343/12. Let q = 5 - 5. Which is smaller: t or q?
q
Let f = -8.1 + 8. Is f bigger than -1/3?
True
Let s(c) = c**2 + 7*c + 1. Let f be s(-6). Let v be (-22)/f + 6/(-15). Let g be (1 + -1)/(-3 + v). Do g and -2 have different values?
True
Let x(d) be the third derivative of d**6/120 - d**5/60 - d**4/24 - 52*d**3/3 - d**2. Let p be x(0). Let a be 3/5 - p/160. Are 1 and a non-equal?
True
Let j be -3*(-1)/3 - -2. Suppose 4*g + 0*g = j*n - 70, -g - 5*n - 6 = 0. Let f be (2/g)/((-1)/(-2)). Which is smaller: 1 or f?
f
Suppose -a = -3*a. Is a smaller than -1?
False
Let d = -0.1 + 0.1. Let s = -2.2 - -1.9. Which is smaller: s or d?