 be (-1)/3*h/485. Let f(u) = -2*u**3 - 37*u**2 + 18*u - 18. Let n be f(-19). Is v equal to n?
False
Let w = -1 - 21. Let c be 5 + -5 + 0 - 26. Let v be (-240)/1320 + 1/((-22)/c). Is w at least as big as v?
False
Let h = 107/17 - 287/51. Which is smaller: h or 18.18?
h
Suppose -a - 374 = 5*o + 2271, -25 = 5*a. Let t = o - -529. Is 17/7 greater than t?
True
Let a be (7/(84/(-16)))/(3/(-540)). Let q be -6 - (-3)/((-9)/a). Which is bigger: -85 or q?
-85
Let r be 51600/301 + 3/(-7). Which is greater: r or 175?
175
Let o be (-3)/(-114)*13/(39/588). Is o > 5?
True
Let c be (3760/36)/(29/(1044/8)). Which is greater: 469 or c?
c
Let x(z) = -2*z + 15. Let g be x(7). Let u be g - (-1 - (-128)/54). Which is bigger: -1 or u?
u
Let w = -82.72 + 13.76. Let k = w + 69. Let p = -10 + 6. Which is smaller: p or k?
p
Let b be 2574/(-19635) + (-1)/(-7). Is 1 > b?
True
Suppose -535*g + 541*g - 30 = 0. Suppose 0 = -g*y + 33*y. Which is greater: y or -7/12?
y
Let g = -457.7 - -464.3. Which is bigger: g or -0.05?
g
Let i(k) = -25*k - 418. Let n be i(-16). Do -23 and n have the same value?
False
Let v = 30 + -30.1. Let r be ((-55)/25)/(-2 + 1). Which is smaller: r or v?
v
Let i be 6/(-3) - (-2 + 223). Let l = i + 226. Let g = 0 + 2. Is g at most as big as l?
True
Suppose -11201 + 22099 = 12*h - 19546. Which is smaller: h or 2542?
h
Let i = -3 + 2. Suppose -2*b = -6*b + 2*w - 366, -5*w = 4*b + 345. Let r be (32/(-12))/(b/27). Does r = i?
False
Suppose 12*s - 20*s + 152 = 0. Suppose 4 = a - s. Let y(c) = -c**2 + 26*c - 71. Let t be y(a). Is t bigger than 2?
False
Let r = 42 + -40. Suppose j + r = -8*u + 9*u, -5*j - 1 = 4*u. Which is smaller: u or -10/33?
-10/33
Let b = 32 - 27. Suppose -21*k + 15*k = 0. Let s be (-10)/3*((-9)/5 - k). Is b smaller than s?
True
Let z be 571*(3/1 - 0). Suppose 5*s - z = 217. Let y = s + -3478/9. Which is bigger: -4 or y?
y
Let i(n) = -91*n + 1055. Let j be i(8). Which is smaller: j or 328?
j
Let h = -4058362 + 142059749/35. Let i(m) = 33*m - 7. Let o be i(15). Let l = o - h. Which is smaller: -1 or l?
-1
Let b = 165.6 - 165.53. Let m = 9 + -16. Let o = 12 + m. Which is bigger: o or b?
o
Let u = 315 - 313. Suppose u*w - 5*i - 85 = 0, 2*w - i - 88 = 3*i. Which is smaller: w or 48?
48
Let f = 110 + -98. Suppose f*s = 15*s - 9. Which is smaller: -1 or s?
-1
Let g = -335 - -331. Let v = 1 + -2. Let w be (v - 22/g) + (-20)/5. Is 0.07 at least as big as w?
False
Let k(i) = -30*i + 454. Let z be k(65). Is z greater than -1494?
False
Let z = 1810313/13 + -139177. Is z at most as big as 79?
True
Let x = -9441 - -1255659/133. Suppose -5 = 3*r - 5*u - 10, 5*u = -2*r - 5. Which is smaller: x or r?
r
Let q(w) = -44*w**2 - 24*w + 108. Let b be q(8). Is b at least as big as -2900?
True
Let j(o) = 5*o**2 + 65*o + 215. Let n be j(-5). Is n > 128?
False
Suppose -901*z = -880*z + 21. Which is smaller: z or -58/67?
z
Let s = 16734 - 15750. Which is smaller: s or 983?
983
Suppose -10*a - 982 = -1052. Let d(v) = v**2 + 2*v. Let o be d(-3). Suppose -o*t - x + 14 = 0, 5*x - 4 = 4*t - 10. Is t less than a?
True
Suppose 0 = -12*m + m - 44. Let h be -94*(-1)/3*(-36)/408. Is h equal to m?
False
Suppose 5*a + 3*v - 6 = 0, 0 = 5*a + 4*v - 1 - 2. Suppose 0 = a*m + 3*w - 56 - 67, 0 = -2*m + 5*w + 103. Let p be 33/m - (-21)/68. Which is smaller: p or 0?
0
Let b be (-1 + -1)/(1207/102 - (-2 - -14)). Let j be 0/1 + -1 + 5. Which is smaller: b or j?
j
Let i = 28268063/327 - 86448. Let y = 1/109 - i. Is 0 >= y?
False
Let u(d) = d**3 - 2*d**2 - 28*d - 2. Let m be u(0). Which is bigger: 508/7 or m?
508/7
Let m = 182 + -197. Let q be (180/35 + -6)/(m/70). Which is smaller: q or 25?
q
Let a = -263 - -132. Let q = a + 129. Which is smaller: 6/43 or q?
q
Let p = 985 - 987. Which is smaller: -21/10 or p?
-21/10
Suppose 3*s + 5*p = -103, 4*s - 3*p = -7*p - 140. Let y be (s + -1)*(-37)/(-259). Is -6 > y?
False
Let q = -2690.3 - 602.7. Is 1 less than q?
False
Let j(n) = -111*n + 1772. Let b be j(16). Let a = 7 - 2. Which is smaller: a or b?
b
Let y be 3*(-6)/27 + 43/(-43). Is y equal to 2?
False
Suppose 0 = 4*z - 8 - 0. Let c be (-37)/38 - (z - (-35)/(-10)). Let p = -419/760 + c. Which is bigger: 1 or p?
1
Let p = 493 + -431. Let o be -81 + 1 + 0 - (-58 + p). Which is bigger: -83 or o?
-83
Let j = -103/690 + 13/46. Which is smaller: -66 or j?
-66
Let l = 65.2 - 82. Let g = l + 16.7. Is 1.82 greater than g?
True
Suppose 12*p - 1055 = 445. Is p >= 113?
True
Let v be ((-4)/24)/(-6 + (-3 - 529944/(-58880))). Which is smaller: -409 or v?
-409
Let g be 1 - 2 - 24/46. Let f be 4*(-75)/480 + 3 + 27/(-8). Does g = f?
False
Let p be (-166692)/(-499960) - (-1)/(-3). Which is smaller: -1 or p?
-1
Let b(x) = -7*x. Let c be b(1). Suppose 41 = -2*f - n, 2*f = n - 3*n - 42. Let u = f + 15. Is c less than u?
True
Let u = -32 - -33. Let n = -15 - u. Are n and -13 unequal?
True
Suppose -r - 2*s = -565, 0 = r - s - 340 - 240. Is r <= 574?
False
Let h(c) be the second derivative of -c**4/12 - 8*c**3/3 - 10*c**2 - 21*c. Let t be h(-10). Let k = 39 - t. Which is bigger: k or 2/9?
2/9
Let m = 688/71 - 160473/16685. Is m not equal to 1?
True
Suppose -57 = j - 3*r - 10, 3*j + 2*r = -141. Let g = -49 - j. Let w be 12/16 + g/(-8). Is -8/19 smaller than w?
True
Suppose -3*c = -57 - 12. Suppose 4*h + 3*b - 399 = 0, -2*h - 9*b + 6*b + 207 = 0. Suppose -y + h = 3*y. Which is greater: y or c?
y
Let b = -9 + -295. Let p = b + 425. Is 121 equal to p?
True
Let f be 5 - ((-10)/1869 - (19 + -24)). Let k = -1084/102795 + f. Which is smaller: 0 or k?
k
Let w = -952 + 1081. Which is greater: 132 or w?
132
Let r = 15 - 15. Suppose 3*h + r*h = 0. Let o = -323 - -7753/24. Which is greater: h or o?
o
Let k be (0 - (-1 - -3)) + -1. Let s(w) = w**3 + w**2 + 3*w - 5. Let l be s(2). Suppose 6*t + l = -5. Is t less than k?
False
Suppose 30 = -46*r + 766. Let u = -0.002 - -1.002. Which is smaller: r or u?
u
Let y be ((80/132)/10)/(4/4662). Is 71 smaller than y?
False
Let j = -10 + 7. Let d = 372 + -171. Let z = d + -1411/7. Is z equal to j?
False
Suppose -5*c - 34*y = -36*y + 7, 0 = 4*c - 5*y + 9. Let r be ((-2)/2)/(65/10). Are c and r nonequal?
True
Let s = 1153 + -1209. Let t = 4.5 - -45.5. Let o = t + s. Which is bigger: -2/7 or o?
-2/7
Let o = 10575497/651 - 16245. Is 1 bigger than o?
True
Let m be 357/(-833) + (-4)/7. Is 2/4241 smaller than m?
False
Let g(h) = 6*h - 2*h - 2*h**2 + 6 + 3*h**3 + 0*h**3 - 5*h**3. Let d be g(3). Let p be ((-4)/d - 0)*(-21)/(-21). Which is bigger: 1 or p?
1
Let y = 4.91 + -4.86. Let u be ((-16)/32)/(((-1)/2)/(-1)). Which is bigger: u or y?
y
Let z = -3.3 + 168.3. Let x = 0.100083 + -0.200083. Which is bigger: z or x?
z
Let y = 21.16 - 21.36. Let t = 16 + -55. Is y != t?
True
Let q = -3.35 - -3.15. Let t = -0.616 - 252.384. Is t at least q?
False
Let z be 42 + (-474)/11 - 2/(-22). Which is bigger: -2/42387 or z?
-2/42387
Let n be (118/(-15))/(990/(-1100)). Which is smaller: n or 9?
n
Suppose 53*o + 372479 + 225287 = -30*o. Is -7203 > o?
False
Let k(v) = -3*v**2 + 78*v - 264. Let p be k(22). Is p > -435?
True
Let n = 1473 + -1277. Are n and -10/3 equal?
False
Let k be (-22 + 26)*4*5. Suppose 92*m - k*m = 864. Which is smaller: m or 71?
71
Suppose -2372*n + 2361*n = -11. Which is bigger: n or -5/971?
n
Let t = 12 - 40. Suppose 20 = -5*a, -3*a = 4*p - 8*p + 12. Suppose -2*y - 3*k - 60 = 0, -4*y - 5*k - 50 - 70 = p. Which is greater: t or y?
t
Let k(a) = a**3 + 21*a**2 - 20*a + 40. Let n(p) be the first derivative of p**2/2 - 17*p + 10. Let j be n(-5). Let s be k(j). Which is smaller: -60/13 or s?
-60/13
Suppose 5*f - 61 = -2*l, 3*l + 2*f = -2*f + 74. Suppose 27*a = l*a - 1071. Are a and -361/3 nonequal?
True
Let q = -179 + 175. Let z be (-15)/(-20)*q + 2. Let d = 31 - 49. Which is greater: d or z?
z
Let y = 14 - 56. Let b be ((-12)/y)/(48/1372). Let d = b - 11/2. Are 1/2 and d non-equal?
True
Let n(u) = -3*u - 7. Let y(q) = q**2 - 9*q + 14. Let o be y(6). Let f be n(o). Suppose 5*d + 5*t - 15 = 0, 4*d = -d + 5*t - f. Which is smaller: 5 or d?
d
Let d = -366.44 - -355. Let s = d + -0.56. Let u = 54 - 54.1. Are s and u equal?
False
Let g = -3812.9 - -3813. Do 0.009 and g have different values?
True
Suppose x - 25*s + 24*s + 6 = 0, -5*x - 10 = -s. Which is smaller: 40/111 or x?
x
Let u = 1.56 - -66.44. Let