- -3.7. Let v = m - -0.4. Let p be (((-4)/6)/2)/(-1). Does v = p?
False
Let n = -39 + 40.9. Let p = 5 - 3. Let m = n - p. Which is smaller: m or 2?
m
Let j(b) = b**2 + 4*b - 1. Let t be j(-4). Let k = 27638 - 6799171/246. Let o = k + 3/41. Which is smaller: t or o?
t
Suppose -5*o = -4*q - 6, -4*q = -4*o - 5*q + 9. Suppose 0 = 5*y + 5, -o*r + 1 = -6*y + 3*y. Is r not equal to -2?
True
Suppose -5*p + 22 = -8. Does -4 = p?
False
Let t(q) be the third derivative of q**4/12 - q**3 - 4*q**2. Let s be t(5). Suppose 0 = -y - s*y. Which is greater: -1 or y?
y
Let s = 3 - -1. Suppose -c - s = -5*c. Let w be (((-6)/(-10))/3)/(-1). Which is smaller: c or w?
w
Let z = 3.3 - -0.7. Let w = z + -7. Let j be ((-2)/(-10))/((-1)/2). Do j and w have the same value?
False
Let l = 0.9 - -0.1. Let k = 80 - 76.7. Let a = -3 + k. Are l and a nonequal?
True
Let u = -19 - -19.22. Is u <= 1?
True
Suppose 2*q + 4*v = 16, 0 = -2*q - 0*v + 3*v - 5. Suppose 0 = q*l - 4*t - 0*t + 26, -l + 4*t = 21. Suppose -6 = -3*z + 4*z. Which is bigger: l or z?
l
Let g be ((-4)/(-5))/(6/40). Is 4 bigger than g?
False
Let p = 11 - 8. Let l = 5 - p. Let c = -3.1 + 1.1. Are l and c non-equal?
True
Let r be ((-516)/42 + 2)/(1/(-7)). Is r less than 72?
False
Let k = -114 + 94. Which is smaller: -4 or k?
k
Suppose 0 = -3*u - u + 32. Let p(o) = o - 10. Let a be p(u). Let q = -36 + 215/6. Which is smaller: q or a?
a
Let h(q) = -4*q**2. Let w be h(1). Let v be (-1)/(-1 - w)*-3. Is -2 greater than v?
False
Let v = -15 + 19. Suppose -3*f = 5*k - v*f + 1, -f = 4. Are 4/13 and k non-equal?
True
Let t = 3 + -3.01. Which is smaller: -1/4 or t?
-1/4
Let o = 162 - 4859/30. Which is bigger: 1 or o?
1
Let c = 54 + -54. Which is bigger: 4/31 or c?
4/31
Let l = 14 - -5. Let d = 99 + -81. Is d != l?
True
Let j = 2 + -2. Suppose 5*c + j*c = 0. Which is greater: c or -2/7?
c
Let k be (-26)/(-65) - 3/(-5). Suppose 0 = q - 5*f - 17, -9 = 4*f - f. Do k and q have different values?
True
Suppose -2*q - q = -3. Let p be (q/14)/(2/(-24)). Which is greater: -2 or p?
p
Let g = 0.1 + -0.1. Let u = 0.2 + -0.1. Let p = g - u. Which is bigger: 0.1 or p?
0.1
Let v = -0.11 + -15.89. Let d = v - -14. Let j be (-1 - (-2 - 0))*-1. Is d greater than j?
False
Let n = 2 - -3. Suppose 0*o + n*o = 0. Is -1/4 equal to o?
False
Let b be (-6)/3 - 9/2. Let n = b - -27/4. Suppose -d = -r - 6 + 2, -19 = 4*d + 3*r. Do n and d have the same value?
False
Suppose 5*v - j = j - 151, 0 = 3*v + 4*j + 75. Let q be v/(-9) + 10/(-45). Suppose 1 = -2*z + q. Is 5/3 > z?
True
Let b = 0.3 - 1.3. Let l = -1.86 + -0.14. Is l equal to b?
False
Suppose -2*l = 2*l - 40. Which is greater: l or 11?
11
Let q(x) be the third derivative of -x**4/24 + x**3 + 5*x**2. Let v be q(6). Are v and -1 unequal?
True
Let l(y) = -2*y + 9. Let g be l(6). Let r = g - -5. Is r at least 1?
True
Let c = 35 + -33. Let h = 0 - 0.1. Let f = -0.2 - h. Is f at most c?
True
Suppose -6*v + 3*v + 6 = 0. Let o = 2283/5 + -455. Is o at most v?
True
Let t be 1/3 + (-2)/3. Suppose -2*z = -4*w + 2*z - 4, -5*z + 11 = -3*w. Suppose -w*f = 2*f. Is f != t?
True
Let g = 4 - 5. Let c = 2.1 - 2. Which is smaller: g or c?
g
Let y be ((-1)/2)/(161/42). Which is greater: y or -1?
y
Suppose 0 = -4*c - 6 + 2. Let y be (0/(-2 + 3))/c. Let x be 0*((-2 - -1) + y). Which is bigger: -1 or x?
x
Suppose 4*f = -3 + 7. Which is smaller: -14 or f?
-14
Let r = -14 + 28. Which is greater: 13 or r?
r
Let k = -8 - -6. Let z = k - -2. Let w = 0.1 - z. Which is smaller: w or -1/3?
-1/3
Let f = 1.15 - -5.75. Let r = 0.8 - -0.1. Let n = f - r. Do -1 and n have the same value?
False
Let a = 0.02 + -0.02. Is 4 not equal to a?
True
Let j = -26 - -16. Let u = j + 5. Let b = 6 + u. Which is bigger: -0.1 or b?
b
Let b(k) = -3*k - 6. Let h be b(-4). Suppose 0 = -3*d + y - 5, -5*d = 3*y - h*y + 11. Let g be ((-4)/(-6))/(2/(-3)). Is d <= g?
True
Suppose -4 = l + 5*k - 4*k, 0 = -2*l + 4*k + 22. Which is bigger: -1/3 or l?
l
Let t be (-1)/4 - 22/8. Let r = -9 - t. Let i = 82 - 88. Is r greater than or equal to i?
True
Let g = -504.9 + 533. Let v = 28 - g. Which is smaller: 13 or v?
v
Suppose -12*y = -y - 858. Is y at least 78?
True
Let r(x) = -x**2 - 5*x - 5. Let i be r(-5). Let c(b) = -3*b - b - b**2 - 1 + 5. Let h be c(i). Is h not equal to -1?
False
Let m(j) = j**2 + 8*j - 1. Let b be m(-7). Let s = -6 - b. Suppose a = -s*a + 3. Which is smaller: a or 2?
a
Let f be 4/(-4) - (0 + -1). Suppose -2*i + 4*q + 2 = 0, f = 5*i - 4*q + 2*q - 5. Let l = i - 3. Is l < -2?
False
Let t be (-1)/(-2*3/(-36)). Let r(k) = k**2 + 5*k - 2. Let a be r(t). Is a less than 1?
False
Let n be ((-16)/70)/(22/(-165)). Is 2 equal to n?
False
Let w(i) = -i**3 - 4*i**2 + 4. Let n be w(-4). Suppose 6*l - 9*l - 9 = 0. Let d = n + l. Is d equal to 1/4?
False
Let a be 48/(-20)*(-6)/27. Let g = a + -1/3. Which is bigger: g or -8?
g
Let f = -10.6 - -14.6. Which is bigger: -7 or f?
f
Let s be 2/3*(-6)/(-4). Suppose 5*o + 3 = 2*o. Let u be ((-6)/(-10) - s)*o. Are u and -1/4 equal?
False
Suppose 4*j - 26 + 6 = 0. Let p = j + -5. Let r be 3 - 2/1 - p. Which is smaller: r or -2/13?
-2/13
Let h(t) = -t**3 + 4*t**2 + 3*t - 1. Let j be h(5). Which is smaller: -9 or j?
j
Let m be 2 + 2 + -2 - -2. Let d be (-4)/m*(-2 + 2). Let n = -321/8 + 40. Is n not equal to d?
True
Let s = -7/12 + -2/3. Is s greater than 0?
False
Let s be (-2)/2 + 4 + 1. Suppose 3*f - 7*f - 4 = 5*p, -s*p + 2 = -2*f. Which is smaller: -1 or p?
-1
Let f be 3/2*8/6. Let s be 5/(5/2) + f. Suppose -2*t - d = 2*t + 16, s*d + 16 = 0. Which is greater: t or 0.2?
0.2
Let h = 17 + -17. Suppose h*p - 2 = -2*p. Is 2 equal to p?
False
Let f be -2 - -2 - (-8)/396. Suppose -1 = 4*n - 3*g, 4*g + 9 = -3*n + 2. Which is smaller: n or f?
n
Suppose -b = 2*t + 2*t + 9, -5*b - 4*t = -3. Suppose 0 = p + 11*p - 48. Is b < p?
True
Let n(c) = c - 7. Let g(q) = -q. Let o be g(-6). Let x be n(o). Are x and -3 nonequal?
True
Let l(a) = a**2 - 5*a + 4. Let z be l(4). Suppose -2*o - 3*o + 30 = z. Are 7 and o nonequal?
True
Let j = -1 - -3. Let w be 4 + (j - 2)/2. Suppose w*f - 2 - 6 = 0. Does 2 = f?
True
Let l be (-11503)/28*9/(-5). Let p = -3694/5 + l. Let c = p + -1/4. Which is smaller: -1 or c?
-1
Let a = -2.8 + 5. Let z = -1 - 1. Let v = a + z. Is -1 greater than or equal to v?
False
Let d = -17 + 17.7. Which is greater: 1/3 or d?
d
Suppose 32 + 267 = 23*z. Which is smaller: z or 14?
z
Suppose 0 = -3*i - 4*r - 7, 3*r + 15 = i - 0*i. Let l be (2 - (0 + 0)) + i. Let a = l + -4. Do 1 and a have the same value?
True
Suppose -26 + 5 = 3*i. Let b be (1 - i/(-5)) + 0. Which is bigger: b or -2?
b
Let c = -21.2 - -22. Let w = 0.2 + c. Which is greater: -2 or w?
w
Let a be (-2)/4*(1 + 9). Let b = -7 - a. Suppose -5*r = 5*j, j = 4*r - 8*r - 3. Is r greater than b?
True
Let g(o) = -3*o - 1. Let h be g(5). Is h bigger than -16?
False
Let p be -2 + ((-48)/27)/(-1). Let v(t) = t**2 - 2*t. Let s be v(2). Let o be (-1)/1*s*1. Which is smaller: o or p?
p
Let s = -17 - -29. Let p = s + 3. Which is smaller: p or 0?
0
Let h = -6 + 5.95. Let x = -3.05 - h. Which is smaller: x or 0.1?
x
Let b = -0.046 + -27.954. Which is smaller: 1/4 or b?
b
Let d(n) = n**2 + 4*n - 2. Let b be d(-4). Let q = 5 - 2. Is q < b?
False
Let t(l) = l**3 + 3*l**2 - 13*l + 4. Let f be t(3). Is f >= 88/5?
True
Let w be (1/14)/(2/(-24)). Are w and -2 non-equal?
True
Suppose -c = -5*c. Let l be (-150)/(-70) + -1*2. Is l >= c?
True
Suppose 4*w = -w + 390. Let r = 315/4 - w. Is 0 smaller than r?
True
Suppose 0 = -0*m - 5*m + 10. Suppose 0 = 5*y - 10*y + 5. Let u be (0 + 0)/(-2)*y. Is u less than or equal to m?
True
Let y(o) = -o**2 - 16*o + 13. Let h be y(-17). Let f = -0.1 - 0. Is h > f?
False
Let l = -18 - -20. Which is greater: 3 or l?
3
Suppose 4*b = -4*l - 12, 3*b + 15 = -l - 4*l. Suppose 2 = x + 3. Let a be -2*x/(-8) - b. Is 1 greater than a?
True
Let s = -0.41 - -16.41. Let x = 17.2 - s. Let b = x - 0.2. Is 1/2 > b?
False
Let r be -3 + (-1132)/(-234) - -3. Let z = -60/13 + r. Which is greater: 1 or z?
1
Suppose -3*l + 2*v = -13 - 0, 0 = -5*l + 4*v + 25. Which is greater: l or -4/23?
l
Let n(y) = y + 5. Let t be n(-4). Let a = 15 - 13. Is a > t?
True
Let q = 29 + -29. Which is smaller: q or 1?
q
Suppose 3*i = i - 10. Which is smaller: -1 or i?
i
Let o = 0.1 - -0.1. Let z = o