aller than q?
True
Let d(q) = -q**3 - 5*q**2 + 6*q. Let b be d(-6). Let f be 2 + (-1)/(-1) - b. Let t be (-3 + 2)/((-2)/8). Which is smaller: t or f?
f
Let u(b) = b**2 + 71*b + 1210. Let k be u(-42). Let w = -1 - -3. Which is greater: w or k?
w
Let f be 253/88 + -3 - (1 - 101/136). Which is bigger: f or 0?
0
Let j be 5*178/(-224) - -4. Suppose -3*u = 3*m + 6, -3*m + 20 = -5*u + 34. Is u < j?
False
Let p = 42.83 + -42.73. Which is smaller: -43 or p?
-43
Let q be ((-3)/2)/((-6)/17 - 5586/(-1666)). Does q = 16701?
False
Let j be (-4 - 60/(-18)) + 14/21. Does 26/85 = j?
False
Let l be 4*9/12 + 4. Let j(m) = -m**2 + 12*m - 31. Let z be j(l). Suppose -o + 3*o - z*h = 12, -h = -2*o. Is -36/13 smaller than o?
True
Let y = -38 - -40. Suppose -x = -y*x + 5. Suppose s + 8 = x. Which is smaller: s or -0.2?
s
Let q be (185/2)/5 + 2/(-4). Suppose 0 = 2*j - j + q. Let r be 0 + 0 + (-3)/j - 1. Which is greater: 0.1 or r?
0.1
Suppose 19 = -9*j + 4*j + 2*p, -5*j - 40 = 5*p. Suppose -810 = -5*m + 4220. Suppose m = d + 1008. Which is bigger: d or j?
d
Let g = -559.9161 + 560. Let z = g + 15.9161. Which is smaller: -7 or z?
-7
Let g be (812/21)/((-4)/(-66)). Suppose 0 = -5*i + 3*t + 3193, -3*t = -5*i - 7*t + 3186. Is i at most g?
True
Let s = -3070 + 3069.6. Which is smaller: s or -0.3781?
s
Let r be -4*(267/276 - 1). Let h be (612/21)/4 - (-8)/(-28). Suppose k = h*k. Which is bigger: k or r?
r
Let s = -52 - -158/3. Let b = -52521/20 + 10685/4. Let x = -45 + b. Is s less than or equal to x?
False
Let v(u) = -2*u - 11. Let t(i) = i - 4. Let k(n) = 5*n - 21. Let r(y) = -2*k(y) + 11*t(y). Let p be r(-2). Let h be v(p). Is 0.09 < h?
False
Let z = 4354 + -491997/113. Which is smaller: z or 0?
0
Let g = -8118 + 7992. Let s = -0.08 - 0.12. Is g greater than s?
False
Suppose 4*k - 19 + 7 = -3*l, 2*k = 6. Suppose -12*m - 3 - 9 = l. Let b be (9/(-1404))/((-2)/(-4)). Are b and m unequal?
True
Let c = 2 - 1.92. Let y = -5472.8 + 5472.77. Which is bigger: c or y?
c
Let l be 13 - (-4)/(-6)*6/(-4). Suppose 4*y - 3*b = 128 - 8, 2*y + b - 50 = 0. Which is smaller: l or y?
l
Let i = -3528 + 3422. Which is bigger: i or -105?
-105
Suppose -8*v - 152 - 16 = 0. Let r(i) = -i**2 + i + 48. Let u be r(9). Which is greater: u or v?
v
Let y(q) be the first derivative of q**4/4 - 8*q**3 + 11*q**2 + 18*q + 8. Let h be 1/((-3)/(-414)*6). Let b be y(h). Which is smaller: b or -11/2?
-11/2
Let v = -1087 - -1682. Let h be (3 - v/225) + (-8)/60. Let j be 0/(1 - 0) - -1. Which is greater: j or h?
j
Let d be 8/(-5) - -1 - 2298582/(-2145). Which is bigger: 1069 or d?
d
Let f = 6349 + -6406. Are f and 0.06 non-equal?
True
Let s(h) = -2*h**2 + 28*h + 23. Let d be s(13). Let c = -103 + d. Let r = c - -63. Is r at least 11?
False
Let i(s) = 2*s**2 - 19*s - 16. Let l be i(9). Let x be 1 - -3 - l/(-4). Let z be (3*(-5)/20)/((-4)/(-16)). Which is bigger: z or x?
x
Suppose 0 = 2*g + 5*z - 747, 0 = -g + z + 130 + 247. Let l = g + -1144/3. Which is smaller: l or 0.2?
l
Let r(d) = 2*d**3 + 46*d**2 + 34*d + 29. Let z be r(-22). Let k = 250 - z. Is k smaller than -6/115?
False
Suppose 7*s - 56 = 49. Suppose -3*w + 9 = 0, 3*t + 0*t = -3*w + 27. Are t and s equal?
False
Let r = 1477 - 1476.782. Is 0.4 equal to r?
False
Let r(y) = y**3 + 16*y**2 + 48*y - 28. Let s be r(-16). Is -798 <= s?
True
Let u = 22 - 17. Let o = 488 + -216. Let h = o - 279. Is h > u?
False
Let n = 6733 + -6062. Is n at least as big as 4706/7?
False
Let k = -7776 + 7776.48. Are -0.9 and k non-equal?
True
Let w be (-3)/(-180)*9*44*(-7)/42. Is -186 bigger than w?
False
Let r be (12312/16)/3*4/(-6) + -3. Which is smaller: r or -168?
r
Let l be (-2)/3 + 391/69. Let w(s) = s**2 - 4*s + 1. Let i be w(l). Suppose -1 = -5*x - i. Which is smaller: 1 or x?
x
Let b = -14891 - -14892. Which is smaller: 1/17 or b?
1/17
Suppose -70*g + 5870 = -72*g. Let m = 74666481958/133 + -561405055. Let u = g - m. Which is smaller: 0 or u?
0
Let d = 4.7 + -13. Let f = -6 - -5.7. Let v = f - d. Is v >= 5?
True
Let z = -11 + -8. Let j = -1 - z. Which is bigger: 0 or j?
j
Suppose 2*d - m - 22 = 0, 100*d + 20 = 101*d + 4*m. Let c be 2/(-3) - 35/(-3). Does d = c?
False
Suppose -1287 = -0*o - 9*o. Let d = o + -101. Let t = d + -42. Which is smaller: -1/59 or t?
-1/59
Let b(i) = -2*i - 11. Suppose -32 + 270 = 3*n + 2*a, -5*a + 101 = n. Let c = n + -82. Let f be b(c). Which is smaller: f or 10?
f
Let z be (-4 + (-27)/(-12))*12. Let f be (6/(-7))/((-3)/z). Let x = 3 + f. Is x at least -4?
True
Let s = -15644/30217 + 58/737. Let t be (0 - 0)/(-1 - -3). Is s >= t?
False
Let i(c) = 3*c**2 - 49*c - 35. Let l be i(17). Is 1/1717 at least as big as l?
True
Let g = -6756 + 6756.18. Is g > -111?
True
Let z(y) = -5*y + 13. Let j(s) = 51*s - 129. Let k(l) = 4*j(l) + 42*z(l). Let w be k(5). Let p be 3/(3/3*-14). Is p at least as big as w?
False
Suppose -69*k + 64*k = 25, -5*u = 4*k + 6785. Is -1355 >= u?
False
Let g = 0.11 - -45.89. Let t = 13 + g. Let a = 17857 + -17857. Do t and a have the same value?
False
Let m(b) = -83*b + 415. Let i be m(5). Does 44/221 = i?
False
Let a = 899 + -895. Let v be (-18)/60*(-76)/6. Which is greater: a or v?
a
Let d = -82.415 - -1.715. Let f = d - -15.7. Let z = f - -65.1. Which is greater: 10 or z?
10
Let q be ((-42)/(-18))/(31 + -24 + 22/(-3)). Which is smaller: -245/34 or q?
-245/34
Let z = -11580 + 11626. Is 136/3 < z?
True
Let r = -2532 - -12661/5. Which is smaller: -7/2 or r?
-7/2
Let b(d) = 40*d + 841. Let u be b(-21). Which is smaller: u or -43/156?
-43/156
Let z be 2 - (-2)/(-1 - 1). Suppose -j - 4*w = -11, 0 = -j - 2*j - 4*w - 7. Let c be z*j/4*136/51. Is -6 bigger than c?
False
Let a = -220.87 - 5.13. Let i = a + 224. Is -14 at least as big as i?
False
Let f = -5731/5070 + -1/338. Suppose 0 = 15630*p - 15634*p + 2*v - 12, -5*v = -20. Is f bigger than p?
False
Let r be (24/132)/((-15)/31335). Is -380 >= r?
False
Let l = -0.9 + 1. Let z = l + 7.9. Let r(v) = 458*v + 3207. Let p be r(-7). Which is bigger: p or z?
z
Let l(x) = 1028*x**2 - 222*x - 1. Let z be l(-1). Which is bigger: 1256 or z?
1256
Suppose 8 = -5*n - y, -3*n = -0*y - 4*y + 14. Let a = -8225.6 - -8226. Is a at most as big as n?
False
Let q = 92.67 - 87.07. Let m = -0.5 + -0.5. Does m = q?
False
Let p be (-13)/((-351)/(-108))*((-846)/8 - 2). Which is smaller: p or 426?
426
Let n = 0 + 0.1. Let j = -200.51 - -2.51. Let s = j + 198.27. Does s = n?
False
Let k be (43/(-2))/(60/680) - -8. Is -236 < k?
True
Suppose 5*x + 133014 = -101*r + 105*r, 2*x + 99764 = 3*r. Which is bigger: r or 33257?
33257
Suppose -12 = 4*n - 2*c, -653*n = -654*n - 3*c + 4. Is n at least as big as -1614?
True
Let s be 1821/(-1818) + -5*(-1)/5. Let v = 67/202 - s. Is v less than or equal to 14?
True
Let j(g) = -g + 15. Let v be j(20). Let b(l) = -2*l**2 - 4 + l**2 - 6*l - 1. Let a be b(v). Which is smaller: -0.14 or a?
-0.14
Let f(m) = 3*m**2 - 7*m - 2. Let v(l) = -2*l**2 + 8*l + 3. Let q(y) = 3*f(y) + 4*v(y). Let t be q(-6). Let k be t/33*3 - 2/(-11). Which is smaller: k or -0.1?
k
Let n be 5*(-38)/(-10) - (3 - 0). Let f be 15*(-3)/(-9) - n/4. Which is bigger: 62 or f?
62
Let a(d) = 571*d**2 - d + 3 - 2*d**3 - 8 - 564*d**2. Let f be a(3). Is f at most 21/29?
False
Suppose -4*o + 56 + 0 = 0. Let y be 4/o - ((-7652)/(-5908) - 1). Let m = y + 215/422. Is -2/73 <= m?
True
Let x be (8/((-40)/15))/1. Let u = 94/9 + -977/72. Are x and u nonequal?
True
Let n(b) = -123*b**3 + 2*b**2 + 6*b + 4. Let o be n(-1). Suppose 448 - 28 = 3*h. Let p = h - o. Is 8 at most p?
True
Let l(p) = p**2 + 4*p - 21. Let t be l(-7). Suppose 2*b - 8 = -x, 5*b + t*b = 0. Let u(q) = q**2 - 5*q - 24. Let c be u(x). Is c less than or equal to -5/4?
False
Let h(m) = 54 + 6*m + 6*m + 4*m + 2*m. Let v be h(-3). Is v > 1/295?
False
Suppose 0 = -2*l - 41*q + 36*q + 30, l - q + 6 = 0. Let h = 547/28 + -81/4. Are l and h unequal?
True
Let v = 244/15 + 12/5. Which is smaller: -1.1 or v?
-1.1
Let c = 7214 + -11919. Which is smaller: -9409/2 or c?
c
Suppose 3*w = -5*s - 13, -4*s - 9 = 2*w + 3. Which is smaller: -77/17 or s?
s
Let p be -2*(-10 - 3 - -3). Let o = p - 16. Let n be 2/o + 15/(-10). Are -5/3 and n non-equal?
True
Let x be 8/28 + 0 + 0. Let p be (-18)/15 - (46332/480)/(-27). Which is smaller: x or p?
x
Let j = -53 - -56. Let c be 2/15 + 250/150. 