z < n?
False
Let b(h) = 11*h - 62. Let l be b(6). Suppose -5*o = 3*j - 38, -2*o = j - 3*o - 2. Let d = j + l. Do d and 10 have different values?
False
Suppose -7*t + 4*t - 183 = 0. Let k = -129 - t. Is -67 smaller than k?
False
Let o be (-9)/4 - (-2)/8. Let j(a) = a - 7. Let v be j(10). Suppose -v*i - 21 = -12. Which is smaller: i or o?
i
Let v = 24 + -19.1. Let c = -10.9 + v. Is c at least as big as -1/4?
False
Suppose -2*n + 5*q = -33, -4*q - 32 = 2*n - 5*n. Suppose 4*p = -6*g + g + 21, 0 = -n*g + 4*p - 12. Which is smaller: 6/25 or g?
6/25
Suppose 6*q - 15 = q. Let p(a) be the second derivative of a**3/2 + 7*a**2/2 - 5*a. Let b be p(-3). Is b <= q?
True
Suppose 0*i - m = -i + 14, 4*i - 49 = -3*m. Suppose -19*o + 23*o - 8 = 0. Suppose o*p = -p + 36. Which is smaller: p or i?
p
Let l = -38314/855 + 224/5. Is l at most 0?
True
Let a = 15160/57 - 266. Is 1/3 smaller than a?
False
Suppose 3*g = 5*d - 292, -18*g + 16*g + 2 = 0. Which is bigger: 55 or d?
d
Let p = -224 + 214.1. Let c = p - 1.1. Let y = 10 + c. Is -1 not equal to y?
False
Let x = 1334/3 + -73298/165. Let s = x - 2/55. Which is smaller: 0 or s?
0
Let h be -2 + 2 - 3759/35. Let b = h + 11327/105. Which is bigger: -1 or b?
b
Suppose 4*u = 3*i + 30, 3*i + 18 = -5*u + 15. Is -0.11 less than or equal to i?
False
Let t = 2.9 - 3. Let d = -5.023 - -5. Let v = d - -4.023. Is t < v?
True
Suppose -3*t = 92 + 286. Is t less than or equal to -126?
True
Suppose -3*c + 2*c - 390 = -2*f, f = 4*c + 1588. Is -399 <= c?
True
Let k be 44/10 + (-12)/30. Let f be 4/(-8)*k/(-2) + 1. Which is greater: 13/9 or f?
f
Let d(m) = -m**3 + 4*m**2 + 7*m + 2. Let w = -11 - -16. Let l be d(w). Let h be (-1)/l*(-6)/2. Is h at least -1/4?
True
Let y be 1/(-3)*15 + (21 - 1). Let f be (-2 - (-9)/5)*2. Which is smaller: f or y?
f
Let b be 2/(-4) + 22/60. Let p be 24/(-40) + (-18)/(-5). Suppose p - 11 = 8*u. Are b and u equal?
False
Let j(u) = -u**3 - 4*u**2 - u - 54. Let d be j(-6). Are 25 and d non-equal?
True
Let w be 9/1 + -3 + (-1085)/3. Is -357 greater than w?
False
Let o = 131 + -93. Let l = 38.1 - o. Is -8 >= l?
False
Let t = 4.046 + -4. Let c = 0.054 + t. Which is greater: c or 4.4?
4.4
Let f(x) = 5*x - 39. Let c be f(8). Which is smaller: 2/93 or c?
2/93
Let h = -103.5 + 13.5. Is h != -1/3?
True
Let k = -516 + 515.88. Is k bigger than 3/32?
False
Let o = -0.3 + 0.1. Let n = 5.2 + o. Let c = -933/7 - -2813/21. Which is bigger: c or n?
n
Let o(d) be the first derivative of -d**3/3 + 9*d**2/2 - 16*d - 15. Let i be o(9). Is i less than or equal to -2?
True
Suppose 3*t - 1 = -n - 2, 2*n - 8 = 4*t. Suppose -10 = n*h - 4*u, -3*h - 2*u - 25 = 2*u. Let p = 8 + -16. Do p and h have different values?
True
Let w(u) = u**2 - 15*u + 19. Let k be w(6). Let r = 58 + k. Which is bigger: r or 43/2?
r
Suppose -73 = -7*k - 10. Suppose m - 3 + k = -5*p, 41 = -4*m - 3*p. Is -10 not equal to m?
True
Let t be 3 - 3*(-48)/(-54). Is t less than or equal to -2/173?
False
Suppose 5*v - 3*v = -4*n - 12, 5*n = 3*v - 37. Suppose -i = -4*x + 18, -5*i + 11 = 5*x + 1. Which is greater: n or i?
i
Suppose -81 - 150 = -27*n + 174. Let r = 35 - 18. Which is smaller: r or n?
n
Let s = 651.6 - 651. Is s at least as big as 2/37?
True
Let t = -7.13 + 0.13. Let q = 3.3 - 9.3. Let g = t - q. Is g smaller than 0.1?
True
Suppose -4*r = -5*t + 39, -40 = 4*t - 9*t + 5*r. Let i be 70/(-7) - (1 - 0). Let k = -5 - i. Which is greater: k or t?
t
Let a = -125 + 118. Which is bigger: a or -0.9?
-0.9
Let j = -23 - -37. Let g = j + -13.98. Let d = -0.08 - g. Is d bigger than -5?
True
Let j = 6 + -4. Let p be j/4*(-1 + -1). Suppose -5*g = o + 7, -5*o = -9*o - 5*g - 13. Is o not equal to p?
True
Let n = -153 - -153.445. Let a = -0.39 + n. Which is smaller: 0.1 or a?
a
Suppose 3*d + 4*z + 6 = -0*z, 2 = 4*d + 2*z. Let s be (-135)/(-25) - 3 - d. Which is greater: s or -19?
s
Let l = 314 + 46. Which is bigger: 359 or l?
l
Let l = -13 + 21. Suppose -l*w = -10*w + 22. Let t = w + -11. Which is bigger: t or 5?
5
Suppose -3*f + 4*r + 61 = 0, -3*r - 89 + 23 = -3*f. Which is bigger: f or 8?
f
Let r = 5 + 21. Suppose g = r + 26. Let s = 154/3 - g. Is -1 >= s?
False
Let g be (-585)/(-247) - (6 - 3). Let u be 0/(-2) + (-58)/(-152). Let m = g + u. Is 1 less than or equal to m?
False
Let h be (1 - -38) + 5 + -6. Suppose v - 2*b - 17 = 2, b - h = -2*v. Which is greater: 18 or v?
v
Suppose 0 = -3*h + 4*h - 7. Let x(b) = b**2 - 30*b - 18. Let w be x(30). Let n be ((-2)/(-4)*w)/(-1). Is n > h?
True
Let x = 12526/15 + -835. Let t be 0/(-1)*(-1)/2. Is t equal to x?
False
Suppose -19 - 25 = 11*g. Let l be (-2*(-2)/4)/(g/4). Which is smaller: -2 or l?
-2
Let x = -40/3 - -1886/141. Which is bigger: x or 0?
x
Let b = 4.9989 - -0.0011. Is -8 at most b?
True
Let j be (-1)/(8/(-40) + 42/135). Let s be -9*(1/j + 0). Is s at least 2/63?
True
Let q(a) = -3*a**2 + 13*a + 11. Let j be q(6). Which is greater: -2 or j?
-2
Let x = 0.52 + -68.52. Let m = -68.08 - x. Which is greater: 9 or m?
9
Let x be (-1)/6*(9 - 4248/476). Are 0 and x non-equal?
True
Suppose -3*x = 2*g - 109, 0 = 7*x - 3*x + g - 152. Let q = x + -271/7. Which is greater: -1 or q?
q
Suppose 65*l = 70*l + w - 10, 5*l + 3*w - 20 = 0. Which is smaller: 16/227 or l?
16/227
Let c be (-5)/3*54/3. Let x be 4/(-22) + c/198. Which is bigger: -0.5 or x?
x
Let p be (-1 - 71/39) + 2. Let c = p + 2/3. Which is smaller: c or -3/2?
-3/2
Let u be (-6)/9 + (-1)/(-6). Let x = 6.81 - 172.21. Let a = x + 164. Which is greater: u or a?
u
Let p be 4 - (-4 - -11) - 12/(-3). Which is greater: p or 6?
6
Let i(b) = 2*b**3 - 10*b**2 + 3*b + 3. Let c be i(5). Suppose -8*l - c = -6*l. Are -11 and l equal?
False
Let h = 56 - 117. Let a(p) = -p**3 - 11*p**2 - 223*p - 2191. Let r be a(-10). Does h = r?
True
Suppose 16 = -2*d + 8. Let w be (d - (-1 + -2)) + 8 - -4. Suppose 2*b = -b + 30. Which is smaller: w or b?
b
Suppose 4*z = -4, 1 = 5*j - 3*z - 2. Suppose j*w = w. Suppose q = -3*m + 5*m - 2, -5*q - 20 = w. Do -1/4 and m have different values?
True
Suppose 9*t - 104 = 5*t. Let i be 108/t + (-12)/78. Let z be (0 - i)*(-56)/(-160). Which is smaller: -2 or z?
-2
Let o(d) = -5*d + 157. Let h be o(31). Is h > 6?
False
Suppose -86 = 3*r - 2*u, -4*u + 24 = -5*r - 118. Which is smaller: -31 or r?
-31
Suppose -13*k + 16*k = -12. Let l(f) = f + 1. Let y be l(k). Which is smaller: 0 or y?
y
Let i be ((-15)/(-25))/((-6)/(-90)). Suppose i*o + 7 = 16. Which is bigger: -3/20 or o?
o
Let k = 2111 - 2124. Is k bigger than -34?
True
Suppose -2*x = -27 - 3. Let l = 52 + -52. Is x < l?
False
Let q = 85 - 91.8. Let r = q - 0.2. Let f = 17 + r. Which is smaller: f or -2/3?
-2/3
Let z(b) = b**3 + 19*b**2 - 4*b - 77. Let k be z(-19). Is k smaller than -8/49?
True
Suppose 2*g + 3*n - 5 = 0, -14 = -5*g - 5*n - 4. Let b be (-4 + g)*(100/12)/(-5). Which is smaller: 4 or b?
4
Let r be 15/10*(-8)/12. Is 8/25 bigger than r?
True
Let s be (-1 + 1)/(-23 - -20). Let k be ((-60)/(-28) - 3) + 2. Which is greater: k or s?
k
Let r = 8 - -1. Let v(j) = -4 + 10*j + 1 - 2 - 4 - j**2. Let p be v(r). Which is smaller: 1/9 or p?
p
Let k = 27/802 - 25963/818842. Do k and 1 have different values?
True
Suppose -500 = 3*j + l, 0 = 3*j - l + 297 + 205. Let w be (-13948)/84 - 2/3. Let d = j - w. Is d <= -2/3?
False
Let a = 0.05 - -0.06. Let w = 0.09 + a. Let u = 0.05 + 0.15. Do u and w have the same value?
True
Suppose 2*g + 2*w - 6 = -0*w, -g - 4*w - 12 = 0. Let p be 4/(-550)*8/g. Let k = p - 821/550. Which is bigger: -1 or k?
-1
Let c be 2/(-8)*0/6. Let j be -2 + 3/6 + c. Suppose 4*o - 3*o = -3. Is o at most as big as j?
True
Let i = -23 + 22.93. Let n = i - 0.93. Which is greater: 6 or n?
6
Let m = -74/3 + 367/15. Which is greater: 23/3 or m?
23/3
Suppose -48 = 7*h - 4*h. Let q = h + -3. Let c = q - -22. Is c greater than or equal to 4?
False
Let j = 0.06 - -8.94. Let z = -3.4 - -5.4. Let v = j - z. Which is bigger: v or -2?
v
Let m(r) = -r**2 - 33. Let q be m(0). Let l(c) = -192*c + 1120. Let t be l(6). Do t and q have different values?
True
Let p(v) = 0 + 8*v + 5 + v**2 + 5 - 4. Let a be p(-11). Let b be -3 + 0 - (-119)/a. Is b equal to 0?
False
Let z be -2 - 9/6*(-38)/57. Which is greater: z or 1/523?
1/523
Suppose 2*d + 10 = t, -3*d + 7 + 14 = 3*t. Suppose 3*g = 1 - 7. Let n be (4/t)/(1/g). Is -1/3 <= n