
Let w be ((-54)/15)/((-4)/(-3)). Suppose 5*s + 2 = -2*p, -41*s - p = -40*s - 2. Which is bigger: s or w?
s
Let n(x) be the first derivative of -x**3/3 - x**2/2 + 9*x - 2. Let b be n(3). Which is smaller: b or -1?
b
Let v = -1.94 + -0.06. Let d = 355.1 - 383. Let u = -28 - d. Which is greater: u or v?
u
Let w = -2464 - -2466. Suppose -5*l - 5*j + 10*j = 25, 0 = -l + 2*j - 5. Let z be ((-12)/(-10))/((-7)/l). Which is smaller: z or w?
z
Suppose -2*k - l = -9, -2 - 2 = 4*l. Suppose -k*i - 4 = -i. Which is greater: i or 2/53?
2/53
Let w = -695 - -690. Which is greater: w or -2?
-2
Suppose 44*a - 13111 = -2947. Are a and 233 equal?
False
Let x = 15 + -13. Let d = x - -1. Which is smaller: d or 5?
d
Let l = 0.0512 - 0.1512. Does 0.9 = l?
False
Let c be 40/(-50) + -1 + (-4)/(-5). Let d be c + 2 + -5 + (-27 - -31). Which is smaller: d or -2/371?
-2/371
Let g be (32/12 - 2)*-51. Let i = -33 - g. Is i greater than or equal to 1/18?
True
Let z(m) = -m**2 + 5*m - 14. Let q = 34 - 30. Let t be z(q). Suppose -5*j = -27 + 72. Is j < t?
False
Let h = -162 - -84. Which is smaller: -387/5 or h?
h
Let j = 93.1 - 97. Let x = j - -2. Which is bigger: 2/5 or x?
2/5
Let g(b) = 2*b**3 + 42*b**2 - 45*b - 23. Let c be g(-22). Do 2/845 and c have different values?
True
Suppose -j + 3 = -6. Let i be (-8)/(-156)*(0 + j/6). Is 0 bigger than i?
False
Let u(s) = -18*s + 177. Let i be u(10). Do i and 0.153 have the same value?
False
Let k = -6 - -8. Suppose k*b = -40 - 96. Let c be 5*(-3 + b/(-20)). Is c >= 2?
True
Suppose -2*i - n - 4*n + 26 = 0, 22 = 2*i + 4*n. Is 29/19 greater than or equal to i?
False
Let g(k) = -k**2 + 3*k + 2. Let r be g(4). Suppose 4*i = -56 - 4. Let b be 3/i*(-20)/(-8). Do r and b have different values?
True
Let k be (-90)/9 - (-3415)/340. Which is greater: k or 7?
7
Let d(m) = 11*m**2. Let b be d(1). Suppose 0 = 3*x + b + 10. Is x <= -8?
False
Let g = 1298 + -1321. Which is bigger: -25 or g?
g
Suppose 0 = -2*m + 42 - 6. Suppose 0 = -v - v - m. Let x be (-4)/(-16) - v/12. Is 3 less than x?
False
Let q(p) = 11*p**2 + p - 5. Let d be q(-2). Is d greater than or equal to 38?
False
Suppose -5*b + 4*b = -2. Let x = -0.05 + 0.95. Let s = x - -0.1. Is s greater than b?
False
Let g = 15 + -9. Suppose -12 = -3*n + g. Let l be (-2)/n + (-198)/(-27). Is 7 less than l?
False
Let p be (-279)/124 - (-1 + -1). Which is bigger: p or 148?
148
Let q = -2 - 1. Let v = 115 - 146. Let d = 27 + v. Which is greater: q or d?
q
Suppose -144*d + 134*d = -10. Is -0.501 > d?
False
Suppose 0 = -5*p + 15 - 25. Let u be ((-15)/(-6))/(p + 12/8). Is u not equal to -4?
True
Let q(f) = 2*f - 2. Let w be q(4). Let s(b) = b**2 + 14*b - 11. Let n be s(-15). Suppose -6*h - 46 = -11*h - n*l, -l = 2*h - 16. Is w <= h?
True
Suppose 4*n + 2*v - 21 = -v, 0 = 3*n - 5*v - 52. Let b be n/2 - (-7)/14. Suppose 0 = -b*h - 7 + 2. Which is greater: 2/5 or h?
2/5
Let t = 1928 + -1872. Which is smaller: t or 62?
t
Let u = -613/4 - -159. Is u greater than or equal to 5?
True
Suppose -3*r + 2*x = -2*x - 30, 2*x = 6. Let f = -11 + r. Let z = -10 + 9. Which is smaller: f or z?
z
Let t = -50 - -47. Let m = -207 + 207.06. Which is bigger: m or t?
m
Let f = 39.98 - 43.98. Let p(l) = -7*l + 1. Let x be p(-5). Let q be 0 + -2 - x/(-17). Which is smaller: f or q?
f
Suppose -117 = -3*n + v, -2*v - 2*v = n - 52. Let u be n/20*(26/27 - 1). Suppose -y = 4*y + 5. Which is smaller: y or u?
y
Suppose 25*j + 1026 = -13*j. Which is smaller: j or -28?
-28
Let h be -1 + (-80)/(-14) - (-26)/91. Let b be (-52)/(h/(20/(-8))). Which is smaller: 25 or b?
25
Let c = 8 + -5.4. Let f = c - 2.5. Let k be (-1 - (-1 - 3))/3. Which is bigger: f or k?
k
Let y = -1965049/21 + 93615. Let x = -125/3 + y. Which is bigger: x or -1/3?
-1/3
Let l = -5 + 9. Suppose 2*k + 0*k - 10 = 4*o, 13 = -o + l*k. Let s = -2099/2 - -60875/58. Is s greater than or equal to o?
True
Let p be ((-11)/(-4))/(2 - (-124)/(-64)). Is 55 at most p?
False
Let l be -3 - (3/2)/(-1). Is -3 at least as big as l?
False
Let d be -2 + 26/(-169) + (-540)/39. Which is smaller: -11 or d?
d
Let g = 47.914 - -0.086. Let y = g + -48. Suppose 0 = 5*q + 46 - 11. Which is smaller: q or y?
q
Let j = 0.1 - 0.2. Let f = 1196 + -1178. Which is smaller: f or j?
j
Let i = -247 + 2720/11. Which is smaller: i or -3/5?
-3/5
Suppose 3*g - 3 = 0, -5*u + 21 = g - 0*g. Suppose -5*n - 20 = -o, u*n - 2*n + 8 = o. Let c = 5357/15 - 357. Which is smaller: c or o?
o
Suppose 5*n - 3 - 12 = 0. Suppose n*r - 20 = 19. Which is smaller: 14 or r?
r
Let w be 20/15 - 4/(-6). Suppose -4*h - 2*j + 12 = 0, 9*j - 4*j = -w*h + 14. Suppose r = 2*v + h + 3, 2*v - 13 = -r. Is r < 10?
True
Let u be (-13564)/52 + 0 + (-6)/39. Let y be -2 + 2 - 4 - 1038/u. Which is bigger: y or 1?
1
Let y be (42/(-8))/(18 - 2232/126). Are y and -19 nonequal?
True
Let u = 11 - 3. Let v be (-3 + u/3)*(-15)/(-18). Which is smaller: 0 or v?
v
Let m = -30 + 60. Let b = m + -27. Does b = 2?
False
Let q(l) = l**3 - 2*l**2 - l - 39. Let z be q(0). Which is smaller: z or 1?
z
Suppose -117 + 10 = -w. Let f be (-21)/9 + 3 + w/(-165). Is 0 at most f?
True
Let h(t) = 21*t + 1. Let r be h(-1). Let l(u) = -15*u - 365. Let w be l(-23). Is r at most as big as w?
True
Suppose 4*k + 430 = -k. Let w = k - -88. Is w < 1/2?
False
Suppose -20 = 12*j - 16*j. Suppose -7 = c - 4*n, -4*c + j = -c + n. Which is smaller: -2.2 or c?
-2.2
Let j = 329 - 1317/4. Which is smaller: 40 or j?
j
Let a(f) = 2*f - 8. Let n be a(6). Let v be n/(-12) + 7/3. Let h = -168.8 + 169. Which is smaller: v or h?
h
Let v be 0/(5*(-3 - (-16)/5)). Let y be (-3)/(-5) + (-21)/(-15). Let m be y/(-7) + 183/126. Is v not equal to m?
True
Suppose -3*c - 2*c + 4*m + 31 = 0, m = -5*c + 11. Suppose -2*f - 31 = 2*f - 3*x, c*f + 5*x + 16 = 0. Which is smaller: -9 or f?
-9
Let m = 10 - 10. Let l be (-2)/((-40)/35) - (-1)/4. Suppose l*r - 5*c = -16, -r = c + 3 - 9. Which is smaller: m or r?
m
Let i be (-2)/(-13) - (-72)/39. Let g be (-3 - -5) + (6 - i). Let t be ((-10)/g)/((-2)/(-6)). Are -5 and t unequal?
False
Let b = -3 + 5. Let c = -41 - -61. Let l be (-12)/15 + (-84)/c. Is l < b?
True
Let a = 12022924/827 - 14538. Which is smaller: a or 1?
a
Let g = 135 + -124. Suppose 10 = -p - g. Is -21 greater than or equal to p?
True
Suppose 3*g = 3*h + 6, -g + 4 = 26*h - 25*h. Is h != -5/29?
True
Let g = -247 + 431. Which is greater: 183 or g?
g
Suppose 341 = -4*t - 3*b, 2*b = -2*b - 12. Let i = t - -116. Is i less than 32?
False
Let w be 7*(-11)/((-462)/(-72)). Let v be 1/1 - -1*2. Let i be 2*2/w*v. Is i bigger than -1?
False
Let s(n) = -4 - 9*n + n + 7*n. Let d be s(4). Let j(o) = -o**3 - 7*o**2 + 2*o + 5. Let b be j(-7). Are d and b nonequal?
True
Let i be -2 - 267*4/(-528). Which is smaller: 3 or i?
i
Let w = 4484 - 4480. Let v = 8 - 7.97. Which is smaller: w or v?
v
Suppose -679 + 183 = 8*t. Let c = t - -322/5. Do c and 1 have different values?
True
Suppose 100 = -7*d + 2*d. Let q = -7 + 40. Let v = d + q. Is 13 < v?
False
Let a = 14172 - 9311002/657. Which is greater: a or 0?
a
Suppose -3*l = d + 2*l - 615, d - 4*l - 579 = 0. Let u be (-14)/d*(-7 + 2). Is 0 less than or equal to u?
True
Suppose 9*i - 1165 = 4*i. Let c = 3729/16 - i. Which is bigger: 0 or c?
c
Suppose 3*g - 20 = 10. Suppose 5*p = -2*z + g, 0 = -4*p + p + 6. Which is greater: 1/20 or z?
1/20
Let j = -46 + 107. Which is smaller: 60 or j?
60
Let r be (-2)/((-1539)/309 - -5). Is r smaller than -100?
True
Let b be ((-6)/4)/(6/16). Let g be 225/105 + ((-2)/(-7))/(-2). Is g >= b?
True
Let h be (-10 - -10)/(-4 - -1). Suppose 4*u - u = h. Let x be -10 + 10 - (u - 0). Which is bigger: x or -9?
x
Let y(i) = -i**3 - i**2 + 3*i. Let l be y(2). Is 3 bigger than l?
True
Let n(o) = o**3 + o**2 - o. Let t(u) = 7*u**3 + 11*u**2 - 2*u + 14. Let y(a) = -6*n(a) + t(a). Let s be y(-6). Let g = s + 67. Is 22 at most g?
False
Let g be 0/((-2)/2 + -3) - 23. Are g and -23 nonequal?
False
Let g = 23 - 17. Let j = 0 - g. Let v be ((-3)/j)/(2/4). Which is smaller: 3 or v?
v
Let f(s) = 11*s**3 + 3*s**2 - s - 1. Let w be f(2). Suppose 0 = 6*b - b - t - 95, 0 = -4*b + 5*t + w. Is 19 smaller than b?
False
Let p be -1322*(-2)/6*(-6)/(-4). Let k = 4637/7 - p. Which is bigger: k or 1/4?
k
Let t be (-2)/(-11) + (-2210)/(-17248). Let p = -6/49 + t. Suppose w = 4*w. Which