?
r
Let x = -11 - -11. Do -4 and x have different values?
True
Let x = 0.2 + -0.2. Let y = -0.1 + x. Let o be 56/(-90) + -4 + (-44)/(-10). Is o at least y?
False
Let g(i) = -i**3 - i + 3. Let y be g(0). Suppose -5*j - s - 3 = -10, -5*s - 9 = y*j. Let t be 3*(1 - 0) + 0. Which is smaller: t or j?
j
Let c = 4355/4 - 1099. Does -10 = c?
False
Let s be -1 + 2 + -2 - 4. Suppose -5*i - 17 = -4*i + 4*u, -5*u - 35 = 4*i. Is i greater than s?
False
Let h be ((-4)/2 - 6)/(-2). Let x be ((-128)/(-42))/(-6 + h). Let w = -2/3 - x. Is w <= 1?
True
Let a = -49.4 + 48. Which is smaller: a or 2/7?
a
Let v be 26/12*15/(-10). Is v not equal to -1/2?
True
Let l = -16 - -25. Suppose -l*a = -4*a. Which is greater: a or 1/9?
1/9
Let c be (-4 - -1)/((-6)/(-4)). Is c > -3/5?
False
Let w be (-621)/3234 + (-4)/(-22). Which is smaller: w or -1?
-1
Let u = 22 + -31. Which is greater: -1 or u?
-1
Let d(j) = -j**3 + 3*j**2 - 1. Let w be d(3). Suppose 0 = -2*o + c - 5, -c + 3*c - 5 = -o. Is w greater than o?
False
Let q = -8 - -8.1. Is q at most as big as 6?
True
Let z = -26 + 41. Is -2/7 >= z?
False
Suppose -2 = -v - 1. Let x be -3 + 0 + v + -1. Suppose 6 = -4*h + h. Which is bigger: x or h?
h
Let r(i) = 3*i - 6. Let z be r(-3). Are -15 and z non-equal?
False
Suppose -3*q + 1 = 2*p - 0, 0 = p - 2. Let j be 1/((-2)/(-4)) + -2. Suppose 2*l = -j*l. Which is smaller: l or q?
q
Let v = -29 + 26. Is 0.07 > v?
True
Let d = 2 - 2. Let t = d - 1. Let s(b) = b**2 - 8*b + 7. Let o be s(7). Do t and o have the same value?
False
Suppose 1 = -4*d + 5. Let b be ((-3)/(-21))/(2/9462). Let m = 677 - b. Which is smaller: m or d?
d
Let b = -0.02 + 3.02. Let z = -0.3 + -2.7. Let f = z + b. Do 4 and f have different values?
True
Suppose 0 = -5*a + 7*a - 4. Are 0 and a non-equal?
True
Let o = -2.95 - 0.05. Let x = -4.4 + 1.4. Let l = x - o. Is l != 2/7?
True
Let c(n) = 12*n + 32. Let i be c(-5). Which is smaller: i or -29?
-29
Let h = -0.52 + 0.5. Let u be (98/(-24) + 4)*-3. Are u and h nonequal?
True
Let y be ((-1)/((-8)/(-2)))/(-1). Let k be 1/5*55/(-88). Which is greater: k or y?
y
Let b be -2 + (1 - 0/(-2)). Let j(x) = x**2 + 10*x + 11. Let n be j(-8). Let v be (-1)/n - (-64)/(-20). Are v and b equal?
False
Let z(s) = -s + 3. Let v be z(3). Let y(t) = -t + 2. Let c be y(v). Is 2 greater than or equal to c?
True
Let n be (-2)/(-3) - (35/(-15) + 5). Let t(r) = -2*r**2 - r. Let g be t(1). Which is bigger: n or g?
n
Let z = 318.8 + -292. Let l = z - 26. Is l equal to 1?
False
Let h be 17/(-4) - 3/(-12). Suppose -37 = -4*k + x - 8, 0 = 3*k + x - 20. Let v = k + h. Is 3 less than v?
False
Suppose -5*p = 3*d + 17, 8 + 8 = 4*p - 5*d. Is p <= 2/41?
True
Let y = 1750828/255 - 6866. Let m = y + 779/1785. Let p be 3/(-4) + (-3)/12. Which is smaller: p or m?
p
Let s be 1/(-8)*(-1)/7. Let f = s + 1/8. Which is greater: f or -1?
f
Let b(y) = 5*y + 20. Let f be b(-4). Is f <= 2/79?
True
Let w be (-7)/(5 - -2) - (-1 - -1). Let p = 8 - 5. Let s = w + p. Is 3 not equal to s?
True
Let n(u) = 7*u + 1. Let w be n(-1). Let y be ((-2)/(-6))/((-4)/w). Which is smaller: y or 0?
0
Suppose -2*k + 485 = 5*w, 3*k - 5*w - 817 = -77. Suppose -5*i - 4*z - z = -235, 5*i - k = 5*z. Let v be 1 - (-2 - i/(-15)). Which is smaller: 0 or v?
v
Let g be (-1 - -2) + (-4)/2. Let v be ((-8)/6)/((-4)/12). Let r be (v/10)/((-21)/(-15)). Is g <= r?
True
Let c be (-228)/(-14) + 6/(-21). Suppose -8*b = -7*b + c. Which is greater: -17 or b?
b
Let i = -2.1 + 2. Let u = 0.05 + -0.16. Which is greater: u or i?
i
Let g be 2/5 - (-76)/10. Suppose 3*u - g = 2*u + 4*x, -19 = u + 5*x. Let r be 10/(-35) - u/14. Is 1 not equal to r?
True
Suppose -g = 2*g - 15, -13 = -y - 2*g. Suppose 2*f + f = y*h - 75, -3*h - 72 = 4*f. Let m be f/18 - (-4)/6. Which is bigger: 1/4 or m?
1/4
Let b(a) = 8*a - 2. Let c be b(-2). Let g be (-25)/14 - c/12. Which is greater: -1/2 or g?
g
Suppose i = -i. Let u(w) be the third derivative of w**5/60 - w**4/24 + w**3/2 + w**2. Let v be u(i). Which is smaller: v or 2?
2
Let i = 0.2 + -0.3. Let d(f) = f**2 - 2*f - 1. Let y be 4 - (1 - (1 + -2)). Let w be d(y). Which is smaller: i or w?
w
Let v(d) = 3*d**2 + 1 - 1 - 4*d**2 + 4 - 2*d. Let g be v(-3). Is g at least 1/7?
True
Let o = -0.2 - -0.1. Let g = 0.04 + 0.66. Let f = g + -0.4. Which is smaller: o or f?
o
Let h = -113/260 - -5/13. Which is smaller: 0 or h?
h
Let r = 11.7 - 7. Let m = r - 5. Which is bigger: m or 1?
1
Let f be (3 - 1) + -3 + 0. Let p be 6/27*1/6. Let h = -31/108 + p. Which is bigger: f or h?
h
Suppose 3*a - 30 = 4*s, -a = 3*a - 8. Let g(u) = u + 3. Let d be g(s). Let n(r) = r**2 + 3*r - 2. Let h be n(d). Is 0 <= h?
False
Let t be (6/(-6))/((-1)/(-18)). Which is greater: -20 or t?
t
Let z be 1 - (0 + 2) - -4. Is 3 < z?
False
Let t = 23/54 - 11/27. Is 0 greater than t?
False
Let g = 1.59 + 0.44. Let o = g - 0.03. Is o bigger than 2?
False
Let v(t) be the first derivative of 3*t**2 + 1. Let z be v(-1). Which is smaller: -2/9 or z?
z
Let p = 1.07 + -0.07. Let b = 3 - p. Which is bigger: b or -2/9?
b
Suppose -3*g + 20 = -7. Is g greater than 10?
False
Let r = -922040/477 - -17404/9. Let y be (4/159)/((-8)/(-36)). Let u = r - y. Which is greater: u or 1?
1
Suppose -3*o = -0*o - 75. Let f = -29 + o. Which is smaller: -8/3 or f?
f
Let n = -1/97 - 173/2037. Let u(k) = 2*k**2 + 7*k + 5. Let y be u(-2). Which is smaller: y or n?
y
Let h(s) = -s**2 - s + 1. Let r be h(1). Are -1/2 and r non-equal?
True
Suppose -3*g = -4*g + 4. Let c(t) = t**3 + 7*t**2 - t - 2. Let h be c(-7). Let u be (2/g)/(h/20). Which is greater: u or 1?
u
Let h be -2 - ((-4 - -4) + -1). Let b = -5 + 3. Let w = 2 + b. Which is smaller: h or w?
h
Let z be (66/(-4))/((-4)/(-8)). Is 1/2 equal to z?
False
Suppose -5*t = 5*k + 440, t + 3*k = -142 + 46. Is t not equal to -83?
True
Suppose -9 - 11 = 5*w, w = -3*l + 77. Let x = -15 + l. Let r be 8/x + (-1)/15. Is r > 2?
False
Let y(j) = -7*j**2 + 12*j - 28. Let d be y(4). Which is smaller: d or -90?
d
Suppose 5*f + 2*m - m + 1 = 0, -5*f + 2*m = 13. Is -2 >= f?
False
Let u be -1 + 0*(-1)/2. Let p be ((-8)/(-4))/((-6)/(-75)). Let t be ((-10)/p)/((-2)/5). Which is smaller: u or t?
u
Let a = 15 + -16. Is a bigger than 2/23?
False
Let z = -2.98 - 0.02. Let g = 3.1 + z. Which is smaller: -5 or g?
-5
Let k be ((-8)/(-8))/((-2)/14). Which is smaller: k or -9?
-9
Let r = 7 + -5. Let w = -0.05 + 0.55. Let b = w - 0.4. Is r > b?
True
Let a be (21/10)/(6/(-5)). Which is smaller: a or -3?
-3
Let f = -6 - -7. Let z be -2 + (-4)/(f - 3). Is 1/7 != z?
True
Let x(s) be the second derivative of s**3/6 + s**2 + 4*s. Let f be x(-2). Let d be (2/14)/(1 - 2). Which is greater: d or f?
f
Let d(a) = -a - 8*a - 1 - 2 + a**2. Let m be d(8). Let b = m - -4. Is b greater than -7?
False
Let w be 4/(-5)*(-5)/2. Suppose 0 - 16 = w*b. Let t be (-6)/b - (2 - 1). Which is smaller: 1 or t?
t
Let q be -4 + (-1)/((-3)/(-36)). Are q and -17 nonequal?
True
Let b = 40183/259 + -1348/37. Let t be (-716)/6 - (-1)/3. Let j = b + t. Which is greater: j or -0.1?
-0.1
Suppose 0 = -5*u - 5 - 0. Let f = 4/5 + -22/15. Which is smaller: u or f?
u
Suppose -5*z + 81 = 2*w + 8, -5*w = 5. Are z and 0.1 non-equal?
True
Let n(j) = 3*j**3 + 3 - 2*j**3 - 4 - 6*j**2. Let v be n(6). Let h be (-8)/50*5/2. Which is bigger: v or h?
h
Let t = -28 + 26. Which is smaller: -16/5 or t?
-16/5
Let y = -32 + 34. Is y >= -0.01?
True
Suppose -2*k - 3 = k. Let i be 0/((1 + 1)/(-1)). Suppose -a + 2*g - 7 = i, -3*g - 2 = 5*a - 2*g. Is a > k?
False
Let v be 24/252 - 6/14. Is 0.03 >= v?
True
Suppose 5*y - y + 8 = 0. Let j = y + 3. Which is bigger: 2 or j?
2
Let y be 125/15 - (-1 + (-12)/(-9)). Do y and 7 have different values?
True
Suppose -12 = -4*y + 8. Suppose -1 - 4 = -y*o. Let c = 7 - o. Which is greater: 7 or c?
7
Let l = -0.154 + -0.046. Which is bigger: l or 4?
4
Let h = 0.82 - 0.02. Let g = -0.6 + h. Which is smaller: g or -2/3?
-2/3
Let a = 11 + -12. Is a less than 5/33?
True
Let n(u) = u + 2. Let x be n(-7). Let c be ((-8)/(-6))/(x/(-15)). Let g = -1 - -4. Which is bigger: g or c?
c
Let a = -33 + 18. Which is smaller: 1 or a?
a
Let n(x) = 5*x**3 - x + 1. Let g be n(1). Let a = -6 + g. Which is smaller: a or 3/8?
a
Let b be (-70)/(-25) - (-2)/10. Let m = 5 - b. Let r be (5/((-50)/(-8)))/m. Which is smaller: r or -2/7?
-2/7