
Suppose 19*b - 20*b + 186 = 0. Suppose -194*s + 48 = -b*s. Is 6 < s?
False
Let t be (12714/91)/((-38)/(-42)). Is t >= 153?
True
Let x be ((-117723)/18 - -15) + -5*2/(-60). Is x at least as big as -6527?
True
Suppose -4*y + 3*o = -o - 144, -5*o - 104 = -3*y. Let d be (-2 + (7 - (1360/15)/16))/(2/3). Which is bigger: d or y?
y
Let f(j) = j**2 + 37*j + 414. Let w be f(-33). Do w and 284 have different values?
True
Let v = -62591 + 65574.05. Let u = v + -2913. Let n = -70 + u. Which is bigger: -5/2 or n?
n
Let l(k) = 1753*k + 4. Let u be l(-3). Do u and -10509/2 have the same value?
False
Suppose -36*n + 18*n = -3960. Let k = n - 1107/5. Is k smaller than -1?
True
Let h = 2.622 - 0.622. Are h and 293 equal?
False
Let u = 12 + -34. Let b be 4 - 3 - u/18. Let z be (48/408)/(2/17). Which is bigger: b or z?
b
Let y = 273.0333 + -0.0333. Let i = y - 181. Is 0 at least i?
False
Let w = 4150 + -4151. Suppose -2*j + 1293 - 217 = 0. Let y = j + -5923/11. Is y greater than or equal to w?
True
Let s(j) = 4*j + 22. Let f be s(-5). Suppose -2*i - 195 = 3*w + f*w, 5*i = -5*w - 525. Let q be ((-4)/(-3))/(i/99). Is q greater than or equal to -1?
False
Let w = 0.74 + 28.26. Let k = -99.4 + 70.1. Let f = k + w. Which is bigger: 12 or f?
12
Let k = -86 + 83. Let x be 12/72 - (k/(-18) + 0). Is 3 at most as big as x?
False
Let u = -32 + 46. Let w be 6*(0 - 21/(-9)). Let a be (-4)/(-4) + -3 + w. Which is bigger: u or a?
u
Let b(c) = 6*c - 32. Let w be b(-15). Let g be 6*(1*w/(-66) + -2). Let i(r) = -2*r**2 + 19*r + 32. Let x be i(11). Which is greater: x or g?
g
Let s be (-11)/(-44)*(2 - 2). Suppose 2*x + x = -54. Let a be 1/108*x/(-12). Is a smaller than s?
False
Let b = 39 + -39.15. Let g = b + 0.104. Let t = g - -7.046. Which is smaller: 3 or t?
3
Let a(k) = 5*k**3 - 6*k**2 - 39*k + 1. Let l be a(11). Let y = l - 544589/99. Which is bigger: 1 or y?
1
Suppose -122 = 5*s + 223. Let l = -1313/19 - s. Is l not equal to -1?
True
Let z(c) = 9*c + 17. Let y be z(-2). Let l be (-7 + 6)/y + 34/(-38). Is l smaller than -0.2?
False
Let z be (-1 - -1) + 2 + -1. Let t(r) = 2*r**2 + 3*r - 31. Let x be t(9). Let v be 6*(-8)/(-36)*3/x. Which is greater: v or z?
z
Let s = -4244 + 4244. Are 637/6 and s non-equal?
True
Let o = 655.18 + -656. Let x = o + -10.18. Which is bigger: x or -9?
-9
Let s(r) = 13*r**2 - 2*r - 1040. Let x be s(0). Which is smaller: -1039 or x?
x
Let z = 10 + -8. Let o = -73.96 + 15.96. Are z and o equal?
False
Let b = 5/57828 + -53017/1281988932. Is 1 less than b?
False
Let o be 6/(-5)*(-7)/(84/40). Suppose -o*r + 530 - 170 = 0. Suppose m - r = -4*m. Which is smaller: 17 or m?
17
Let h = 6637 - 6762. Do 2.3 and h have the same value?
False
Suppose 18*f - 185 = -w + 23*f, -5*w + 865 = 5*f. Suppose 4*l + 116 = -34*u + 30*u, 0 = -5*l + u - w. Are -32 and l non-equal?
True
Suppose -4*c + 5*c - 4*a + 16 = 0, -c = -3*a + 13. Let p be (-3)/(10/(-5)*10/c). Is p < -1?
False
Let u(x) = -8*x - 144. Let z be u(-18). Let s be -1 + -1*2716/(-2708). Which is smaller: s or z?
z
Let n = -1748 + 1747.676. Is -2/7 not equal to n?
True
Suppose 3*g - 131 = 4*w + 278, 4*g - 552 = 4*w. Let i = g + -129. Is -0.07 at least i?
False
Suppose -5*h + z - 20 = 0, -3*h + 4*h + 2*z - 7 = 0. Let s(d) = 2*d**3 + 4*d**2 - d - 1. Let m be s(h). Let p = 6 + m. Is -10 bigger than p?
False
Let g be -6 - -9 - 1629/142. Let l = -17/2 - g. Let j = -227/497 - l. Is j != -0.2?
True
Suppose 4*q = 32 + 4. Suppose -q = 7*n + 33. Let a be ((-225)/n - 2) + 3/6. Is 38 != a?
True
Let p be (-2)/(2 + 4/(-1)). Suppose 7*o - 3*o + 48 = 0. Let v be (-1)/(296/o) - 0. Which is bigger: v or p?
p
Let o be (-345)/(-60) + (3/(-24))/((-5)/(-30)). Which is smaller: 1.1 or o?
1.1
Let k = -991491.049 - -991029. Let v = k + 462. Is v less than 2/5?
True
Let u(l) be the second derivative of -l**5/20 - l**4/12 + l**3/6 - 117*l**2 + 34*l. Let m be u(0). Let c be 2/(-6)*m/(-104). Are 0.2 and c unequal?
True
Let n = 6.829 + -1.119. Let d = 0.71 - n. Which is bigger: d or -0.04?
-0.04
Let s be (4 + 13)*(-3)/3. Let i(r) = -r**2 - 6*r + 2. Let y be i(-6). Let j be ((-120)/25)/(-2) - y. Is s >= j?
False
Let z = -1881 - -1880. Which is bigger: 7/367 or z?
7/367
Suppose 5*d + 4 = j, 0 = j - 5*j - 5*d + 16. Suppose 6*g = -2*g + 128. Suppose g = j*r + 4*z, 0 = r + r + z - 3. Is -1 <= r?
True
Suppose 5*i + 0*h = -h - 55, 0 = 5*i + 4*h + 70. Let d be 22*(-3)/108*i/(-1). Let q = d - -6. Which is smaller: q or 0?
q
Suppose -11 = 4*x - 19. Suppose -p + 7 = -x*z - z, -p + 11 = -5*z. Which is smaller: p or 1/376?
1/376
Let v = -14 - -14.07. Let z = -10.23 - -304.23. Let a = 298 - z. Which is smaller: a or v?
v
Let f(p) = -7*p**3 + 14*p**2 + 2*p + 2. Let w(v) = -20*v**3 + 41*v**2 + 7*v + 7. Let q(i) = 17*f(i) - 6*w(i). Let g be q(9). Which is smaller: g or 1/212?
1/212
Let v = -0.086 - -1.866. Let n = 6.5649 + -6.6649. Is n >= v?
False
Let y be (68 + -63)*3/(-15). Is y < -18/467?
True
Let h = 14.47 - 15.8. Let l = 1.33 + h. Which is smaller: -143 or l?
-143
Let d(l) = l**2 + 15*l - 2. Let w be d(-7). Let h(p) = -8*p**2 + 11*p - 20. Let b be (-60)/(-15)*9/12. Let x be h(b). Is x less than or equal to w?
True
Suppose -5*t = 5*s + 5, t = -t + 2*s + 2. Let d = 3549 - 3547. Suppose 25*r - 26*r - d = t. Which is greater: r or -0.1?
-0.1
Suppose -197*s + 124*s = 34237. Is 3 > s?
True
Let h = -56 + 105. Let c = 9.2 + -60.2. Let d = h + c. Which is bigger: d or 1/4?
1/4
Let d = -38965/14 + 2783. Let o = 61 - 57. Is o bigger than d?
True
Let l be 86 - (-55)/(165/(-36)). Which is greater: 37 or l?
l
Let f = -25773122/21195 + 1216. Is 0 >= f?
True
Let c be (-236)/(-40)*(-15)/2. Let b be (106/(-8))/((-21)/(-69)). Let y = b - c. Is 2 >= y?
True
Suppose 4*k + 262 = -2*o + 8*k, 4*k - 520 = 4*o. Let j be 43/o + (-2)/(-42). Is j < 39?
True
Let f(h) = h + 12. Let d be f(-5). Suppose -24 = -d*z - 3. Suppose -6 = z*i + j - 3, -4 = 4*i + 2*j. Is -16 smaller than i?
True
Suppose -5*k - 5*t = 5, 23*k + 4 = 19*k - t. Let q be -4 + (-239 - (-6 + k)). Is q greater than -235?
False
Suppose 0 = 2*r - 8, -2*v - 238 = 4*r - 6*r. Let p = -221 - v. Is -106 > p?
False
Let q = 256 + -256.176. Let o = q + 0.136. Is 0.08 smaller than o?
False
Suppose -3*r + 3 = 4*k - 6*r, 3*k = -r - 1. Let o be (3 + 444/(-152))/(-4). Is k at most as big as o?
False
Suppose -4*i + 162 = -5*z, -39*z + 33*z - 2*i = 208. Is -197/6 < z?
False
Suppose -2*g = 11*g. Let o be (-1162 + 7)/(-11) + 4. Are o and g non-equal?
True
Let j = 3/47 + 417/94. Let y(i) = -i - 6. Let u be y(-10). Let z = u + 2. Which is greater: z or j?
z
Let k(m) = 6*m**2 - 26*m - 8. Let b be k(5). Let t be (b/(-105))/(76/(-20) + 5). Which is smaller: t or -1?
-1
Let c = 1347.3 - 1346.9. Which is smaller: 1979 or c?
c
Let h be (1 - 18)*-1 + 1 - 0. Suppose -o - 131 = -p, -4*p - h*o + 526 = -20*o. Do p and 131 have the same value?
False
Let z(c) = -c**3 - 10*c**2 + 25*c + 17. Let x(l) = 11*l + 9. Let g be x(-5). Let u = -58 - g. Let m be z(u). Is m less than 8?
True
Let w(t) = t**3 - 24*t**2 + 112*t - 23. Let b be w(6). Which is bigger: 27/22 or b?
27/22
Let u = -27248 - -23873. Are 0.1 and u equal?
False
Let q = -227/119 - -15/7. Let m(d) = -d**2 + 17*d + 7. Let b be m(17). Let o(f) = -f**3 + 6*f**2 + 7*f + 1. Let p be o(b). Which is greater: p or q?
p
Suppose 35 - 7 = 4*i. Let n(w) = w**2 - 5*w - 1. Let m be n(i). Let g(o) = -8*o + 5. Let k be g(-1). Is m at most as big as k?
True
Suppose 12*m + 12 = 8*m. Let c be 11 - (-2)/((-2)/m). Suppose -c = 2*p - 10. Which is smaller: p or -1?
p
Let z be (-4 + -6)*(-2)/4. Suppose -3*a + 32 = 2*i, 0 = 2*i + z*a - 28. Is 53/3 smaller than i?
True
Let p be (-6)/12 + 3523940/1608. Let s = p + -2191. Suppose 0 = -36*m + 52*m + 16. Is m greater than s?
False
Let i = 7/2148 + 10423163/2148. Which is smaller: 4853 or i?
i
Let m be (11/(308/3056))/((-4)/(-14)). Let h = m - 379. Is h smaller than 33/19?
False
Suppose 0 = -4*t - 363 + 491. Let w be (t - 6)*7/(-14). Which is smaller: w or -27/2?
-27/2
Let q = 73/28 - 20/7. Let b = q - -1/20. Let d = -596741 + 596740. Which is greater: d or b?
b
Let i = -0.106 - 32.894. Let r = i + -48. Let w = 81.09 + r. Is w <= -7?
False
Let n = 61.574 - -9.426. Let z = -80.78 + 1.78. Let o = n + z. Which is greater: -0.3 or o?
-0.3
Let t be 54/2403 - (-447191)/1513. Is 