t i be y(-10). Let g(j) = 34*j**2 - 19*j**2 + 28*j**2. Let u be g(i). Is u equal to 43?
True
Suppose v + 7*g = 10*g + 219, 0 = -15*v - 5*g + 3685. Is v > 213?
True
Suppose 82*v + 7052 = -2542. Is -149 at most v?
True
Let f = -6.93 + -0.07. Let n = f + 3. Let i = 3870.98 + -3871. Is n bigger than i?
False
Suppose -c - 1 = 129*q - 133*q, -3*q + 12 = 3*c. Let m = 701515/197 + -3561. Which is greater: q or m?
q
Suppose -3*a - 2*o + 32 = -7*a, -4*a = -5*o + 20. Let y be a*4*(-2)/(-16) - 1. Let i be (2 - -1) + (-10 - 0). Are y and i non-equal?
True
Let g = -2559 + 2544. Is 24 at most as big as g?
False
Suppose -2*j + 3*w = 1142, 4*j - 3*w + 779 + 1517 = 0. Which is smaller: -1151/2 or j?
j
Let a(n) = 22*n. Let s be a(-3). Let c(x) = x**3 - 62*x**2 + 186*x - 600. Let b be c(59). Do b and s have different values?
True
Let j(h) = h**2 + 7*h - 10. Let s be (-48)/64 + 4/(32/(-66)). Let y be j(s). Let u be (-10 + 2)/2*6/y. Which is greater: u or 1?
1
Let s = -1237121/57031 - 1/4387. Is s <= -21?
True
Let i be (-24)/(-4) - ((-8 - -2) + 2). Suppose -8*c = -5*h + 24, -3*c + 1 = -4*h + i. Let m = -235/2337 + 7/41. Is h > m?
False
Let z(l) = l**3 + 3*l**2 - 78*l - 161. Let x be z(-2). Which is greater: 1/32695 or x?
1/32695
Let i = -222768 + 222769. Let v be 1 - 0 - 239/238. Which is greater: v or i?
i
Suppose 13*h - 23 = 29. Suppose 5*c - 2*b + 257 = 0, 33 = h*c + 5*b + 232. Let x = c + 52. Is x greater than or equal to -3/40?
True
Let z be (-4)/14 + (-17)/357*-804. Is z <= 15?
False
Suppose 2*m - 19 = b, 3*m + 7 = b + 39. Let l be 0 - (-3 - (-5 - -2)). Suppose -4*j + 55 = c, l*c + 5*c + 24 = 3*j. Is m smaller than j?
False
Let p = -0.29908 - -0.09908. Is p greater than 139?
False
Let p be (-1514)/(-3770) - (64/60 + (-4)/6). Which is greater: p or 0?
p
Let d be 0 + 0 + 66/7. Let b = 2360 + -2352. Is d < b?
False
Let h = 4.1774 - 0.1774. Which is smaller: h or 1094?
h
Suppose 2*a - 273 = w, -9*w = 5*a - 5*w - 663. Suppose -795*m + a = -800*m. Which is smaller: -31 or m?
-31
Suppose -7*z = -11 - 3. Let m = 834 + -1384. Let d be (z/m)/(16/(-40)). Is -1 at least d?
False
Let h = -8004 - -8045. Is 44 != h?
True
Let z = 362 + -326. Let s be (-18)/z + 3/(-6). Which is smaller: -4/193 or s?
s
Let v = 0.01353 - -0.08647. Is 4673 >= v?
True
Let x(y) = 3*y - 93. Let r be x(23). Is -0.56 < r?
False
Let a = 4583973 + -8090710923/1765. Let q = 2/353 - a. Let z be (0 - (-2 + 1)) + -1. Which is smaller: q or z?
q
Let z = -580/143 + 48/13. Suppose 5 = 11*u - 16*u. Which is bigger: z or u?
z
Let c be (1792/63 - 1) + 4 - -2. Which is smaller: 34 or c?
c
Suppose 4*a = -2*c + 6*c - 8, 5*a = -2*c - 31. Let v be ((-6)/15)/(2*a/50). Suppose 88 = -v*z + 20. Which is bigger: z or -33?
-33
Let q(p) = -3*p**2 + 3*p + 6. Suppose 4*k + 31 = 15. Let i be q(k). Which is bigger: i or -52?
-52
Suppose 0 = 20*g + 100 - 180. Let i be (-2)/(-4 + (-28)/(-8)). Is i at most as big as g?
True
Let h be 42/231 - -904*2/(-44)*-130. Is h <= 5342?
True
Suppose h + 2 + 0 = -z, 4*z = h + 2. Suppose 2*n = -z*n + 3*c + 135, -5*c = 5*n - 350. Is n less than or equal to 67?
False
Let s be 7/3057*(-2 - 1303) - (35 - 38). Which is bigger: s or -1?
s
Let u = -281 - -274. Let p be 44 - 41 - ((-1)/1 - u). Which is smaller: p or -22/13?
p
Let r be (-1104)/(-18) - -9 - 1/3. Let j be 40/35 + (-3650)/r. Which is greater: -52 or j?
j
Suppose 3*v = 2*x + 5, v - 2*x + 7 = 3*x. Suppose -6*n - 90 = -v*n. Which is greater: -27 or n?
-27
Let z be (4/3 - (-50150)/(-35880))*(-17 - -25). Is z bigger than -2?
True
Let f = 0.33 - 43.33. Let p = -53549 - -53550. Which is bigger: f or p?
p
Let d be (-1315)/1841*(-28)/46910. Which is smaller: 0 or d?
0
Let w(f) = 133*f + 3. Let m(i) = -i + 5. Let j be m(7). Let a be w(j). Let t = a - -188. Is -74 != t?
True
Let r = -3463/2 + 1731. Suppose 26 = 3*n + 4*z, 2*n = 2*z + 2 + 6. Let i be (n/15)/((-4)/(-40)). Which is bigger: r or i?
i
Let r = -65 + 76. Let k be 35/r - 16/88. Suppose 0 = -y - 5*n - k, -y - y - n - 6 = 0. Which is smaller: y or 1?
y
Let r = 39 - 48. Let c(g) = g**3 + 13*g**2 + 33*g + 14. Let s be c(r). Which is smaller: s or 3?
3
Let n = -30 + 30. Let i be 1 + 3/(-2) + (-76186)/(-52). Let x = -1466 + i. Is x at most n?
True
Let x = 2075/9 - 85084/369. Let k(q) = -q**3 - 3*q**2 - q - 4. Let s be k(-3). Let o = s - -1. Are x and o equal?
False
Suppose -30*d - 51*d + 61132 = 43*d. Which is smaller: -2 or d?
-2
Let g(f) = 38*f**2 + 3*f + 2. Suppose -4*t = 5*h - 0*t, 0 = -3*h + 4*t. Suppose 0 = l + a + 3*a + 1, h = 4*l - a + 4. Let n be g(l). Is n at least as big as 36?
True
Let z = 11 + 718. Let q = 5118/7 - z. Suppose 0 = -36*v + 20 + 25 + 27. Is v at least q?
False
Suppose -23*t + 15*t = -16. Suppose 280 = -5*a + 2*x + 97, 27 = -a - t*x. Let n = -39 - -4. Is a not equal to n?
False
Suppose -u - 3*o = -12463, 0 = 5*u + 1376*o - 1374*o - 62250. Is u less than or equal to 12448?
True
Suppose 0 = 4*f + 5 - 1. Let r be (-2150)/4988*8/10. Which is bigger: r or f?
r
Let y be ((-2702)/(-56) + 3/12)/((-1)/(-22)). Which is greater: y or 10659/10?
y
Let a be (4/8)/(8/976). Let k = 2/71 - -61/355. Which is smaller: a or k?
k
Let o = 431 - 470.2. Let n = -20 + 59. Let d = n + o. Is -0.09 at most d?
False
Let u = 169/122 + -274613/610. Let b = -453 - u. Which is greater: -4 or b?
-4
Let i(t) = -1 - 2*t**3 + 3 - t**3 + 2*t**3. Let q be i(0). Let d be (-16)/(-6)*(-3432)/(-3872). Which is bigger: d or q?
d
Let g(j) = j**3 - 2*j**2 - 7*j + 10. Let s be g(0). Is s <= 166/19?
False
Suppose s = -4*k + 11, 4*k + 5*s - 33 + 10 = 0. Suppose 0 = -2*o + k*h + 28, -3*o + 3*h - h + 37 = 0. Let y = 8 - o. Which is smaller: 1/17 or y?
y
Let i = -318 + 315.4. Let s = -2.9 - i. Is 0.45 equal to s?
False
Let j = 43.17 + -41.97. Are -4.56 and j nonequal?
True
Suppose -24 = 14*l + 592. Let s = l + 97. Let f = 59 - s. Is -4 equal to f?
False
Let v = -23/422 + 87129/1660570. Are -1 and v equal?
False
Let w = 29 - 26.9. Let f = w - 2.5. Let t = -0.076 - -0.076. Is f less than or equal to t?
True
Let b = -81 + 131. Let m(t) = 89*t + 52. Let o be m(0). Is b at least o?
False
Suppose -3740 = -16256*w + 16236*w. Are w and 2/21 unequal?
True
Let z = 4 - 1. Suppose 7*d + 205 = 8*d. Suppose -35 = -60*t + d. Is t less than or equal to z?
False
Let t(u) = -367*u - 4775. Let z be t(-13). Let s(l) = -2*l. Let p be s(1). Let i = p + 1. Is i < z?
False
Let f = -254158044549326/320055 - -794107402. Let b = f + -2/21337. Is b greater than or equal to -0.1?
True
Let w be (-152)/(-32) - 4 - 45/12. Let b be w/(9/2)*(-900)/(-3000). Is b greater than or equal to 18?
False
Suppose 0 = 6*t - 74 - 220. Suppose 4*c - 6*o + 3*o = -30, -5*c = 2*o + t. Let l = -1 - 9. Which is bigger: l or c?
c
Suppose 0*j + 4*j - 88 = 0. Let q = -242 + 236. Let n be ((q/(-4))/(-3))/(j/(-44)). Is n less than -1/39?
False
Let w = 5027 + -4983. Is 1 smaller than w?
True
Suppose -5*x + 10 = 5*o, x + 1 = 2*o + 6. Is -2/1569 != o?
True
Suppose -50 = -6*a - 2. Suppose -a*w = 12*w + 280. Let j be 46/(-4) - 2/4. Which is smaller: j or w?
w
Let s be -92*2/(-12)*(0 + 3). Let i = -60 + s. Let q be (-4)/(-14) - (-4)/i. Which is smaller: q or 8?
q
Let a be (16/384*-116)/((-1)/(-3)). Is a at most as big as 4/9?
True
Let d = 9468 - 9469. Are d and 187 equal?
False
Suppose -8*z + 1901 = -875. Let d = 380 - z. Is 2 at least as big as d?
False
Suppose -r + 14 = 4*g, r = g - 3*r + 5. Suppose 0 = g*i - 762 + 3282. Let b be (-128)/i + 2/(-7) + 0. Is 1 bigger than b?
True
Suppose -3*z + 2*j = -22, -4*j - 15 = 5. Suppose 0 = c - z*s - 106, 3*c + 5*s - 83 - 269 = 0. Which is smaller: c or 113?
113
Let u = -43409 - -6728434/155. Is u bigger than -1?
True
Let a be 3635118/891 - ((-24)/33)/4. Which is bigger: 0.2 or a?
a
Let b = 0.01 - 0.13. Let t = -4.88 + b. Let p = 3632 + -3632. Do t and p have different values?
True
Let h = 77 + -69. Suppose 0 = -h*y + 2*y + 54. Suppose -167*d - 30 = -170*d. Which is smaller: y or d?
y
Let h(l) = 11*l + 397. Let a be h(22). Which is smaller: a or 646?
a
Let s = -3535 - -979197/277. Let k(h) = 9*h + 55. Let m be k(-6). Is m less than s?
False
Let o(d) = 0*d**3 - 10 + d**3 + 2*d**2 + 2 + 15*d**2 + 17*d. Suppose -7*i + 16 = -8*i. Let s be o(i). Which is greater: -23 or s?
-23
Let l = -7123 - -6929. Is 3 at most as big as l?
False
Let n = -8.424