 4*n + x*k = -j. Are -3 and n equal?
False
Suppose -2*a + 2 = 12. Let d = a - -8. Are d and 3 equal?
True
Suppose 0 = -r - 2*r + 75. Let o be 20/(-6)*(-5)/r. Let p be 26/7 + (-4)/(-14). Is p smaller than o?
False
Let t(j) = -j + 11. Let v be t(9). Let l be ((24/33)/(-4))/v. Which is smaller: 0 or l?
l
Let y = -10 - -13. Let c be (-4)/(1 - 0) - y. Is c at most as big as -9?
False
Let u = 24 - 23. Which is greater: -0.2 or u?
u
Suppose -4*s + 18 - 6 = 0. Let f = -3 - s. Let d be (f/15)/((-7)/(-5)). Which is greater: d or 2/3?
2/3
Let a = 5.5 + -1.4. Let u = 1.1 - a. Is -3 < u?
False
Let c be (-8)/10*15/6. Let z be 1/c - 6/(-9). Which is smaller: 0 or z?
0
Let y = -2.072 + 0.072. Is 10/3 at least y?
True
Let h = -3 - -1. Which is smaller: h or -0.6?
h
Suppose -7 = 4*y + 5*n - 3, 0 = 5*n + 20. Let f(p) = 2*p + 1. Let o be f(1). Suppose 10 = l - 4*u, l + 0*u = o*u + 8. Which is smaller: l or y?
l
Suppose 5*s + 10 = -2*r, -2*s - 4 = r - 1. Suppose r*p = 4*o - 25, 1 = 5*o - p - 4. Is o less than -3/7?
False
Let t = -10 - -9. Do t and -1.2 have different values?
True
Let d be (4/6)/(8/(-12)). Let h be 2/(-4 + d + 3). Let i = 11/3 - 19/6. Which is bigger: h or i?
i
Let n(m) = m**3 + 16*m**2 - 14*m + 4. Let s be n(-17). Is -48 >= s?
False
Let t be (2/7)/1 - (-18)/(-112). Which is smaller: t or -1?
-1
Let j be (-2 + -2)*3 + 2. Let u = j - -4. Let t be ((-3)/22)/(u/8). Is 1 < t?
False
Let p = -632/11 + 58. Which is smaller: 1 or p?
p
Let l = 1468/3 + -468. Let o = -21 + l. Which is greater: 0.1 or o?
o
Let k = -1 - 1. Let n = k - -1.7. Let f be 3/4 - 1/4. Is n at most f?
True
Suppose -2*j + 10 = 0, 2*u + 4*j - 5*j = -5. Let t be (3/3)/(u + 6). Which is bigger: 1 or t?
1
Suppose 0 = 5*n - 5*p - 15, 1 = -n - 2*n - 2*p. Suppose -b + g - 2 = 0, -2*b + 1 = 5*g - 23. Let x = n - b. Do x and 1/5 have the same value?
False
Let c = 34 - 14. Is 20 less than or equal to c?
True
Let o be (-2)/(-4)*(-364)/(-35). Let r = -27/5 + o. Do r and -1 have the same value?
False
Suppose -4*r = 5*x - 49, -5*x + x = -20. Let y = 21 + -17. Which is bigger: r or y?
r
Let x be 1/((-6)/(-3) - (-10)/(-4)). Is -15/8 greater than or equal to x?
True
Let m be 0/(2/(-3)*-3). Let a be 10/4*308/25. Let v = a - 157/5. Which is greater: v or m?
m
Suppose 6*p + 52 = 2*p. Is p less than -14?
False
Let g = 76.9 - 86. Let a = g + 9. Which is smaller: a or 1/4?
a
Let v = 99 + -66. Let l be -1 + ((-4)/(-12))/(3/(-9)). Let t be 6/v - l/(-11). Is -2/3 less than or equal to t?
True
Suppose -2*j - 23 = 5*r, -2*j + 0*r + 12 = -2*r. Let m be j/(-1) + 0/4. Which is greater: m or 3/8?
3/8
Let v = 4 - 4. Let l = 1435339 + -964547417/672. Let q = l + -1/96. Which is smaller: v or q?
v
Let u = 8 - 5. Let f be (-7)/((-1)/(-12)*2). Let r be (-10)/15 + (-16)/f. Which is smaller: u or r?
r
Let d = 37 + -4. Is 33 less than d?
False
Let y = 485/3068 - 1/236. Let j = -3 - -3. Which is greater: y or j?
y
Let t = -38 + 38. Which is greater: t or 1/13?
1/13
Let r(z) be the second derivative of -4/3*z**3 - 5*z**2 + 0 + 1/12*z**4 - z. Let y be r(9). Which is bigger: 1/2 or y?
1/2
Suppose 6 = 3*g - 3. Let h be (-17)/(-4) + 4/(-16). Suppose -3*i - g = 3*o, h = 2*i + o - 2*o. Are i and 2/17 unequal?
True
Let b be 6/27 - (-1010)/(-495). Is -3 != b?
True
Suppose -6*s + s - 40 = 0. Let u be 10/4*s/(-10). Do u and 1/2 have the same value?
False
Let b(h) = h**3 - 29*h**2 - 29*h - 30. Let z be b(30). Which is greater: z or 2/29?
2/29
Let k = 0.022 - 2.722. Let a = k + 3.8. Let m = a - 1. Which is smaller: 0.2 or m?
m
Suppose -4*c - 4*x + 8 = 0, c - 2*c = -3*x - 6. Suppose -3*o - 3*w = -9, -3*o - 6*w + 7 = -w. Suppose o = 2*v - 2. Is v >= c?
True
Let w be -4 + (1 - -1)*1. Suppose 0 = 2*g + t + 1, g + 4*t = -5 - 6. Suppose -4*u = 3 + g. Is u greater than or equal to w?
True
Let p = 9 - -11. Let i be ((-2)/5)/(2/p). Is -2 <= i?
False
Let o = -2 - -2. Let b = -0.1 - o. Is 0 at least b?
True
Let x be 2 + (2 - 7) - -15. Do 11 and x have different values?
True
Let b = -0.8 - -1.8. Let z = -7.05 + 0.05. Let y = 10 + z. Is b not equal to y?
True
Let i = 5.9 - -0.1. Let c = i - 3. Let r = 3.3 - c. Which is smaller: 1 or r?
r
Let g = -86 - -85. Which is greater: -0.23 or g?
-0.23
Let f = -22.2 + 22. Let a = 2 - 1.98. Which is bigger: f or a?
a
Suppose 9*s + 22 - 13 = 0. Let g(w) = w**2 - 4*w - 5. Let u be g(5). Which is smaller: u or s?
s
Suppose 5*p - 5 = -3*y, 6*p - 5*y = 3*p + 37. Let z = 5 - 3. Let j be (-3)/(z - (1 + 2)). Which is smaller: j or p?
j
Let j = -12 + 12. Suppose j = -0*b + 5*b. Let u be (-2)/(-5) - 7/15. Is b < u?
False
Let y = 4306 - 486574/113. Let n = -182/1243 - y. Let w(u) = -u**3 + 5*u**2 - 3*u - 3. Let s be w(4). Is n at most as big as s?
True
Suppose 0 = 3*l + 1 - 10. Suppose g - l = -1. Suppose -g*a - 8 = -0. Are -1/2 and a nonequal?
True
Let y(o) = -o**2 + 11*o - 6. Let z be y(9). Let s(q) = q**3 - 11*q**2 - 14*q + 17. Let i be s(z). Which is greater: i or -6?
-6
Let n be (-5 + 9)/64 + -1 + 1. Which is greater: -1 or n?
n
Let c = -5 + -4. Let l = 6 + c. Which is bigger: l or -2/3?
-2/3
Let b be ((-6)/(-9))/(13/3). Which is smaller: b or -1?
-1
Suppose -5 + 1 = 2*x. Let y be x/(-10) + 46/(-5). Let d = 4 + y. Is d less than -6?
False
Let n be 2 - 107313/(-294)*-2. Let c = -728 - n. Are c and 0 equal?
False
Let l(q) = 17*q**3 + 2*q - 1. Let i be l(1). Which is smaller: i or 20?
i
Let b = 1 + -1.2. Which is smaller: -1 or b?
-1
Let x(u) = -u**3 - 9*u**2 - u - 8. Let k be x(-9). Let t be 1/(-14)*(-3 - k). Which is bigger: t or -1?
t
Let i = -0.23 - 0.17. Which is greater: i or 4?
4
Let n(k) = k**3 + 5*k**2 - 3*k + 7. Let s be n(-6). Is -10 at least s?
True
Let l(f) = -f**3 - 15*f**2 + 11*f - 15. Let j be l(-16). Let w = j - 191/3. Which is bigger: 2 or w?
2
Let a be (-1 + 26)*2/(-6). Does -7 = a?
False
Let t = 4 - 3. Let f be -3 - (t + 254/(-44)). Let d = -3/11 + f. Is 2 bigger than d?
True
Let r = 2 + -3. Let f be (-3 - (-1 + -1))*4. Which is smaller: f or r?
f
Let k = 91 + -88. Is k at least -0.07?
True
Let r(j) = j**3 - 8*j**2 - 9*j + 6. Let x be r(9). Let c = x + -3. Is c less than 4?
True
Let i = 628/5 - 125. Let x(a) = 3*a - 15. Let l(y) = y - 7. Let s(k) = -5*l(k) + 2*x(k). Let b be s(-4). Which is smaller: b or i?
i
Let t = -80 + 81. Is t != -1/3?
True
Let o be 1*(-10)/145*2/4. Which is smaller: 1 or o?
o
Let d(b) = -b**2 + 10*b - 12. Suppose -5*u + 2*j + 2*j + 57 = 0, -33 = -3*u + 2*j. Let i be d(u). Do -2 and i have the same value?
False
Let w(j) = j. Let c be w(0). Suppose c = -5*f + 6 + 4. Which is smaller: f or 3?
f
Suppose -64 = -5*l + 56. Which is smaller: 25 or l?
l
Suppose 5*l = -g + 16, 3*g - 2*l = 4*g - 7. Which is bigger: 9/4 or g?
9/4
Suppose -4*q + 9*q = -40. Let o be (2/q)/(1/(-2)). Which is greater: 2 or o?
2
Suppose 0 = -0*v - 2*v + 4*j - 4, -4*v + j - 8 = 0. Is v greater than -5?
True
Suppose -3*u = -l - 4*u + 1, 0 = -u. Let d be -2 - l/(-2 + 1). Suppose 0 = -o + 2*o. Which is bigger: o or d?
o
Let p(t) = t - 6. Suppose 0*c + 2*c - 3*m = 37, -2*c + 17 = m. Let o(b) = 6*b - 29. Let y(d) = c*p(d) - 2*o(d). Let w be y(-8). Which is smaller: 1 or w?
w
Let u be (-1)/15 - (-2)/(-6). Let v be ((-18)/(-5))/(2/10). Let c be 38/24 + (-24)/v. Which is smaller: c or u?
u
Let y(r) = -r + 12. Let b be y(8). Is 5 != b?
True
Suppose 3*o - 9 = -0*o. Suppose o*b + d + 5 = 0, 8 = -0*d + 2*d. Do -3 and b have the same value?
True
Let o = -1 - -10. Let r(d) = d**2 + 7*d + 2. Let m be r(-8). Does m = o?
False
Let a = -15 + 9. Let x(o) = -o - 6. Let t be x(a). Is 1/2 less than t?
False
Let b = 20.34 + -0.34. Is -2/9 greater than or equal to b?
False
Suppose 2 + 3 = 5*c. Is c < -6?
False
Let c = -7 + -1. Let z = c + 2. Let q be (z/(-4))/((-9)/(-4)). Which is greater: q or 0?
q
Let w(z) = 3*z - 2 + 0*z - 4*z. Let v be w(-2). Which is greater: 4/7 or v?
4/7
Let f be 2 - (4/6)/((-12)/(-45)). Which is smaller: f or 2?
f
Let q = -0.4 + -3.6. Let p = q - -5. Which is smaller: -3 or p?
-3
Let a = -1.4 + 2. Suppose 0 = -18*o + 27*o. Which is smaller: o or a?
o
Let k be (2/60)/(86/772). Let r = k + -10/43. Which is bigger: r or -1?
r
Let g(f) = f**3 - 4*f**2 - f + 2. Let z be g(4). Is 3 > z?
True
Let o = -1.29 + -0.32. Let z = -6.49 + o. Let t = z - -8. Are t and -0.5 non-equal?
True
Let m = -170 - -166. Let h = -9 - -5