(1/1). Is -2/47 equal to j?
False
Let b = -122349/47 - -2603. Are b and 0 non-equal?
True
Let b(r) = -2*r - 5. Let q be b(-4). Let t = q + -3. Let g = -6343/17 - -373. Which is greater: g or t?
t
Let b(w) = -w**3 - w**2 - 2*w - 1. Suppose 5 = -4*k - t, 3*k = -k - 5*t - 9. Let o be b(k). Is o less than or equal to 2/15?
False
Let m be -3 - (112/20)/4. Do -4 and m have the same value?
False
Let d be 111/(-56) - (2 + 0). Let p = d - -27/7. Let a be (0 + 0)*(-4 + 3). Do p and a have the same value?
False
Let g be (-2 - 18) + 5 + -7 + 5. Are g and -16 non-equal?
True
Let r = -5 - -7. Let l(o) = -o - 7. Let z be l(-7). Does z = r?
False
Let l = 6 - 3. Let o be 1 - (-6)/l*-2. Is o less than -3?
False
Let o be 0 + (1 - 2) - 8/(-9). Is o != -1?
True
Let r(f) = -3*f**2 + 3*f + 2. Let y(b) = -2*b**2 + 4*b + 2. Let a(t) = -3*r(t) + 4*y(t). Let o be a(-7). Which is smaller: o or 0.2?
0.2
Let c = -2/3 + 11/21. Which is bigger: c or 1?
1
Suppose -m - 6 = 2*m. Which is greater: m or -3?
m
Suppose -9 = -2*g - 3. Suppose 5*p + 5 = -g*t, -t - 3*p = 4*t - 13. Which is bigger: 6 or t?
6
Let w = 1/4 - 1/2. Is -2/3 <= w?
True
Let l be ((-6)/30)/(2/622). Let h = 62 + l. Is 1 greater than h?
True
Suppose -3*k + 5*k = 0. Suppose 0 = -2*z - k*z. Which is smaller: z or 1?
z
Let w(p) = p + 8. Let i be w(-7). Which is bigger: 1/4 or i?
i
Suppose 7*g + 69 = -120. Which is bigger: -28 or g?
g
Suppose -11*y + 8 = -3*y. Let z = -11 - -76/7. Which is bigger: y or z?
y
Let o = -161/5 - -32. Is o equal to 0?
False
Suppose 3*s = 5*s - 28. Let a = 10 - s. Do a and -2 have the same value?
False
Let j(m) = m**3 - m**2 + m - 1. Let n be j(0). Is n at most 1/32?
True
Let j = -26/21 - -11/7. Let z = -3 - -4. Is j equal to z?
False
Let t be -7*(0 + 2) + -9 + 12. Is -80/7 bigger than t?
False
Suppose 0*d = -3*f - 4*d - 12, 0 = -5*f - 4*d - 12. Which is bigger: -4/17 or f?
f
Let g = -9224/11 - -838. Which is smaller: 3 or g?
g
Suppose -4*m = -2*h - 48 - 6, -5*m - 20 = h. Let r be (-1)/4 - h/20. Let z(g) = g**3 + 4*g**2 + 2*g - 2. Let d be z(-3). Is r at least as big as d?
True
Let c be (-6 - -6)/(2 - 3). Which is smaller: 3 or c?
c
Let g be 3/((-4)/16*-3). Let n be (2 + -1)*g/(-2). Which is greater: 0 or n?
0
Suppose 3*l + 34 = 4*v + l, 0 = 3*v - 4*l - 28. Let y be -1 + (-9)/((-36)/v). Is y < 1/17?
False
Let n(k) = -k**3 - k**2 + k - 3. Let r be n(0). Is r bigger than -5?
True
Let u be 3/(-6) - 2/8. Let a be (-5 - 1)*7/(-21). Suppose 5*x + 13 = -a*i + 1, -i = 1. Is x at least u?
False
Suppose 4*p - y = 60, 2*y = 5*p - 0*y - 78. Suppose 0 = -g - d + 4*d - p, -19 = -4*g - 3*d. Let w be (2 - g) + -1 - 2. Which is greater: -1 or w?
-1
Let w be (-2)/(3*6/(-9)). Let c be 1/(-2 + w + 0). Let p = 39 - 116/3. Is c smaller than p?
True
Let s(u) = -3*u + 31. Let f be s(11). Which is greater: f or 22?
22
Let r be 1/3 - (-15)/(-72). Let n = 31 + -30.9. Is n at most as big as r?
True
Let n(x) = x - 2. Let m be n(2). Suppose 2*h - 1 - 5 = m. Do 3 and h have different values?
False
Let r be (1 - 0)/(6/4 - 1). Let m = -3 - -6. Which is greater: m or r?
m
Let x = -0.26 - 2.74. Which is smaller: -1/4 or x?
x
Let s(r) = r**2 + 7*r - 7. Let q be s(-8). Let g be (2/18)/(4/6). Which is greater: g or q?
q
Let y = 6 + -18. Let m = y - -7. Let s be -12*(15/6)/m. Which is smaller: s or 7?
s
Let s = -0.2 - -0.2. Let x = -97 - -96.7. Which is smaller: x or s?
x
Let w(j) = -j**2 + 6*j - 3. Let i be w(7). Let c be 6/(-15) - 14/i. Which is smaller: 3 or c?
c
Let l(h) = h**3 - 16. Suppose 3*q = -q. Let c be l(q). Is -16 < c?
False
Let x = -13333/45 - -889/3. Which is smaller: x or 1?
x
Let l be 10/4*(-4)/(-5). Let o be l - (-4)/18*-8. Suppose 5*i = 7*i. Is i at most as big as o?
True
Suppose -4 = 4*g - 3*s, -3*g - 1 = 2*s + 2. Let a(n) = n**3 - 6*n**2 - n + 4. Let v be a(6). Let m be 4/(-7)*v/(-8). Is g equal to m?
False
Let o = 47 + -18. Is 2 at least as big as o?
False
Suppose -8 + 6 = -2*g. Is g greater than or equal to 2/301?
True
Let g = 9.4 + -6.4. Which is greater: 3/2 or g?
g
Let l(f) = f - 4. Let o be l(3). Do -1/6 and o have the same value?
False
Let d be (3 + (-1 - 1))*-3. Is d bigger than 1?
False
Let v(w) = -2*w + 4. Let z be v(-8). Let n be ((-108)/z)/(4/(-35)). Let b = 47 - n. Which is smaller: b or 1?
b
Let u be (-28)/(-102) + (-2)/6. Suppose 4*f + 29 = -2*b + 11, -4*b = -3*f - 19. Which is smaller: b or u?
u
Let w = 9 - 1. Suppose w = -5*d + 98. Let f be 2/9 - 40/d. Is -0.1 greater than f?
True
Suppose -h = 3*h + 12. Let p(m) = -5*m - 1. Let t be p(-2). Suppose -5*n - t = -2*n. Is n greater than h?
False
Let r = 22 + -17.3. Is 1/4 at least as big as r?
False
Let v be (3/(-2))/(12/(-112)). Let d = v - 11. Suppose -d = 5*l + 17. Does l = -3?
False
Let o = 4/13 - -1/39. Is o != -0.6?
True
Let i = 27 + -23. Does i = 0.3?
False
Let i(m) = -21*m - 2. Let o be i(2). Which is greater: o or -43?
-43
Let p = 31586 - 346931/11. Let d = p + -47. Which is smaller: d or -3?
-3
Let o = 0 - 0. Suppose -3*h + 4*t + 6 = 0, h - 2*t + o*t = 0. Let p = h + -7. Which is smaller: -1/12 or p?
p
Let g(f) = -f**2 - 6*f + 5. Let n = 11 - 18. Let d be g(n). Is d at least as big as -1/2?
False
Let y = 2.77 + 0.13. Let m = y + -3. Which is bigger: 1/3 or m?
1/3
Let a be -7 + 17 - 1*2. Which is smaller: a or 4?
4
Suppose -4*b = -3*y + 6, 2*y = y + 2*b. Suppose f = 4*f + y. Let u be (-6)/f - 92/28. Which is smaller: 3 or u?
u
Let v = -91 + 91. Let r be 1*(-6)/16 + 0. Is v at most as big as r?
False
Let p be (2/6)/((-12)/9). Suppose -o - s = s - 15, 0 = 3*s - 12. Suppose 4*l = -o + 3. Which is smaller: p or l?
l
Suppose -x - 2 = q - 0*q, 5*x + 2*q = -16. Let u be -4*(-3)/(24/10). Suppose -u*m = -3 + 13. Is m less than or equal to x?
False
Let o be (-6)/30 + 112/10. Let y = o - 10. Which is greater: y or 2?
2
Let j(r) be the third derivative of r**6/120 - r**5/12 - r**3/6 - 2*r**2. Let d be j(5). Which is smaller: -3 or d?
-3
Let q(y) = -y**2 + 69. Let c be q(0). Let h = 689/10 - c. Are h and -1 unequal?
True
Let i(v) = 2*v**2 - 2*v + 2. Let f be i(2). Suppose 0 = 2*d - 5*d - f. Is d smaller than -6/5?
True
Let o be (-8)/(-30)*85/(-34). Let l = 8 + 1. Suppose 4*m - l + 1 = -3*y, -2*m + 4*y = 18. Which is bigger: o or m?
o
Let i = -0.15 - -6.15. Let n = 5 - i. Is n equal to 4?
False
Let p be (-2)/22 + 4 + -3. Is p less than or equal to 0?
False
Let x be 0 - (-1 + (-11)/(-5)). Suppose -j - 4*j + 3*c = -5, 2*j - 3 = c. Suppose l + 3*l = -5*h + 8, j = -3*h + 2*l. Which is smaller: x or h?
x
Suppose -4*k = -l - 12, 8 + 7 = 5*k - l. Suppose -n - h + 6*h + 7 = 0, 2*h + 4 = 0. Let r = k + n. Is r >= -1?
True
Let c(h) be the third derivative of -h**6/120 + h**5/20 + h**4/6 + h**3/6 - 6*h**2. Let d be c(4). Is 13 at least as big as d?
True
Let r(z) = 2*z - 9. Let q be r(8). Let t be (-254)/q - (-4)/14. Let i be ((-2)/(-5))/(t/(-15)). Are i and -1 equal?
False
Let a = 0.62 + 7.68. Let k = 2.7 + a. Is k smaller than -0.1?
False
Let t = 13 + -8. Suppose -8 - 7 = -t*a. Suppose -16 = -4*i - 0*i. Is i greater than a?
True
Let y be (2/10)/(41/2009). Is 11 < y?
False
Let p be ((-63)/6)/7*2 + 4. Let r = 15028/5 + -2984. Let o = 22 - r. Which is smaller: p or o?
o
Let q be (-3)/6*(-8)/44. Which is greater: 1 or q?
1
Let n(i) = i**3 + 5*i**2 + 2*i - 4. Let h be n(-3). Is 6 < h?
True
Suppose -2*j + 16 = 3*m, 5*m + 3*j + 0*j - 25 = 0. Let k(t) = t**3 - 4*t + 3. Let g be k(m). Let n be g/(-4)*5/(-15). Which is smaller: 0 or n?
0
Let f be (-6)/(-9) + -3 + (-130)/(-12). Which is greater: 0 or f?
f
Let o(x) = x. Let b be o(2). Let p be 6 - -2*(-1)/b. Let h(i) = i**3 - 4*i**2 - 3*i - 6. Let z be h(p). Which is smaller: z or 3?
3
Let t(c) = -c + 5. Let z be t(5). Is z <= 2/17?
True
Suppose 5*f = 4*f - 10. Suppose 18*p = 12*p - 60. Is p bigger than f?
False
Let c be 2/(-3)*6 - 2/(-1). Is c greater than -14/11?
False
Let z be (-75)/33*6/(-15). Is z bigger than 0?
True
Let w be ((-20)/3)/(-4) + (-4)/6. Which is smaller: w or -2/41?
-2/41
Let d = 300 - 152. Which is greater: d or -0.1?
d
Suppose 3*s - 13 = 4*m, 0 = 3*m + 2*m + 3*s + 23. Which is greater: m or -12?
m
Let q = 208/3825 - -1/225. Which is smaller: q or -6?
-6
Let m(y) = 2*y + 16. Let f be m(-8). Which is greater: -3/23 or f?
f
Let y = 8 - 4. Suppose 2*a + y*z + 7 = -1, -2*z = 2*a + 4. Let p = -143/4 - -