 31. Let f be z(-4). Which is greater: -54 or f?
-54
Suppose -1267 = -j - 1266. Is j > -3/256?
True
Let z be 19 - (-1*1 - -1). Let y = -23441 + 23461. Is z < y?
True
Let y = -34 - -31. Let t be y/1 - 23 - -2. Is t greater than or equal to -24?
True
Suppose 0 = -5*c - 6*c - 297. Which is greater: c or -141/5?
c
Let c be 7 - (7830/654 - 5). Which is smaller: 1 or c?
c
Let z be (-5)/(-3)*30/4*2. Suppose -5*y = -4*y - z. Are 23 and y equal?
False
Suppose -a + 1 = 2*d + 4, 2*d = -3*a - 5. Let k be -3 + (8 - 72/15). Is k at most as big as a?
False
Let q be (2 + (-414)/30)*5. Is -0.2 less than or equal to q?
False
Let c(b) = -b**3 + 5*b**2 - 6*b. Let q = -59 - -62. Let y be c(q). Which is smaller: 17 or y?
y
Let x = -70 - -11. Let o = x - -58. Let n = 4.1 - 4. Is n less than o?
False
Let f = -1 + -4. Let a = 0.0106 - 0.0006. Is a smaller than f?
False
Let h be ((-109711)/26180 - -4) + (-4)/(-22). Which is smaller: 1 or h?
h
Let r be (5440/51)/((-2)/225). Let u = 106544/9 + r. Let q = u + 162. Is q at most 3?
True
Suppose -4*n + 2*c - 7*c = 0, 0 = 4*n - 5*c. Which is greater: n or 2/957?
2/957
Let x = -2190441/235 - -9321. Which is smaller: x or 1?
x
Suppose 2*a = -4*t + 26, 2*a - 16 = t - 3*t. Suppose 4*m = -a*j - 2, 3*j + j = m + 10. Is j <= -4?
False
Suppose 0 = 3*o - 0*o + 45. Let b = 73 + -73. Are o and b unequal?
True
Let b(m) be the third derivative of m**5/60 + m**4/4 - 7*m**3/6 + 5*m**2. Let c be b(-8). Are 5 and c equal?
False
Let a = -0.651 - 3.609. Is 0.1 at most a?
False
Let i be (-9)/(-18) - (-10)/4. Suppose -4 = -i*y - l + 2, -5*l + 11 = -4*y. Is -1/8 not equal to y?
True
Let i be 4/14 + 0 + (-56)/126. Is i > 0?
False
Let k(f) = -2*f**3 + 4*f**2 + 3. Let r(s) = s + 7. Let j be r(-4). Let q be k(j). Suppose -w - 5*v - 19 = -0*v, -1 = v. Which is bigger: w or q?
w
Suppose -4*v + 5*p - 13 = 11, 10 = 2*v + 3*p. Which is bigger: v or -1/15?
-1/15
Let m = -35.52 - -35. Let p = -0.82 - m. Are -13 and p unequal?
True
Let q(l) = l**2 - 7*l - 4. Let c(f) = -f**2 + 6*f + 3. Let m(s) = 5*c(s) + 4*q(s). Let n be m(1). Let x = -139 - -137.9. Which is bigger: n or x?
n
Let s = 39 - 37. Suppose 0*a + 3*r - 75 = -2*a, s*a + 2*r - 72 = 0. Is a less than 34?
True
Suppose 6*x = 33*x + 5724. Do x and -212 have different values?
False
Let h(i) = i**2 + 5. Let x be h(-7). Let b be ((-1)/x)/(4/16). Is b at least 1?
False
Let k be 2*5/(20/(-6)) + 5. Suppose -k*x + 0*h - 3*h = 11, -x - 6 = 2*h. Is x < -1?
True
Let x be ((-69)/(-345))/(27/(-55)). Is x at least -1?
True
Let w = 35.86 + -36.2. Which is greater: 0.1 or w?
0.1
Let z = 56 + 39. Which is greater: 92 or z?
z
Suppose d - 2 = -0*d. Suppose -80 = 4*u - d*u. Let k = u + 28. Which is bigger: -13 or k?
k
Let y be 6 + 15 - (0 - -1). Let u be 2/3*90/y. Suppose 5*o - 22 = 2*d, 0 = 2*d + o + u*o - 14. Which is bigger: d or -4?
d
Let o(i) be the second derivative of -i**5/20 + i**3/6 + 2*i**2 - 12*i. Let p be o(0). Is 3 smaller than p?
True
Let v = 245 - 1718/7. Which is smaller: -4 or v?
-4
Let x(o) = o**2 + 7*o - 10. Let h be x(-7). Suppose -4*p + 839 = 839. Which is smaller: p or h?
h
Suppose 0 = -4*z + 6*n - 2*n - 352, -z - 100 = -5*n. Let w = z - -88. Which is smaller: w or 22/5?
w
Let s be 18/(-6) - (312/(-14))/1. Which is bigger: 20 or s?
20
Let n = -93 + 95. Which is greater: -4/7 or n?
n
Let i = 51 - 36. Suppose 7*a - i = 48. Is a greater than 11?
False
Let z = -11747/3 + 3853. Which is smaller: z or -64?
-64
Let x(s) = -37*s**2 + 8*s - 10. Let h be x(-8). Let o = -65944/27 - h. Let d = o + 1/27. Which is greater: -0.1 or d?
-0.1
Let c = 11 + -7. Suppose -2*h + c*h = 0. Let y be (-3)/(-24)*2 - 0. Is y >= h?
True
Let b = 6 + -3. Suppose 5*v + b*m = 8, -4*m = -5*v - 8*m + 9. Let u be (v/2)/((-2)/(-4)). Are -2 and u unequal?
True
Let k be (-55)/10*76/(-1045). Let c = 0 - 1. Which is smaller: c or k?
c
Suppose -58*g + 630 = -51*g. Let n = g - 83. Is 9 less than n?
False
Let i be (3/(-2))/((-21)/(-56)). Let j be (i + 6)*(0 - 1). Let p = 391 + -392. Is p bigger than j?
True
Let q = -8 - 67. Is -77 <= q?
True
Let o = 620 - 52699/85. Let m = 346 - 345. Is m at most o?
False
Suppose -2*y + 3*r - 24 = 38, -2*r + 29 = -y. Let n = y + 53. Let c be -2 + 4*4/n. Are c and 2/19 nonequal?
True
Let f = -74/21 + 8/3. Which is smaller: 1/5 or f?
f
Let r = 2 - 2. Let u be (-66)/297 + ((-280)/(-342))/(-2). Is u <= r?
True
Let x = 1586 - 1410. Is x greater than 175?
True
Let m(n) = -7*n**2 + 4*n + 7. Let v(b) = -3*b**2 + 2*b + 3. Let l(w) = -4*m(w) + 9*v(w). Let a be l(-4). Let o be 7*1 + (18 - 19). Is o equal to a?
False
Let a be -9 - (7 - 337008/21064). Is a at most 1?
True
Suppose -9*b = 9 + 72. Let g(w) = w**2 + 12*w + 10. Let k be g(b). Which is bigger: k or -16?
-16
Let x(d) = -d**2 + 9*d - 4. Let r be x(8). Suppose -r*g + 112 = -5*n, 5*g + 4*n - 107 = 2*n. Is 24 > g?
True
Let a = 32 - 26. Suppose -5*c + a = 5*k + 46, 3*k - 5*c - 8 = 0. Let s be (-12)/(-10) - (5 + k). Which is bigger: 0 or s?
s
Let g be ((-12)/(-15))/((12/15)/2). Suppose -g*s + 4*p + 10 = -8, -2*s = p + 2. Let b = 69 - 760/11. Are s and b unequal?
True
Suppose -4*r + 412 = 5*t, r - 86 = -0*t + 3*t. Let m be (-13)/(r/34 + -3). Let i = m - 113. Is i at least as big as -4?
True
Let u be (-10556)/10500 + (-4)/(-4). Which is smaller: 0 or u?
u
Let t = 9 + -37. Let a = -29 - t. Is a not equal to -2/19?
True
Let s(j) = j**2 - 14*j + 22. Let l be s(8). Is l >= -34?
True
Suppose 5*i + 4*h + h = 0, 5*h = -15. Suppose -r = i - 2. Let a be (42/35)/(-3 - 46/(-30)). Which is greater: a or r?
a
Suppose 2*g + 2*g - 4*l - 12 = 0, -2*g - 4*l = -6. Let o be 1*-9*(g - 4). Let v be 0 - ((0 - 1) + -7). Which is bigger: v or o?
o
Suppose 0*i - 2*i - 8 = 0. Let o be (-128)/(-900) + i/18. Let z = o - -64/175. Which is bigger: 1 or z?
1
Let s = 1.3 - 1.5. Let l = 4.251 + -0.051. Let p = 4.2 - l. Are p and s nonequal?
True
Let t(h) = 67*h. Let l be t(0). Let y = -4 + 3. Is y smaller than l?
True
Let q be -13 + 2 - (-4 - 1). Let u be 8/20 - 4/10. Suppose 0 = -2*v + 5*h + 15 - 3, -3*h - 12 = u. Which is smaller: q or v?
q
Let q = -134 + 102. Which is greater: q or 0.05?
0.05
Suppose 0 = -2*j + 4*k + 93676, 4*j + k + k = 187372. Let z = -3981524/85 + j. Let u = 16/17 - z. Is -1 bigger than u?
False
Let u = -0.7 + 4. Let k = -3.2 + u. Are k and -53 non-equal?
True
Let q = -6124 - -6138. Suppose 3*v - 33 = 9. Is v at least as big as q?
True
Suppose -10*w - 1877 - 1023 = 0. Which is smaller: w or -289?
w
Let w = -1116/11 - -102. Which is smaller: w or -1/4?
-1/4
Let i = 0 - 0. Let m = 1.6464 - 1.5564. Which is smaller: i or m?
i
Suppose 7*c = 8*c - 12. Let f be (-10)/70*(-1 + c/10). Which is bigger: f or 0?
0
Let l = -59341/195 - -914/3. Let y be ((-2)/(-52))/(-3*(-6)/(-72)). Let n = y + l. Is 2 < n?
False
Suppose 3*u + 119 = 2. Let j be (-10)/(-65) + (-20)/u. Which is bigger: -9 or j?
j
Suppose 3*o - 2186 - 367 = 0. Are o and 851 unequal?
False
Let n be 44/24 - 4/(-16). Which is smaller: 2 or n?
2
Let s be 72/(-7476)*(-7)/(-4). Which is smaller: 1 or s?
s
Let l = -0.08 - -0.08. Let g = l - 0.5. Let v = 1 - 0.9. Which is greater: v or g?
v
Let a = 38 - 37. Let s = 1 - a. Which is greater: -1/3 or s?
s
Let w be (2 - (-9)/(-6))*-26. Let i be 62/4 + w/26. Let b be (-9)/(-6)*20/2. Is b equal to i?
True
Let l be (4/(-6))/(-4*15/27450). Is l less than or equal to 305?
True
Suppose 9*b + 399 = 246. Is -16 >= b?
True
Let s be ((-56888)/732)/13 - -2*3. Which is greater: s or 0?
s
Suppose 0*t = 2*p - 4*t - 124, -3*p - 4*t = -156. Let c = p - 55. Which is smaller: -3/35 or c?
-3/35
Let m(o) = o - 5. Let r(b) = -1. Let n(q) = m(q) - 5*r(q). Let k be n(-1). Let z = 3 + k. Does 4/5 = z?
False
Suppose -u + p - 1 = 0, 2*u - 16 = 3*u - 4*p. Let a be -1*(8/u - 2). Suppose -3*b - 10 - 8 = a. Does -13/2 = b?
False
Let n be -7 - -1143*9/(-189). Which is smaller: n or -60?
n
Let j(r) = 2*r**2 + 6*r - 72. Let i be j(-10). Is 66 > i?
False
Let y = 113 + -195. Let c = -55 - y. Which is smaller: c or 1?
1
Let p = 1100 + -1099. Which is smaller: p or -103/7?
-103/7
Let d(b) = -b**2 - 6*b + 10. Let j be d(-7). Suppose 0*k - n + 365 = 4*k, -j*k + 5*n = -245. Let v be (-36)/60 - 206/k. Are -2 and v non-equal?
True
Let w = -9.6 - -8.6. Which is smaller: -5/37 or w?
w
Suppose 0 - 8 = 2*l. Let g(i) = 2*i + 9. Let f