+ 11*p + 5. Let z be o(11). Let s be ((15/21)/z)/1. Are s and f non-equal?
True
Let t = 7 - 62. Let x = -53 - t. Is -2/19 smaller than x?
True
Suppose u = -0*u - 3. Let h(g) = -g**2 - g + 4. Let r be h(u). Let f be ((-64)/24)/(r/3). Is f at least as big as 4?
True
Let v = 2268/5 + -452. Let i be ((-528)/(-198))/(2 + 6). Which is greater: i or v?
v
Suppose j = -r + 95, 0*r + 3*r = j - 107. Suppose 3*c = -k + 56 + 4, k - j = -5*c. Let p = c + -20. Which is smaller: p or -4?
-4
Let m(r) be the third derivative of -r**4/24 - 3*r**3/2 + 14*r**2. Let h be m(-7). Is -22/9 <= h?
True
Let u = 860 - 563. Which is smaller: 593/2 or u?
593/2
Let i = -26 - -41. Let v be 20/(-90) - (-7)/(-9). Let u be 14/44 + v + (-13)/(-11). Is u at most as big as i?
True
Let w be (-4)/(-18) + (-7)/63*11. Which is smaller: 239 or w?
w
Let u be (6/(-27)*-6)/(-62). Do -1 and u have the same value?
False
Let g = -2.8 - 0.2. Let v = -1 + 0.2. Let f = 1 + v. Which is greater: g or f?
f
Let a be (-14)/10 + 2/5. Let r be (756/91 + -8)/(-6). Which is bigger: r or a?
r
Suppose 142 + 298 = -22*y. Which is greater: y or -21?
y
Let v be -52 + 0/(-3)*(-3)/(-6). Let p = 27 + v. Which is smaller: p or -26?
-26
Let h = 55549/427 - -3210/61. Suppose -5*b + 2*a = 911, b + 2*a - 362 = 3*b. Let n = b + h. Which is smaller: -6 or n?
-6
Let s be (1 - -1)*(-141)/36. Let r = s + 17/2. Let x be (-37)/(-154) - (-4)/(-14). Which is smaller: x or r?
x
Let y = 2/17 - -26/357. Let c be 2/1*(-126)/(-21). Let t be ((-2)/(-4))/(54/c + -5). Which is bigger: t or y?
y
Let n be 660/(-9)*1/4. Let l = 9 + -27. Let j = n - l. Is -1/4 at least j?
True
Let w(c) = c**3 - 7*c**2 + 2*c - 16. Let s be w(7). Suppose -4*o + j = 53 - 10, 5*o + 3*j + 58 = 0. Is o less than s?
True
Suppose -w + 4 = 0, 2*j = -0*w + 5*w - 54. Suppose 0 = -0*z + 10*z + 180. Is z less than j?
True
Suppose 3*m - 4 + 12 = 2*f, f + 5 = -3*m. Let j = m + 41/21. Let g(r) = -r**2 - 4*r + 4. Let a be g(-5). Is j less than a?
False
Suppose 5*x - 25 = 4*j, 0*x - 4*x + 2*j + 14 = 0. Let t be -4 - (-3)/4*x. Suppose 3*m + 1 = -4*o - 4, -2*m - 8 = -2*o. Are m and t equal?
False
Suppose 5*m + 3*i = 12, 4*m - 5*i + 20 = 3*m. Suppose 4*l + 0*l + 23 = -b, m = -4*b - l - 17. Is -8 greater than b?
False
Let r = 240 - 240. Is r < -7?
False
Suppose -393 = 11*w - 96. Which is greater: w or -21?
-21
Let c(z) = 2*z**2 + 7*z - 8. Let f be c(-6). Which is greater: 87/4 or f?
f
Suppose m - 3*s + s - 10 = 0, 2*m - s - 8 = 0. Is 5/3 at most m?
True
Let a(f) = -2*f + 11. Let s be a(5). Let b be s/((-92)/24 + 4). Are 1 and b unequal?
True
Let i(q) = q**2 + 6*q + 1. Let y be i(-6). Suppose y + 4 = -a. Is 0 at least a?
True
Let w(h) = h**2 - 8*h + 1. Let f be w(7). Let i be (-19)/f - (-2)/(-12). Suppose i*d - 10 = 4*b, -d - 1 = 4*b + 1. Is d smaller than 1/2?
False
Let y(c) = -2*c**2 - 9*c. Let d be y(-4). Suppose -5*t + 4 = -d*t. Let o be (1/15)/(1/t). Is -1 less than or equal to o?
True
Let d = -1.45 + 9.55. Let i = -26 - -34. Let h = d - i. Is h less than -0.1?
False
Suppose -u - 1 = -s + 2*s, 37 = 3*u - 5*s. Let k be (1 - u/(-8))/3. Which is bigger: k or 2?
2
Let x = 833 - 738.4. Let k = x + -94. Which is smaller: k or -2/3?
-2/3
Let c be ((-1)/(-4))/((-40)/64*54). Which is greater: c or -1?
c
Suppose -25 - 18 = -5*j + 2*f, j - 4*f = 5. Let d = 366 - 357. Are j and d nonequal?
False
Let f be (-4)/(-2)*((-54)/12)/9. Is f >= 5/89?
False
Suppose -6 = -2*t, 0*i - 2*t = 2*i - 24. Suppose m + 8*m = -i. Is -3/17 != m?
True
Let k(s) = 5*s + 2. Let n be k(0). Suppose 4*h - 24 = 3*f, n*f = -f + h - 33. Which is greater: f or -11?
-11
Let z = -4 - -5. Let k = 1 - z. Let n be 36/2*22/(-363). Which is greater: n or k?
k
Let b(x) = -11*x + 1 + x**3 - 12*x**2 - 11 + 20*x**2. Let r be b(-9). Suppose -5*i + 45 = 5. Are i and r non-equal?
False
Let k = -2684/3 - -896. Let c be (-2 - -1)*(-1 + 1). Which is greater: c or k?
k
Let n(k) = 50*k + 900. Let f be n(-18). Which is greater: 3/142 or f?
3/142
Let b = -2588/37 + 70. Do b and -9 have different values?
True
Let j = -25 + -26. Let n = j + 48. Is n greater than or equal to 1?
False
Let n = -213.9 - -214. Which is greater: -0.77 or n?
n
Let z = 38.74 + -35.2. Let v = z + 6.54. Let x = -0.08 + v. Is 0.1 >= x?
False
Suppose 0 = y - 19 + 4. Suppose -10*z = -y*z - 65. Is -13 at most as big as z?
True
Let n(q) = 2*q + 27. Let i be n(-12). Let t = -18 + 37. Suppose 20 = 4*v + 3*m - 3, -5*m = -3*v - t. Which is greater: v or i?
i
Let t be (13/(-65))/((-2)/1534). Let g = t + -154. Which is smaller: g or 0?
g
Let b(v) = 18*v**2 - 20*v + 69. Let u be b(7). Which is smaller: u or 812?
u
Let r be (-616)/(-6030) - 2/18. Which is smaller: r or 0?
r
Suppose -771 + 751 = -20*q. Which is greater: q or 27/83?
q
Let j be (-2)/(-1)*9/6. Suppose 2*p = -2*r, -j*p = -0*p + r + 4. Let w = 251 + -1259/5. Which is smaller: w or p?
p
Suppose -198 = 14*a + 85*a. Which is smaller: 61 or a?
a
Let d be ((-7)/(-5))/(6/5). Let u = -52 + 61. Suppose 0 = u*o - 7*o - 4. Is d greater than o?
False
Let x(p) = -p**2 - 7*p + 2. Let o be x(-10). Let g = 1048/7 + -2481/14. Let n = o - g. Which is greater: 1 or n?
1
Suppose -2*d + w + 0*w + 2 = 0, 2*w = 2*d - 6. Let y be 1 + (-1 - (-3 + d)). Suppose -6*v + 38 = 3*m - 5*v, -5*m + 75 = y*v. Which is bigger: 12 or m?
12
Let p = -2596.74 - -2664. Let y = p - -1.74. Is -1 smaller than y?
True
Let d = 3542/5 - 24194/35. Let p = d + -1955/112. Which is smaller: 2/3 or p?
p
Suppose -c - 5*o = -2, 10 + 21 = 2*c + o. Let m(r) = -36*r - 176. Let u be m(-5). Which is greater: c or u?
c
Let m = 1 + -2. Let j = -668/3115 - -14/89. Are j and m unequal?
True
Suppose -33 = -16*n - 17*n. Is 2.4 at least as big as n?
True
Let r be (0 - -1)*(12 - 17). Suppose q + 0 = 4. Suppose 19 - 7 = -q*p. Which is smaller: r or p?
r
Suppose -t = 2*t. Let g be (-24)/646 - (26/(-6) - -5). Let v = g - -13/19. Is v at most t?
True
Let r be (-10)/(-4)*24/20. Let a = -7 - -12. Which is smaller: a or r?
r
Let k be 5 - (-132)/(-24) - (-1)/2. Is k less than 2/1315?
True
Suppose 2*t - 158 = 3*n - 130, t - 32 = 3*n. Let h = -0.4 - -0.7. Let i = h + 0.7. Is i equal to n?
False
Let b be 1/(-23)*(-4)/6. Let y be 5 + (-44)/(-69) + -5. Let f = y + b. Is f < 3/4?
True
Let w = -2.84 - -2.7. Let d = w + 0.04. Is d not equal to -6/7?
True
Let v = 454 - 432. Which is bigger: 208/9 or v?
208/9
Let m = -55 + 89. Suppose 4*l - 50 = -5*a - l, 2*l = -4*a + m. Is 23/3 < a?
False
Let g(k) = 3*k**3 - 4*k**2 - 5*k - 3. Let c(u) = u**3 - 2*u**2 - 2*u - 1. Let r(n) = 5*c(n) - 2*g(n). Let l be r(-1). Is l < -2/17?
False
Let y be (1 + 16)*(-1 + 0). Let s be (-10 - -55) + (3 - 1). Let o be s/(-2) - -5 - (-2)/4. Is y less than o?
False
Let q be (-5)/(-5)*(6 - 5). Is q greater than or equal to -2?
True
Let w(o) = -o + 9. Let d be w(-3). Let h(g) = -g + 14. Let n be h(d). Which is greater: 0.4 or n?
n
Let l be (-3 - 1)/(4/(-26)). Let q be l/(-40)*2 + 1. Suppose 2*j - 3 = 4*r + r, 2*r = 4*j + 2. Is q < r?
False
Let j = 432 - 4758/11. Let z = 0.66 + -0.66. Which is greater: j or z?
z
Suppose -5*m - 4*s = -24, 21 = 5*m + 7*s - 6*s. Which is greater: m or 44/17?
m
Let m = -267973/173 - -1549. Is m not equal to 0?
True
Suppose 20 = 3*j + 3*f - 7, f + 39 = 3*j. Suppose -2*k - k = j. Which is smaller: k or -7?
-7
Let x = -118 - -120. Is x equal to 31/15?
False
Let l be 2*-5 - 3965/(-26). Is l > 142?
True
Let i = 4/23 + -43/115. Which is smaller: -10/33 or i?
-10/33
Let k = 0.5 + -0.56. Let z = k - 6.94. Let v = z - -5. Which is greater: 6 or v?
6
Let l be (-1)/((-402)/122) + -1. Let d = 2/67 + l. Which is smaller: 1.4 or d?
d
Let y = -5 - -5. Let b(a) = 3*a - 2. Let n be b(-1). Let z be (-10)/(-28)*(-4)/n. Which is smaller: z or y?
y
Suppose -4*v = -3*n + n - 6, -2*v + 5*n = 17. Suppose 2*u + v*j + 3 + 3 = 0, 2*u - 2*j = 0. Is u <= -1/20?
True
Let w = -18 + 10. Let d = 6 + w. Let y = -0.022 + -2.978. Which is smaller: y or d?
y
Let x = 362 - 727/2. Which is bigger: 19 or x?
19
Suppose 0 = -4*t + 10*t - 90. Let s = -46/3 + t. Which is greater: s or 1?
1
Suppose 2 = -t - 0. Let j be (-1)/t*(-30)/7. Let w = j + 579/280. Which is greater: 0 or w?
0
Suppose 3*x = 256 + 44. Let y = 99 - x. Which is greater: y or -1/3?
-1/3
Let j = -460.9 - -374. Let f = j - -87. Is f bigger than 3?
False
Let h(x) = -x**3 + 2