= -10081.841 - -15.841. Which is smaller: 0 or n?
n
Let c(s) = -71*s - 8. Let y be c(1). Let t = -25 - y. Suppose 5*f - t = 4*f. Are f and 1 nonequal?
True
Let x(w) = w - 1. Let r be x(6). Suppose 3*h + 120 - 408 = 4*f, 3*f - 384 = -4*h. Suppose 0 = r*j + h - 31. Which is smaller: j or 0.1?
j
Suppose -2 + 5 = -3*i. Let t = -370 + 535. Suppose 132*o - 143*o + t = 0. Is o < i?
False
Let s(l) = -l**2 - 10*l - 6. Let p be s(-5). Suppose 4*w = -5*y + 30, -1 = w + 2*y - 10. Suppose -w*a + 94 = -n, -3*a - 4*n + 16 = -45. Are a and p non-equal?
False
Suppose 33*g = 5*v + 36*g + 17546, 4*v = 5*g - 14022. Is -3508 <= v?
True
Let d(c) = 112*c**2 - 35*c - 222*c**2 + 107*c**2 - 15. Let j be d(-6). Do j and 87 have the same value?
True
Let q(x) = x**2 - 36*x. Let l be q(36). Suppose 0 = -2*m + 2, l = 8*i - 9*i - m. Is i <= -3/7?
True
Let d = 47 + -41. Let j be (-9)/d*(-4)/(-3). Let w = -8.4 + 1.4. Which is smaller: j or w?
w
Let k be (-1)/3 - (-32)/6. Let c = 3595/107 - 525262/535. Let u = -942 - c. Are k and u equal?
False
Suppose -5*a + 8 + 2 = 0. Let v = 6 - a. Let r = -5322.13 - -5322. Is v at most as big as r?
False
Suppose -n + 2*k - 535 = 81, -3*k = 3*n + 1911. Which is bigger: -633 or n?
n
Let v = 172.29 + -175. Let n = v + -0.29. Which is smaller: n or 12?
n
Suppose -245 = -12*i + 2155. Let h be -2 - 120/i*(-4 + -1). Which is smaller: h or -12/91?
-12/91
Suppose 9*j + 291 = 4*j + 8*j. Let b(k) = -2*k**3 - 6*k**2 + 2*k + 7. Let g be b(-5). Is g <= j?
True
Let x = -36.4 + 39. Let f = x + -4. Let d = -2 - f. Which is greater: 4 or d?
4
Suppose 5*g = 45, -a + 56 = -121*g + 120*g. Suppose 5*y + 0*u + 4*u = 338, -2*y - u + 134 = 0. Is y at least a?
True
Let q = -9440 + 9524. Which is smaller: 43 or q?
43
Let p = -8219 + 32843/4. Let f = 14 - 23. Which is smaller: f or p?
f
Suppose 4*v = 13*v - 1026. Suppose -18*p = -12*p + v. Is p greater than -3?
False
Suppose 5*s - 163 = 182. Let u be 4/(-14) - s/(-21) - 0. Suppose -u*z = -z + 2. Which is bigger: 2/9 or z?
2/9
Suppose -2*x + 5*r + 67 - 155 = 0, -3*x - 2*r = 56. Let q = -7.7 + 8. Let v = q + -0.2. Is x less than or equal to v?
True
Let c(d) = 62*d + 1. Let w be c(2). Let x = 23386 - 23261. Is x <= w?
True
Suppose 4*f - 2*o = -346, -4*f + 4*o = -0*o + 348. Let u = -16 + f. Is u not equal to -102?
False
Suppose 5*r = 3*m - 3462 - 814, -m + 1426 = -r. Which is smaller: 1426 or m?
1426
Let v = 4.17 + -0.07. Let w = 26.2 - v. Let k = -21 + w. Which is smaller: 0.1 or k?
0.1
Let g(b) be the second derivative of -b**5/20 + b**4/12 + b**3/6 + b**2/2 + 19*b. Let l be g(2). Let z be 1/((-3)/(l + -5)). Are 11/14 and z equal?
False
Let x = -197.13 - -197. Let m = 0.05 + x. Which is bigger: 4 or m?
4
Let j(s) = 64*s - 2153. Let k be j(24). Is k <= -617?
True
Suppose 36*c - 12 = 34*c. Let f be (-355 - (2 + -3))*2/c. Is -120 greater than f?
False
Let g = -21558 + 21557. Which is greater: 1/142 or g?
1/142
Let x be (((-42)/(-56))/(3/(-8)))/8. Is 0.0569 not equal to x?
True
Let x = -1108 + 1692. Let j = 584.13 - x. Let l = -6 - -6.3. Is j > l?
False
Let x = 5331 + -5308.99. Let t = 21.7 - x. Let y = -3/50 - 91/150. Is y less than or equal to t?
True
Let w be 0/((25/(-5))/(-5)). Suppose w*b + 20 = 4*b. Is 12 not equal to b?
True
Let r(j) = 49*j - 2957. Let y be r(94). Which is smaller: 1647 or y?
1647
Let g = -51 + 22. Let i(t) = 2*t**2 - 30*t - 182. Let n be i(19). Which is bigger: g or n?
g
Let s be (5/(-65)*0)/1. Which is greater: s or -2/22631?
s
Let o = -55 - -56. Let r be ((1 + -1)/(-4 + 3))/o. Suppose r = 7*m - 3*m + 96. Which is smaller: m or -22?
m
Let p be ((-147)/6 - 1)*4. Let o = 712/7 + p. Do o and -18.3 have different values?
True
Suppose w - 3 = -4. Suppose -5*l = -20, -4*z - 264 - 24 = -3*l. Let j be (2 - 6) + (-282)/z. Which is smaller: w or j?
w
Let h = -1579 + 801. Let v be h/194 + 2 + 2. Is v < 0?
True
Suppose 0 = -433*m + 435*m - 2. Is 5/37 greater than m?
False
Let i(k) = -19*k - 107. Let v be i(-6). Suppose -3*m + v*m + p = -887, -3 = -3*p. Which is greater: m or -223?
m
Suppose 0 = -63*u + 56*u - 26376. Let n = -354195/94 - u. Which is bigger: 1 or n?
1
Suppose -18*u - 8138 = 8*u. Let y = 476 + u. Do y and 163 have the same value?
True
Suppose 3026 = 848*t - 831*t. Is t at least 178?
True
Let s be 54/9 - (-12535)/(-2089). Let c = 54309/10445 - s. Which is bigger: 5 or c?
c
Suppose -5 = -16*n + 34*n + 13. Let b be (-25)/(-15)*3/(-19). Which is smaller: b or n?
n
Suppose 8*j - 57 = 7*j. Let b be j/(-15) + 10/(-50). Is -2 smaller than b?
False
Let d be (-9 + 1)/((18/4)/(-3)). Let v = 410 - 2871/7. Is v at least as big as d?
False
Let h = 8691.5 - 8689. Which is smaller: -10.6 or h?
-10.6
Let g be ((-12)/5)/(210/1575). Which is bigger: g or -552/29?
g
Let f = 2310.8 + -2314. Is f >= -1?
False
Let c(l) = -17*l - 251. Let g be c(-15). Let s = 578 - 4027/7. Which is smaller: g or s?
s
Let p = -0.3868 + -0.6132. Are 73 and p equal?
False
Suppose -4*y = y + 2*v + 358, -3*v = -3. Let k(h) = -7*h - 39. Let i be k(-18). Let w = i + y. Is w smaller than 14?
False
Let k be (-10)/(-6)*(-62)/(-155) + 28/(-33). Which is smaller: -1214 or k?
-1214
Let m be (-5)/(-25)*(-10)/(-156). Let z = -15/13 - m. Suppose 3*u = 1874*q - 1877*q + 18, 0 = 5*q - 35. Is u equal to z?
False
Let n be -5 - -10 - (1 - 66). Let t be n/1*5/55*-1. Which is bigger: 2/9 or t?
2/9
Let a = 0.65 - -0.25. Let n = 5.9 + a. Let s = -7.3 + n. Which is smaller: -3 or s?
-3
Suppose -17759 = -4*j + 2*u - 2095, -3*u + 7824 = 2*j. Let b = j + -935682/239. Which is smaller: -1 or b?
-1
Let u be ((-18931)/18 - 2/(-9)) + (-7 - -9). Is u at least -1051?
True
Let l = 354176/5 + -71330. Let k = 39509/80 + l. Let a(i) = i**3 + 8*i**2 - 20*i - 2. Let u be a(-10). Which is smaller: u or k?
u
Let n be ((-9)/(-667071))/(3/(-18) + (-7)/21). Is 1 equal to n?
False
Suppose 1 = 4*a + c, -a - 4*c = 473 - 462. Which is smaller: a or 2/617?
2/617
Let s = 84 - 46. Suppose -10 = -16*u + s. Suppose 4*g - 6*g = -u*p + 31, -3*p + 9 = 0. Is -57/5 > g?
False
Let u be 14 - ((-23366)/(-896) + -12). Which is bigger: u or -0.044?
-0.044
Let l = 0 + -2/5. Suppose 5*w - 2780*t + 2788*t + 1191 = 0, -4*w - 943 = 5*t. Which is greater: w or l?
l
Suppose 121*j - 122*j = -5. Suppose 8*n = j + 3. Is n at least as big as -1/317?
True
Let l = -1979 + 1980. Are -1/8854 and l equal?
False
Suppose 2*a - 3*b = -1510, 4*b + 1788 = 4*a + 4816. Which is bigger: -758 or a?
-758
Suppose 3*j + 1 = -4*z, z = 3*j + 15 - 19. Is z not equal to -67?
True
Let h = 714/19 + -7173/247. Let k = h + 4197/52. Which is greater: 90 or k?
90
Let o = -995 + 162183/163. Let s = -530 - -541. Let q be s/33 - (-3)/18. Do o and q have different values?
True
Let z be -32 + (-300)/(-20) - -169. Which is smaller: 762/5 or z?
z
Suppose -776 = i + 7*i. Let c = -7 - i. Let r be (-4)/(-10) + 54/c. Is r smaller than -11/8?
False
Let l = 10078 - 11173. Is -1095 <= l?
True
Let t = 234.6 - 240.755. Let w = -0.155 - t. Which is bigger: 9 or w?
9
Let q = -47.3 + 47. Let y = -0.18 - q. Let g = -3.88 - y. Is 5 at most g?
False
Let y be (-4)/20 + 34/170. Is -3/841 < y?
True
Let z(g) = g**3 - 7*g**2 + 9*g - 6. Let b be z(5). Let x be b + (8/2 - 8). Let s be (5 - (-2 - -5))*-8. Is s <= x?
True
Let w = 291683/3068 - 1236/13. Is w bigger than 1?
False
Suppose -27 = -3*r + 3*t, -5*t = r + 3*r - 45. Suppose 5*b = r + 40. Which is smaller: b or 11?
b
Let a = -1827/20 + 387/4. Let u be (8 - 1) + -1 + (-4 - -3). Suppose 5*m - g = 27, 3*g = u*m - 15 - 16. Which is smaller: a or m?
m
Let t(r) = -3*r**2 + 107*r + 349. Let z be t(-3). Suppose 0*x + 2547 = -3*x. Let a = x + 11043/13. Which is smaller: a or z?
a
Let i be 8/14 + (-92)/161. Is 208.7 smaller than i?
False
Let w = 10935 + -6123. Which is bigger: w or 4811?
w
Let n be 32 + (-38 - -9) - 1/((-6)/(-16)). Which is greater: n or -2137?
n
Let q = 0.0203 + -604.0203. Let p = 600 + q. Which is smaller: -91 or p?
-91
Let y = 202997/6 + -33832. Let j = 0.7 - 1. Which is greater: j or y?
y
Suppose 0 = 8*b - 57 + 33. Suppose -5*d + 5*j + 60 = 0, 3*d - b*j = 4*d - 20. Which is greater: 11 or d?
d
Let y = 0.34 - 49.34. Let f = -66 - y. Suppose 1 = -2*j + 3*a - 1, 5*a = 2*j + 2. Is j greater than f?
True
Suppose 0 = 2*z - 118 - 170. Let d = z - 164. Which is smaller: d or 0.2?
d
Let j = 8539/5 - 9733