 2 and h nonequal?
True
Let w = -191 - -92. Let l be w/385 - 4/(-10). Which is bigger: l or 0?
l
Let k = 6.1 + -6. Let v = -5 + 1. Which is smaller: k or v?
v
Let m(h) = h**3 - h**2 - 2. Let v be m(-4). Let l be v/(-126) + (-10)/45. Which is smaller: 0 or l?
0
Let u = -47 - -46.9. Does 0.04 = u?
False
Let z = 0.19 - 1.19. Suppose 3*m + 64 = 169. Let q be 10/m - 2/(-42). Which is bigger: q or z?
q
Suppose 0 = -0*n + 2*n + 10. Which is greater: n or -6?
n
Let v = -16 + 5. Let p = v - -11.2. Is p smaller than 0?
False
Let y(v) = v**3 + 5*v**2 - 7*v - 8. Suppose -3*o - 14 = c, 11 = -5*o - 5*c + 1. Let z be y(o). Is z smaller than -2/3?
True
Let a = -17.1 - -17. Which is bigger: -23 or a?
a
Let v(p) = p + 2. Let n be v(2). Let r be 1/21 + n/(-12). Is r at least 1?
False
Let b = 276 - 262.9. Let o = b - 8. Let a = -0.1 + o. Is 1/4 greater than a?
False
Let t(a) = -a**3 + 5*a**2 + 1. Let w be t(5). Let o(r) = 2*r**3 - r + 2*r + r**2 - 3*r + 1. Let j be o(w). Is j less than or equal to 2?
True
Suppose 4*k + 4 - 40 = 0. Let p be ((-1)/k)/(7/(-147)). Let f(g) = g**3 + 5*g**2 - 6*g + 3. Let l be f(-6). Do p and l have the same value?
False
Let r be (-1249)/(-1)*92/(-420). Let g = -1749/7 - r. Let x = 70/3 - g. Which is smaller: 0 or x?
x
Let q(w) = -w + 6. Let i be q(7). Let t be (-4 - -2)*i/2. Suppose 0 = -3*h + 4*h - 1. Is h > t?
False
Let d = -20 + 19.8. Which is greater: 4 or d?
4
Let g = 10 - 11. Which is smaller: -2 or g?
-2
Let w = -15 + 9. Let s(c) be the first derivative of c**3/3 + 5*c**2/2 - 4*c + 2. Let f be s(w). Which is greater: 1 or f?
f
Let o = -36 + 37. Are -2/41 and o non-equal?
True
Let d(b) = b + 2. Let t be d(-2). Is 0.1 at least t?
True
Let y be (-1)/3*1*2. Let p = 6.1 + -0.1. Let z = p + -6. Which is smaller: y or z?
y
Let d be 2 + -1 + (-11 - -20). Are 11 and d equal?
False
Let p = -79 - -1815/23. Is p at least 1/2?
False
Let f = 0.13 + -0.03. Is 10 less than or equal to f?
False
Suppose a = -3*z + 8, 2*a + 8 + 8 = 2*z. Let f(c) = c - 5. Let s(t) = -t + 5. Let b(l) = -5*f(l) - 6*s(l). Let m be b(z). Which is smaller: 2 or m?
m
Let q(s) = s + 6. Suppose 13 = -3*x - 4*p, 4*x = -2*p - 3 - 1. Let t = -5 - x. Let m be q(t). Which is greater: m or 1/5?
1/5
Suppose -5 + 14 = -p. Let z = 53 - p. Let b = z + -436/7. Which is smaller: b or 1?
b
Let h be (-2300)/(-14) - 1/1. Let c = 163 - h. Is c != -0.1?
True
Let l = -1123/12125 - -9/125. Which is greater: l or 0?
0
Let f = 1.2 - -4.8. Let t = -6.2 + f. Is -2 at most t?
True
Let t be (-47)/5 - (-10)/25. Let i be ((-63)/(-2))/(t/(-24)). Let n be 52/i - 1/3. Which is smaller: n or -1?
-1
Let w = -210 + 201. Suppose 2*r = -4*p - 12, -21 = 3*r - 0*p + 3*p. Which is smaller: r or w?
w
Let x be (3 + (-254)/84)/((-2)/8). Which is greater: x or -1?
x
Suppose 81*h + 16 = 85*h. Suppose 0*m = m + 5*u - 14, -18 = -4*m - u. Are m and h nonequal?
False
Let o = 71 + -70. Let a = 142 + -1133/8. Which is smaller: o or a?
a
Let s = 43 + -43. Which is smaller: -2/35 or s?
-2/35
Let t be (-3 - -3)*(-3 - (-7)/2). Which is smaller: t or 4/17?
t
Let k(b) = -b + 1. Let d be k(3). Suppose -y - 3 + 0 = -h, h - 3*y = 5. Suppose -3*t = -h*j + 16, -5*t = -2*t - j + 11. Is d less than t?
False
Suppose 2*p - 2 = 3*p. Let m be p/7 + (-16)/(-7). Let c be (m/(-30))/(3 + -4). Is -1 at least as big as c?
False
Let r be ((-8)/20*2)/(2/5). Which is smaller: -9/16 or r?
r
Suppose 12*l + 6 = 15*l. Suppose -2*t = l - 6. Is 1 < t?
True
Let s = -1.33 + 1.4. Let v = 0.03 + s. Is v bigger than 3/4?
False
Suppose -2*x - 2*x = -24. Suppose f - 4*o = 9, 2*f - 7*f - x = -3*o. Let v = -8 - f. Is -3 bigger than v?
True
Let p = 42 - 27. Let h = p - -5. Suppose -2*f + 10 = 3*d, -f - h = -5*d - 5*f. Is 0 equal to d?
True
Let c = -2 - -1. Let d be 12 + (-2 + c - -1). Let n be 12/10*d/4. Which is smaller: n or 2?
2
Suppose 0*g - 3*g + 6 = 0. Suppose -s + 18 = 3*t + g*s, -2*s + 16 = 3*t. Is 4 bigger than t?
False
Let g(h) = h**2 + 3*h - 6. Let y be g(-5). Let o be y/(-10) + 34/10. Which is bigger: o or 1?
o
Let d be (-1)/(0 - 2/10). Suppose -4*w = d*i + 235, -211 = -0*w + 4*w - 3*i. Let v be ((-4)/w)/(6/15). Is v <= -1?
False
Let d = 0.53 + -0.03. Let i = 150.99 + -150. Let w = i + 0.01. Which is greater: w or d?
w
Let u be (-10)/(-15)*6/4. Which is greater: u or 1/27?
u
Let w be (-10)/15 + (-203144)/(-507). Let z = 400 - w. Let i = -348/845 - z. Which is bigger: 1 or i?
1
Suppose 5*h - 25 = -4*s + 30, 0 = -s - 3*h + 19. Suppose s + 1 = f. Let b = -15 + f. Which is smaller: -3 or b?
b
Suppose -7*s - 3 - 11 = 0. Do s and -12/5 have different values?
True
Let p(g) = g**2 + 9*g + 11. Let o be p(-8). Let v = 6 - o. Suppose -v*y - 2*y = 0. Is y != 0?
False
Let n = 0.19 + 0.01. Which is smaller: 0.12 or n?
0.12
Suppose -4*n - 4*z + 52 = -0*n, 0 = -5*n + 3*z + 81. Let u = n - 11. Let f = u + -4. Which is smaller: f or -1?
-1
Let w(d) = 5*d + 4. Let y(c) = -14*c - 13. Let n(t) = -17*w(t) - 6*y(t). Let u be n(10). Are 2 and u equal?
False
Let a = -81.1 - -81. Which is smaller: a or 4?
a
Let m be (-2)/4*(1 + 1). Let l be ((-2)/2)/1*4. Let d be ((-1)/2)/(14/l). Is d != m?
True
Let f be 102/(-105) - 4/(-10). Let i = 24 + -26. Is f at most as big as i?
False
Let l = -9.48 - -0.48. Is l at most -2/7?
True
Let h be (4/3)/(4/12). Is h <= 4?
True
Let o = -7544/663 + 10/221. Which is smaller: -11 or o?
o
Let v = -13 - 2. Let p be 70/v*6/10. Which is smaller: p or -3?
-3
Suppose -d = -5*d - 2*z, z = d. Suppose d*v = -2*v. Let p be v - (7 - (-1)/(-1)). Is 2/7 less than or equal to p?
False
Suppose 0 = 3*m + m - 120. Let y be -1 + 116/m - 3. Which is bigger: 0 or y?
0
Let k = 1502 - 3166. Let a be k/(-20)*20/7326. Let h = a - 2/407. Are -1 and h unequal?
True
Let r = 260 - 7541/29. Which is bigger: r or 1?
1
Suppose -3*x - x = -4*j - 36, -4*x - 2*j = -42. Let n = 18 - x. Suppose 5*p - n*p = -5*o + 29, -5*p - 3 = 3*o. Which is smaller: -2 or p?
p
Suppose -f + 5 = 6. Which is smaller: -2 or f?
-2
Let s(t) = -t**2 - 4*t - 2. Suppose 4*i = 4*v + 9 + 15, -v - 5*i = -12. Let w be s(v). Let m = 61/155 - 6/31. Is m at most as big as w?
True
Suppose 5*h + 3*l - 14 = 0, -4*l + 21 = 4*h + 5. Which is bigger: -2/9 or h?
h
Suppose 2*r + 2*r = -44. Suppose 0 = 5*t - 2*t + 33. Is t at least as big as r?
True
Let k be -1 + (-4 + -2)*-1. Let r = k - 4. Let t = -1/30 + -3/10. Which is greater: t or r?
r
Let m = -1.3 - -15.3. Which is smaller: 0 or m?
0
Suppose -5*i + 23 = 8. Suppose 2*a - 6 = -4*u, 0 = -i*u - 6*a + 2*a + 17. Which is bigger: 1/7 or u?
1/7
Suppose b + 2*i = 0, 0 = 5*b - 2*i - 22 - 2. Is 1 < b?
True
Let a be (20 - 19)/((-10)/(-14)). Suppose -4*g + 0*f + 8 = -2*f, -3*g - 5*f = -6. Is a >= g?
False
Let c be (-2 - 4)/(23 - -2). Is c at least as big as -1?
True
Let q(s) = -s. Let j be q(-6). Suppose 5*v = -4*y - 11, -3*y + 0 = 3*v + j. Is v less than -3?
False
Let d = -6 - -3. Which is greater: d or -4?
d
Suppose 3 = d + 7. Let u be 8/5 + d/(-10). Suppose 0 = -0*o - u*o. Is o smaller than 2?
True
Let j = 2 - 4. Are -1 and j equal?
False
Let x = 2195 + -6470/3. Let v = x - 38. Let q = -3 + 2. Is q <= v?
True
Let l = 21 + -16. Which is bigger: -2 or l?
l
Let m = -65553/17 - -3855. Which is smaller: m or -2/5?
m
Suppose 22 = -5*i + 102. Let m be (i/40)/((-4)/6). Which is smaller: m or 0?
m
Suppose -5*h + 0*h = 0, 3*h = 4*i. Which is smaller: -1/7 or i?
-1/7
Let b(i) = i. Let m be b(1). Is 7 greater than m?
True
Suppose -2*i + 34 = 12. Is 11 at least i?
True
Let r be -1 - ((-64)/28)/4. Are -1 and r non-equal?
True
Suppose 0 = -4*q + 5*k, 0*q = -4*q + k. Suppose -h + 2*h = -1, -2*c - h - 7 = q. Is c greater than or equal to 2/11?
False
Let i be ((-3)/30)/((-2)/5). Are i and 1 unequal?
True
Let w = 0.24 + -0.04. Suppose -3*u + 16 = u. Which is smaller: w or u?
w
Let c be (5 - 0) + -3 - 2. Which is bigger: 12 or c?
12
Let b(g) = g**3 - g**2 + g + 1. Let y be b(-1). Let k be 4/(-6) + y/6. Suppose -5*m - 8 = -m. Is m bigger than k?
False
Let x be 3883/7678 - 1/2. Is 0 >= x?
False
Let u = -0.06 + 0.66. Are u and -0.1 non-equal?
True
Let t(x) = -x**2 - 12*x - 16. Let f(a) = -3*a + 7. Let u be f(6). Let p be t(u). Which is smaller: 1 or p?
p
Let r(q) = -3*q + 25. Let v be r(12). Is -13 < v?
True
Let x(d) = d**3 + 10*d**2 + 8*d - 6. Let k be x(-9). Suppose 4 = -k*q - q. Is 2/23 bi