27 + 168)/(9/6)). Is w not equal to v?
True
Suppose 5*s + 14 = 9. Let z(q) = -q**3 - 5*q**2 + 9*q + 4. Let w be z(-6). Let b be (w/35)/s + (-207)/5. Which is smaller: -42 or b?
-42
Let q be -11 + -2 - (-48490)/3731. Which is greater: 11 or q?
11
Let o = 10.887 + -9.096. Which is bigger: o or 0.1?
o
Let g = 201 - 70. Let v = 142 - g. Which is smaller: 4 or v?
4
Let r = -2852733272/10404537 - -117632/429. Let j = r + 2/307. Which is smaller: -1 or j?
-1
Let d = 5637 + -5096. Which is smaller: 1619/3 or d?
1619/3
Let f = -226 - -566. Let g = -329 + f. Which is smaller: g or 25?
g
Let h(k) = 31*k - 572. Let r be h(10). Is r equal to -263?
False
Suppose -4*f + 4*v = -9*f + 60, -2*f = v - 21. Suppose 0 = -5*u + f*u - 9. Suppose -2*l + 0*g = -4*g + 20, -u*g - 15 = l. Is l > -12?
False
Let o be (-2)/(-8) + 2645832/(-11564832). Let t = o + -3/673. Let p = t - -56/7339. Do -1 and p have different values?
True
Let c = 2 + 0. Suppose -c*v - 58 = 258. Which is smaller: v or -157?
v
Suppose -5*c = -5*v + 1315, -4*c = 3 + 5. Let x = 316 - v. Which is greater: 57 or x?
57
Let h(a) = -a**3 - 28*a**2 + 4. Let k be h(-28). Suppose -4 = 3*c - v, 5*c - k*c + v + 8 = 0. Let n be (6*3/(-156))/(c/44). Is 3 smaller than n?
False
Let u = 44851 - 359789/8. Is u < 1/3?
True
Let t(y) = 9*y + 51. Let o(f) = 5*f + 52. Let r(u) = -4*o(u) + 5*t(u). Let b be r(-3). Suppose 116 = -4*c - v, -5*v - 132 = 7*c - 3*c. Is b < c?
False
Suppose 2*m - 3*u = -6, -3*u + 2 = -m - 7. Let t be 108/22 - 1 - m. Is t at least 1/3?
True
Suppose 2*l - 2*n + 150 = 0, 3*n = -5*l - n - 420. Let d = l - -47. Let q(g) = -g**3 - 10*g**2 - 3*g + 20. Let v be q(-9). Is d < v?
False
Let z = -2720 + 2374. Which is smaller: -345 or z?
z
Let i(o) = o**3 - 9*o**2 - 10*o + 4. Let z be i(10). Let u be (5 + -3)*154/z. Let r = 3443 - 3367. Are r and u equal?
False
Suppose -4*c - 3 = 105. Let b(x) = -22*x**2 - 157*x + 7. Let r be b(-7). Let h = c + r. Which is bigger: h or 10/9?
10/9
Let w = 20 + 7.3. Let a = -61 - -34. Let d = a + w. Is d bigger than -0.3?
True
Let c(s) = -7*s + 442. Let l be c(59). Let g be l*1*36/(-6). Is -175 > g?
False
Let z = -5045 - -5045.2. Which is smaller: z or 814?
z
Suppose -110*w + 224*w - 85956 = 0. Is 754 >= w?
True
Let x = 26.1 - 26.229. Let o = -0.229 - x. Which is smaller: o or -118?
-118
Let p = 181 - 125. Let v = p + -46.3. Let t = v - 9.5. Is t != 48?
True
Let u = -1051 + 61. Let t = u - -16838/17. Do -1 and t have different values?
True
Let j = 28.7 + -26.86. Let p = -1.94 + j. Do p and 47 have different values?
True
Let h = -5.88 + 6. Let n(d) = d**3 - 15*d**2 - 44*d + 663. Let v be n(15). Are v and h non-equal?
True
Suppose k = -5*t + 2691, -4*k - 648 = -4*t + 1476. Is t smaller than 535?
False
Let v = -7106/235 - -30/47. Let c(q) = q**3 - 7*q**2 + 5*q - 5. Let a be c(7). Let u = v + a. Is 1 at most u?
False
Suppose -139*z - 2238 - 36960 = 0. Which is bigger: z or -287?
z
Let i = -169524/19 - -8922. Which is smaller: i or -0.019?
i
Let h be 10321/(-86)*(-6 - -4 - 0). Let w = h - 240. Is -1 bigger than w?
False
Let i be 6/(-1051)*(28/(-140))/(72/20). Which is smaller: i or 1/2?
i
Let w(z) = -38 + z**3 + 148*z**2 - 21*z - 38*z**2 - 37*z**2 - 55*z**2. Let p be w(-19). Which is bigger: -13/38 or p?
p
Suppose -5*q = 2*f + 37 + 39, 3*q + 40 = -4*f. Suppose -37*w - 192 = -21*w. Is q greater than w?
False
Let k = 5 - 2. Suppose 40 = m + 5*l, 0*l - 3 = k*l. Let o be 1*(-1)/1*(-25 - 18). Are m and o equal?
False
Let c = 123 - 228. Let b = -59 - c. Let u = 229/5 - b. Is u > 0?
False
Let o = -0.49 + 50.49. Let f = 110 - 160. Let t = o + f. Is t at least as big as 0.72?
False
Let p = 0.404 - 0.623. Let t = p + -0.011. Let k = 0.33 + t. Which is bigger: k or 17?
17
Suppose -3*x + 2*v + 17 = 1, -3*x = -v - 11. Suppose -22*a = -23*a + x, 3*h + a = 11. Which is smaller: h or -4?
-4
Let i(w) = 3*w**2 + 50*w - 339. Let k(f) = -f**2 - f + 1. Let h(n) = i(n) + 4*k(n). Let m be h(9). Is 32 > m?
True
Let u = -12.1 + 12.036. Let w be -5 - (-5)/(105/99). Is u at most w?
False
Suppose -6345 = -7*o + 5744. Is 1730 bigger than o?
True
Let w = -4.3959 + 4.42. Which is smaller: w or -1.6?
-1.6
Let a = -0.13 - 0.15. Let p = 0.3 + a. Let q = p + -0.09. Does -1 = q?
False
Let p(i) = -14*i + 9*i**2 - 8 - 2*i**2 + 43 - 6*i**2. Let t be p(11). Is t > 17/10?
True
Suppose 117 = -6*r - 7*r. Let m be 1*-1*r/(45/(-10)). Suppose k = -4*k - 20. Which is smaller: m or k?
k
Let i = 1453/10 - 295/2. Let z(j) = -2*j**2 + 9*j - 6. Let l = -344 - -348. Let w be z(l). Which is bigger: i or w?
w
Let t be (-1 + -3 + 5 - 0)*(-14 - -14). Which is greater: -9/70 or t?
t
Let l be -22 + 136304/4249 - 10. Which is bigger: 0 or l?
l
Let y = -6279711/19748872 + -3/69784. Is 0 less than y?
False
Let c be 25/(-50)*1928/(-36) + 4/18. Let r be (-30)/(((-9)/(-2))/(-3)). Which is bigger: c or r?
c
Let z = 208 + -207.845. Let s = z - 0.205. Is -0.19 < s?
True
Suppose -4*f - 132 = 2*u + 2, 5*f = 5*u - 190. Which is smaller: f or -126?
-126
Suppose 201*b - 10322 = 214*b. Which is greater: -785 or b?
-785
Let c be -1 + (-320)/(-9) + 138*208/64584. Suppose -5*m - 167 = -5*p - 2, 45 = p - 4*m. Which is bigger: p or c?
c
Suppose -16231 + 102643 = -57*a. Is -1517 bigger than a?
False
Suppose g + 2*m - 17 = 2, -3*g = -3*m - 30. Let o(i) = -i**3 + 14*i**2 - 15*i + 25. Let u be o(g). Which is smaller: -1/8 or u?
u
Let p be 7/(-1*3/(-27)). Let j be 24/(-20) - 918/(-15). Which is greater: p or j?
p
Let z = 5424 - 5423.8. Which is greater: z or -14?
z
Let f(r) be the third derivative of -r**5/60 + 7*r**4/12 - r**3 - 29*r**2. Let b be f(14). Let s be 3/b*(-2 + 6)*-1. Which is smaller: s or 16/13?
16/13
Let u = -16191 + 16591. Which is greater: u or 3197/8?
u
Let f = 16932 + -118842/7. Let v = f + 3033/70. Is -3 <= v?
True
Let x be 6 - 12*(198/(-154))/(8/14). Is x equal to 0.4?
False
Suppose -5*r + 0*r - 260 = 0. Let o be ((-24)/r)/((-4)/(-2)). Suppose -3*c + 11 = 5*g - 6, g - 5*c = -19. Which is smaller: o or g?
o
Let b = 2985 + -3028. Suppose 2*w = -109 + 21. Which is smaller: b or w?
w
Suppose -5*l = -9*l + 68. Let c(q) = 3 - 27 - 3 + 3 - l*q - q**2. Let a be c(-15). Are a and 5 non-equal?
True
Let v(u) = -u**3 - 32*u**2 - 206*u + 23. Let t be v(-23). Let k(h) = 2*h - 2. Let i be k(2). Suppose -6 = -i*s - 0*s - 3*z, 3*z = -5*s + 6. Is s > t?
False
Let b(z) = 17*z**2 - 267*z + 96. Let g be b(-11). Which is bigger: 5088 or g?
g
Suppose 0 = 10*f - 1043 - 4627. Let m be (-4 - 118/(-28))/((-60)/f). Let h = -17/8 - m. Which is greater: -2/9 or h?
h
Suppose 0 = -27*f + 8*f + 323. Suppose f*z - 10 = -10. Which is bigger: 2/805 or z?
2/805
Let w be (-12)/(-16)*(-104)/1. Let a be (-8)/(-36) - w/(-270). Which is smaller: a or 0?
a
Suppose 5*c - 406 + 286 = 0. Let n be (-36)/183*(-3)/c. Is n smaller than 1?
True
Suppose -y + 168 = -5*y. Let d = y - -39. Is d less than or equal to -6?
False
Let n = -13799 - -11643. Which is smaller: -0.3 or n?
n
Let r = -89232731/545 + 163730. Let t = -2/109 + r. Let z be 0/((105/(-245))/(7/(-49))). Do z and t have the same value?
False
Let c = -18756.9 - -18757. Is c at least -7017?
True
Let p = -2227 - -2226. Is p greater than -2/1289?
False
Let c be (-5*1 + 26 + -21)*(-3)/(-12). Which is smaller: 3/707 or c?
c
Let h be ((-8)/6)/(232/(-24) - -9). Is h < 31/44?
False
Let z = -3793 - -3784. Which is smaller: -154/17 or z?
-154/17
Let s = 0 - 8. Let o = s - -7. Let g = -22/75 - -808/2925. Which is bigger: o or g?
g
Let q = 6265569808876339/32953 + -190136552285. Let r = q + -1344/31. Which is smaller: -1 or r?
-1
Let v(y) = -y**2 - 16*y - 9. Let c be v(-15). Let u be (-11)/2*((-32)/8 + c). Which is greater: u or -12?
u
Let r = -26 - -23. Let c = r + -34. Let i = c - -24. Is -11 < i?
False
Suppose 2*l = 4*l - 3*h - 42, -5*l + 2*h + 83 = 0. Let q be (-3 - -2)/((l/10)/(-3)). Let g be 14/(-63) - 402/(-351). Which is bigger: q or g?
q
Let r = 1579 + -1482. Let t = 44.04 - 0.04. Let m = r - t. Is m less than or equal to -1/2?
False
Let x be -12056 + (-294 + 8)/22. Is x greater than -12069?
False
Suppose 4*s = 3*j + 36, 6*j = 11*j - 4*s + 36. Which is bigger: 7/426 or j?
7/426
Let i = -26027 - -25998. Is i smaller than -11?
True
Suppose v + 2*v = -2*u - 3173, -3*u + v - 4776 = 0. Which is bigger: u or -1588?
-1588
Let a = -8.67 - 3.3