) = t**2 - 14*t - 17. Let u be w(15). Let c be (58/1421)/(u/(-4)). Let b be 2/(-4)*0/(-7). Which is smaller: c or b?
b
Suppose 0 = 58*k + 92 + 82. Which is smaller: -15 or k?
-15
Let y be -11 + -1391*28/(-182). Which is smaller: 143 or y?
143
Suppose -1332 = 47*n - 204. Let z be 2/(-20)*(-32)/n. Which is smaller: z or -2?
-2
Let j = 8.8534 - -0.1466. Let i = -0.03 - 0. Which is bigger: j or i?
j
Let x = 537.0118 + -0.0118. Which is bigger: x or -0.02?
x
Let c(y) = 30*y**3 - 8*y + 7. Let u be c(1). Let k be (-174)/u*(-2 + (-1)/1). Is 17 < k?
True
Suppose 4*q - 422*y = -420*y + 186, 3*q - 3*y - 129 = 0. Does q = -136?
False
Suppose g + 4 = -2*l - l, 5*g - 16 = -3*l. Suppose 288 = -v + g*v. Is 73 <= v?
False
Let r = 898.5 - 898. Which is greater: r or -218?
r
Let p = -2/3013 - -141625/21091. Let d = p + -44/7. Let o = -6 - -7. Is o != d?
True
Suppose 34*d - 37*d - c = 42, 0 = -4*d + c - 49. Let p = d + -20. Which is smaller: p or -36?
-36
Let c = 2871 - 3457. Is -589 at most as big as c?
True
Suppose 0 = g - 2*l + 1518, -4*g - 3021 = -2*g + l. Let t be g/9*14/(-104). Is 22 > t?
False
Let q = 91 - 92. Let v be (-1)/12*-2*(-9)/(-21). Is v less than q?
False
Let w be (23 - 90) + (0 - (-6)/3). Is w less than or equal to -66?
False
Let r be (-3)/1 + (-16 - -16). Let z be r/(-3) - 14/(-2). Suppose -y - z*y = 9. Is y > 2/29?
False
Let p be (-25578630)/(-1598667) + -1 + -15. Is 0 not equal to p?
True
Suppose 2 = 3*o - 4. Suppose -8*s = -7*s + 32. Let a = -27 - s. Which is smaller: a or o?
o
Suppose 0*y - y - 3*x = 44, -2*y - 3*x = 79. Let t = y - -41. Let w(b) = 13*b - 71. Let j be w(t). Which is greater: j or -1?
j
Let y = -2722 - -10488. Let o be y/2590 + 6/(-2). Let w = o + -2218/1295. Which is smaller: w or -3?
-3
Let a = -599 + 36537/61. Let t be 0 + 6 + -6 + 4. Suppose -3 = -y - t*w - 0, -3*w = 3*y. Is y greater than a?
False
Let z = -17583/2 + 8792. Let f = -3899/8 + 486. Which is smaller: f or z?
f
Let l = -46.09 + 46. Let z = -65 - -105. Let m = z + -41. Which is smaller: m or l?
m
Let h(x) = -x**2 - 5*x + 25. Let u(k) = -5*k**2 + 41*k - 5. Let b be u(8). Let s be h(b). Let a = -17.2 + 0.2. Is s at most a?
False
Suppose -76*v - 6 = -0 - 6. Which is greater: v or 0.5628?
0.5628
Suppose -2*k - 15 = -3*i, 85*k - 4*i + 20 = 80*k. Is -5/356 at least k?
False
Let j = 614 + -580. Suppose j*a - 11 = -45. Which is smaller: a or -15/41?
a
Let b(q) = -5*q**2 + 31*q - 38. Let a be b(5). Is -288/31 at most a?
True
Suppose 0 = -48*n - 22474 - 28886. Which is bigger: n or -1068?
-1068
Let k = -1420 - -1504. Is k bigger than 93?
False
Let x = 11189 - 10605.1. Is -0.1 less than x?
True
Let h be (-4)/18 - (-319)/99. Let l be 1/h + -1 + 3. Let d be (-108)/378 - 2/(-7). Which is smaller: l or d?
d
Let i = 7098703955/179 - 39657972. Let q = i + 408. Which is greater: 0 or q?
0
Let i = -7824 - -7823. Which is smaller: i or -4/119?
i
Let y = -2.8615 - 0.0685. Let c = 2.23 + y. Which is smaller: -3 or c?
-3
Let p(a) = a**3 - 6*a**2 - a + 5. Let k be p(6). Is k > -2/15967?
False
Let k be (-4*3/(-24) + 83)*(49 + -11). Which is smaller: k or 1?
1
Suppose 34847 = 38*u - 61027. Which is greater: u or 2527?
2527
Suppose 0 = 4*p + 5*b - 584, -438 = -8*p + 5*p - 2*b. Suppose -79*h - 2304 = -95*h. Is p less than h?
False
Let z(k) = -29*k + 3. Let r be z(-1). Suppose 0 = -r*d + 29*d. Let u be (-128)/(-350) + (-6)/21. Is u bigger than d?
True
Let l = 10.4 - 41.9. Let d = l - -0.5. Let t = -18 - d. Which is smaller: 1/3 or t?
1/3
Let b = -1724 + 1441. Is b greater than -285?
True
Let n(j) = -j**3 + 9*j**2 + 13*j + 12. Let y(k) = k**3 - k**2 - 2*k + 1. Let g be y(3). Let d be n(g). Let c = d + 29701/60. Which is greater: c or 0?
c
Let n = -35 + 35. Suppose -8*h + a - 32 = -3*h, n = -h - 2*a - 2. Let c be -4*(-3)/h*2. Which is greater: 0 or c?
0
Let m = 1563.8 + -1126. Let h = m + -438. Let d = 0.2 - -1.8. Is h < d?
True
Let v = -59 + 120. Let x(a) = -13*a**2 + 1894*a + 2502. Let c be x(147). Is v at least as big as c?
True
Suppose 3*g + 2*g - 20 = 0. Suppose 0*m + 353 = m + 3*y, g*y = 4*m - 1396. Let c be (-5)/m*-628 + 2/(-5). Which is greater: 9 or c?
9
Suppose 3*t - 5*g + 86 = 0, -3*t + 909*g - 100 = 911*g. Is t greater than -44?
True
Let f = 111 - 99. Let g = 11.897 - f. Which is smaller: 1 or g?
g
Suppose 0 = 9*c - 192 + 75. Let j be 2/5 - c*3/(-15). Let b be (7 - 6) + -20*j. Which is smaller: -58 or b?
b
Let b = 0.7 + -0.9. Let n be 1/((15/3)/55). Suppose 4*y = 3*f - 1 - n, -3*f - 9 = 3*y. Is b at most f?
True
Let f(x) = 2*x**2 - 5*x + 6. Let y = -196 - -198. Let d be f(y). Is -8 >= d?
False
Suppose 900 = 7*j - 12*j. Let g = j - -194. Let k = 47 + -33. Is k < g?
False
Let j be 42048/480*(-113 + -2). Which is bigger: -10072 or j?
-10072
Let h(x) = x**3 - 10*x**2 + 22*x + 11. Let o = 295 + -289. Let k be h(o). Which is smaller: k or 2/35?
k
Let f = 565.076 - -0.924. Let i = f + -571. Which is bigger: i or 0.6?
0.6
Let a(d) = d**3 - 39*d**2 - 41*d + 31. Let s be a(40). Let b(h) = 2*h**3 + 11*h**2 + h + 26. Let i be b(s). Do -551 and i have the same value?
False
Suppose 0*m + 24 = 4*m. Suppose -855 - 131 = -331*u + 1000. Suppose m = t + 3*l - 28, 0 = 3*l + u. Is 39 < t?
True
Let q = -1/704 + 9897/28864. Let i = -36 - -35. Is i <= q?
True
Let t be 8/(-12) + 21/2. Suppose 361*i + 487*i - 9328 = 0. Which is smaller: i or t?
t
Let t = -18997 - -17889. Is -1106 smaller than t?
False
Let f be (16834/94)/(561/(-8364)). Let v = f + 2670. Which is greater: v or 0?
v
Suppose 32268 = 314*v - 311*v - 4*n, 3 = n. Which is smaller: 10761 or v?
v
Let l = -0.2 - -0.4. Let v = -20442 + 81687/4. Does l = v?
False
Let u be (-4)/12 - (-2432)/7368. Let w = -4601/1228 + u. Is w at least as big as -4?
True
Let m = 85 + -42. Let j = -67234 - -67280. Which is smaller: j or m?
m
Suppose -17220 = -22*z + 36*z. Is z <= -1229?
True
Let r be 73/5*225/315 + -11. Let w = -1.9 - 0.1. Which is smaller: r or w?
w
Let b(y) = 63*y - 626. Let j be b(4). Is j > 2?
False
Let j = 1631/12 - 817/6. Is 1811 equal to j?
False
Let t(q) = 2*q**3 - 10*q**2 + 19*q + 13. Let k be t(6). Let b = k - 197. Which is smaller: b or 18?
b
Let y = -12026.5 - -13119. Which is smaller: y or 1?
1
Let k(y) = 8*y**2 - 5*y - 33. Let x be k(11). Let u = x - 23761/27. Which is greater: 0 or u?
0
Let b = 147 + -78. Let t be (-176)/(-968) + -1 + 779/11. Which is smaller: b or t?
b
Suppose 0 = -3*v - 0 - 3. Let a be ((-30495)/925)/(-3) + (-44)/4. Do v and a have different values?
True
Let p = -7.3 + 0.3. Let r = 4 + p. Let h = -10.279 + 0.279. Which is bigger: r or h?
r
Let m = 52721199/424237 + -10/38567. Do m and 124 have the same value?
False
Let k = 86.78 + -86.8. Let g = 75 + -72. Which is smaller: g or k?
k
Let a be (33/(-6))/(3/6)*-5. Let z be (-8)/(-20)*a/22. Is -8/41 at least as big as z?
False
Let y = -8141 - -8392.76. Let i = y + -247. Let s = i - -0.24. Does s = 0.1?
False
Let j = 87 + -41. Let k be ((-74)/(-222))/(2/12). Is k greater than j?
False
Let o(z) = z**3 - 10*z**2 + 5*z + 7. Let v be o(6). Suppose 1334*s - 1331*s = 2*c + 222, -2*s - 202 = 2*c. Are v and c unequal?
True
Let w(p) = -8*p**3 + p**2 - p + 5. Let a be w(3). Let y = a + 203. Is y at most -31?
False
Let l(m) = -m**2 + 32. Let j be l(-20). Let y = -1471/4 - j. Which is smaller: -276 or y?
-276
Suppose -4*j = -22*l + 27*l + 4134, 3*j + 3153 = 5*l. Do -1045 and j have the same value?
False
Let d(p) = p**2 - 2*p. Let m be d(4). Suppose -56 - 38 = -2*l. Suppose 5*o + 7 - l = 0. Is m smaller than o?
False
Let o be (-1232)/10 + 42/35. Let a = 87 + o. Are a and -36 non-equal?
True
Let y(s) = s**3 + 44*s**2 - 245*s + 34. Let b be y(-49). Which is smaller: 0.08 or b?
0.08
Let f be 714/5744 + (-43)/344. Is 1 smaller than f?
False
Let u = -34/165 - -2411/5775. Is u at least 0?
True
Let c = -544622 - -1945389799/3572. Which is smaller: -1 or c?
-1
Let x = 17026 - 73673/4. Let q = 1417 + x. Which is greater: q or -2?
q
Suppose 2382*q + 128583 = 2421*q. Which is smaller: q or 2?
2
Suppose -b - 3*b = -8. Suppose -b*c = 2*g - 12, -24 = -5*g + g - c. Let z be 105*(-42)/(-225)*2/7. Which is greater: z or g?
g
Let s = -5408/825 - -182/33. Is -2 >= s?
False
Suppose 900 = 48*m - 204. Let k = -0.1 + 0. Does m = k?
False
Suppose a - k = 149 - 147, -4*k = 4*a + 16. Which is bigger: -5/113