or 3?
b
Suppose -f = -2*d - 43 - 34, -224 = -4*f - 4*d. Which is smaller: 6/29 or f?
6/29
Let j(s) be the first derivative of 3*s**4/4 + 2*s**3/3 + 3*s**2/2 - 12*s - 18. Let c be j(-3). Suppose p + 4*p + 415 = 0. Do p and c have different values?
True
Let n be 87 + 2 + (-4 - -2). Let b(j) = 3*j**2 - 43*j - 46. Let y be b(19). Suppose -14*l + 1012 + y = 0. Which is smaller: l or n?
n
Let f be 30650/35 - -4*1. Let b = -880 + f. Let h = 24 - 9. Does h = b?
False
Suppose -3*j + 13*j + 10 = 0. Let g(k) = -k. Let w be g(-3). Suppose 0 = 5*s - 4*x - 5, 2*s + 6 - 31 = -w*x. Is s < j?
False
Let b(q) = 8*q**2 - 74*q + 48. Let t be b(5). Which is greater: t or -124?
t
Let z be 68/2 - -5*(-5)/25. Let j be -2 + 2 - z/(-583). Is -1/2 less than or equal to j?
True
Let j = -71 + 76. Let i be ((-8)/(-10))/(10/j). Let z = 4/33 + 17/132. Which is bigger: z or i?
i
Let a = -5374 + -3187. Are -8561 and a unequal?
False
Suppose -3*j + 2*l + 1258 = -2*j, 4*l = -2*j + 2508. Let s be (j/18 - -2) + 20/90. Let h = 34 + 37. Is s > h?
True
Let c(q) = -q - 1. Let v be c(-2). Let l be (-7)/(28/8) + v. Let h(m) = m**2 + 3*m - 71. Let j be h(-10). Is l at least j?
True
Let n be ((-24)/1365)/(-4)*(-28)/28. Is n greater than -1?
True
Let r = 76591/15 + -5103. Which is smaller: -5 or r?
-5
Suppose 5*n + 5*t = 7*t + 389, -t + 319 = 4*n. Let x = 86 - n. Suppose m = b + 7, -x*m + 33 = -3*b - 10*m. Is b equal to -11?
False
Let w = -6287/10 + 1307/2. Is 24 smaller than w?
True
Let w be 706/231 - 2 - (-10)/55. Let q be -6 - (1 - 7)*1. Which is smaller: w or q?
q
Let l = 1625 - 2543. Is -2 greater than or equal to l?
True
Let j(t) = -t**3 - 32*t**2 + 44*t + 70. Let s be j(-30). Let r = s - -9038/3. Which is smaller: -36 or r?
r
Suppose 0 = 2*x - 6, 0 = -3*y + 4*x + 642 + 54. Is y greater than or equal to 235?
True
Let q = 32592/13 + -2510. Which is greater: q or -4?
q
Let z = -2200.8 + 2509. Let l = -308 + z. Which is greater: 0.7 or l?
0.7
Let d = -69 - -36. Let u = d - -36. Let j be (4 + -4)/u + -3. Is j <= -4?
False
Let p be 1 + (-12)/20 - 940/(-25). Let r(y) = y**3 - 5*y**2 - 3*y - 7. Let s be r(7). Suppose 4*j + s = f + 14, -f = 3*j - 28. Is p equal to f?
False
Let w be ((-3031980)/69757758 + (-2)/(-46))*-6. Is 0 less than or equal to w?
False
Let n be 5/3 + 145/(-87). Which is greater: n or 2/3951?
2/3951
Let u(y) = -y**3 + 15*y**2 - 15*y + 3. Let z be u(14). Suppose 0 = -5*q + 2*x + 4, -2*x - 21 = -3*q - 7*x. Let a = z - q. Is -14 <= a?
True
Let y(u) be the third derivative of u**4/8 + 41*u**3/6 - 6*u**2. Let f be y(-13). Suppose 9 = q - v, v - f*v = 2. Which is smaller: 6 or q?
6
Let w = -3.09 - -3.64. Let o = 0.45 + w. Let a be (-2)/2 + 1/(-1). Which is greater: a or o?
o
Let l(i) = -2*i**3 + 12*i**2 - 46*i + 318. Let k be l(6). Which is smaller: k or 61?
k
Let m(x) = -3*x - 9. Let j be m(-5). Suppose j*h + 9 = 39. Suppose -187*g + 195*g = 40. Is g at most as big as h?
True
Let n = -72 + 77. Suppose 53 + 24 = k + 4*g, 0 = n*k - 3*g - 431. Suppose 0 = 5*j - 55 + k. Which is bigger: j or -29/5?
-29/5
Suppose -4*z + g - 2 = -6*z, 5*z + 13 = 2*g. Let n be (-2 + z)/((-18)/384). Suppose 2*l + i - 3*i = -n, 5*l - 2*i = -154. Which is smaller: -29 or l?
l
Let h(z) = -4*z**2 - 80*z + 358. Let k be h(4). Is k less than or equal to -621/25?
True
Let l be ((-4)/1128)/(36/(-24)). Let g(w) = w**2 - 3*w + 1. Let t be g(1). Is t less than or equal to l?
True
Let y be (303 - 1) + (-27 - (19 - 42)). Is 301 <= y?
False
Let g(q) = -96*q - 190. Let y be g(-2). Suppose 4*k - f - 7 = -17, 0 = 3*f + 6. Which is smaller: y or k?
k
Suppose -w + 3*m + 73 = 172, 0 = -13*w + m - 1591. Which is smaller: -76 or w?
w
Let o = -12393086/9 - -1375442. Which is bigger: -1568 or o?
o
Let f = -435.08 + 189.08. Which is smaller: f or -28?
f
Let z = 1.2 + -4.4. Let s = 3 + z. Let g = 70.22 + -70.3. Which is smaller: s or g?
s
Suppose -3*o = 4*c - 9, 0 = 3*c + 151*o - 148*o - 6. Let x(j) = j**2 + 6*j - 1. Let l be x(-5). Is l < c?
True
Let b = 487527/257 - 1897. Is -13 < b?
True
Let c be 2/(-8) - (-1 - (-34)/(-8)). Suppose -c*j + 8*j = 18. Suppose 0 = -31*s + 33*s + j. Do s and -3 have the same value?
True
Suppose -3*v = t + 25, 0 = -18*t + 15*t - 3*v - 75. Let o(i) = -i**3 - 2*i**2 + 2*i - 1. Let w be o(1). Let k be (-10)/w*(-48)/10. Is k at most as big as t?
False
Let s = 7469/3571109 + -2/6343. Let d = s + -5651/11823. Is 0 less than d?
False
Let a be -7*40/(-112) - (-5)/1. Let p = a + -4. Is 5 > p?
True
Let j be (-2 - 2045/1) + (251 - 258). Is j > -2053?
False
Let l(r) = 7*r**2 + 4*r. Let x be l(-3). Suppose 0 = -5*z + 3*g + 129, g - 5*g = -4*z + 108. Let d = z - x. Is d equal to -28?
False
Let n = -178 + 188. Let h(z) = 8*z - 68. Let o be h(n). Which is smaller: 87/8 or o?
87/8
Let b = 3063 + -2445. Which is smaller: b or 2?
2
Suppose 96 = -w - w - 5*g, 170 = -3*w - g. Let o = -1195 + 1136. Which is greater: w or o?
w
Let t = 2919 - 2874. Which is smaller: t or -1?
-1
Let o = 170.3091 - 2.3091. Which is smaller: o or 14?
14
Let p = 3135.96 - 3130. Which is bigger: p or -5?
p
Let s be 8*((-1476)/15)/12. Which is bigger: s or -65?
-65
Suppose r + 9 = -n + 14, -2*r = 3*n - 12. Suppose 0 = -5*b - 4*a, -n*b = -2*a - a. Which is smaller: b or 2?
b
Suppose -7137 = -54*p + 1503. Which is bigger: p or 108?
p
Let b be -2 + 1 - (-8 + 10) - 9. Let f be 4/b + ((-255)/18)/5. Is -2 < f?
False
Suppose r + 34 = 4. Let d(z) = -z**3 + 18*z**2 + 25*z - 32. Let f be d(20). Let i be (-234)/8 + 83/f. Are r and i unequal?
True
Let t = 2.92 - 3.137. Let j = -1.217 - t. Is 26 at most j?
False
Let g = 287 + -859/3. Let v = -0.1 - 8.9. Let p = v - -3. Is p less than g?
True
Let j = 82.5135 + -0.5135. Are j and -14 unequal?
True
Let m be 1 + 19509750/(-1585) + 1. Let t = -12307 - m. Is 1 bigger than t?
True
Let z = -83 + 121. Let u = -74 + z. Is -1/3 at least u?
True
Let y = 405.2 - 405. Which is smaller: -1/1446 or y?
-1/1446
Let l = -38146462070 - -1224844750761574/32109. Let i = -2/4587 - l. Is -4 greater than i?
True
Let j = -6 + 10. Suppose -5*f = -o + 62 - 56, j*f = -4*o. Which is smaller: f or -44/21?
-44/21
Suppose 48*d - 685 = -1693. Is -28 at most as big as d?
True
Suppose 0*u + 5*u = 405. Let q = 18.62 + -18.62. Which is greater: q or u?
u
Let o be (15/(-10))/(3/(-22)). Let s = -234 - -238. Suppose -3*f = -f - 5*r - 34, -s*f = -r - 50. Which is smaller: o or f?
o
Suppose -5*c + 2*c = -153. Let s = -153 + 151. Let g be (-1 - (-135)/c) + 4/s. Which is smaller: -1 or g?
-1
Let z be (-3417)/83736*-2 - (-1)/(-12). Which is smaller: 1 or z?
z
Suppose -491*g = -435*g + 557200. Which is smaller: g or -9949?
g
Let i be (3/9 - 3/36)*-1. Are i and -1418 non-equal?
True
Suppose 66*m + 436 = 61*m + 3*q, -228 = 3*m + 3*q. Let f be -28*1*(-1 + 4). Is m smaller than f?
False
Let d = -1.267 - -1.885. Is -0.1 smaller than d?
True
Suppose -5*z - 5 = 0, -5*b - 24 = 5*z + 406. Let v = 0.7 + 0.3. Which is smaller: v or b?
b
Let a be -114 - ((-10)/6 + 1)*42/(-7). Which is smaller: a or -116?
a
Let b be 10*((-66)/24 - -3) - 241243/38. Do -6345 and b have different values?
True
Let w = 0.445 - -1.555. Suppose -9*b - 2*b - 176 = 0. Which is smaller: w or b?
b
Let j be 2*(-2)/12 + 1. Let m(p) = -p**2 - 15*p + 523. Let y be m(16). Suppose -y = 17*b + 10*b. Is j < b?
False
Let i be (8/36 - (-16588)/6435)*2/(-4)*-10. Suppose 3*b - 52 = -b. Are i and b non-equal?
True
Suppose -72 - 244 - 130 = -223*n. Which is smaller: n or 2809?
n
Let g be 3/2*(10898/18 + 1). Let j = g + -11819/13. Is 1 less than j?
False
Let b = 791.2652 + -0.2652. Does b = -0.06?
False
Suppose 6*t - 33 = 3*t. Suppose -x = 5*v - 4*x + t, 5*v = -x - 3. Which is bigger: 8/71 or v?
8/71
Suppose -3*p + 5*r + 8 = 0, 0*p + 5*p - 26 = 2*r. Let q be (p/(-8))/3 - (-171)/76. Let g be 1/4 - (-272)/704. Which is bigger: g or q?
q
Let x = 911 - 204. Let w = 701 - x. Is w != -0.01?
True
Suppose 185*g = -1034 - 970 + 524. Let x = -8 + 4. Which is bigger: g or x?
x
Let m = -54 + 67.6. Let t = m + -13.57. Which is smaller: -0.4 or t?
-0.4
Let z = -163.33 + 3.33. Let y = 155 + z. Let s = 1 - -0.4. Is s equal to y?
False
Let q be (-950)/(-125) - 6/10. Let l be 12/21 - 116/q. Which is smaller: -0.4 or l?
l
Let j = -84 + 87. Let l be (70/(-7))/(j - -8). Suppose -2*h + 8 = -5*a, 4*a + 8 = 2*h - 0*h. Is a <= 