3?
False
Let f = 0.94 + 151.06. Let s = f - 104. Let y = 0.09 - 0.19. Are y and s equal?
False
Let w be -2 + 86 - (8 - 4). Suppose -36 = -5*o - 4*h, 2*o - 10 = o + 2*h. Suppose -6*z - w = -o. Is z < -13?
False
Let l be (-2)/(-3)*3*12/(-1). Let u = -23 - l. Which is smaller: u or -1/140?
-1/140
Let l(z) = -z**2 + 2*z + 3. Let a be l(5). Let r = a + 24. Suppose 4*k + 0*k + r = 0. Is -4 not equal to k?
True
Let x = 439 + -484. Let g be (-5 + 1)/(2/22). Which is greater: x or g?
g
Let c be -4 + (-3)/3*-4. Let v be (-183)/(-15) + c + 3/(-15). Let i = 4 + 8. Does v = i?
True
Let y = -1105 + 1106. Let b be (-5)/25 + (-291)/(-1155). Is b at most as big as y?
True
Suppose -5*a = 2*a + 56. Let n be (-2)/a + 2855/(-140). Which is smaller: n or -20?
n
Suppose 5*f - 2630 = -5*t, 1575 = t + 2*t + 4*f. Let j = -521 + t. Which is smaller: 21 or j?
j
Suppose -4*l - 5*o + 11 = 0, 21 - 33 = -4*o. Let f be (-3 - -2 - l)/1. Is 2/2845 > f?
True
Let a = -10815.1 + 10800. Which is smaller: -2 or a?
a
Let t = 11067.7 + -11068. Which is smaller: -31.13 or t?
-31.13
Let f(v) = v**3 + 11*v**2 + 9*v - 10. Let h be f(-10). Let q(s) = -s**3 + 21*s**2 - 14*s + 1. Let l be q(8). Let a = l - 25232/35. Which is smaller: a or h?
h
Let v = -4 - -3. Let u = -7061 + 98851/14. Is v > u?
False
Let r = -0.7 - -0.69. Let k = -0.06 - r. Let d be 80/20*(-1)/30. Is k equal to d?
False
Let g = -37249/9 - -4139. Is 182/25 at most g?
False
Let y be 0*2/4 + 2*14. Suppose -3*w + 2*l = -w - 18, -4*w + y = -2*l. Let b = w - 12. Is -8 > b?
False
Let p be (-180440)/2077705 - (60/220 + 182/(-506)). Which is greater: -1 or p?
p
Suppose -21 + 272 = 4*n - 3*x, -15 = -5*x. Suppose -2*l = -3*u + n, -6*l - 12 = -3*l. Which is bigger: u or 18?
u
Let f(r) = -r + 7. Let v be f(8). Let m be 56/(-1)*v - -2. Let q(b) = 58*b**2 + 15*b - 16. Let s be q(1). Which is greater: m or s?
m
Suppose -9*v - 10 = v. Let d(h) = -5*h**3 - 1. Let q be d(v). Suppose q*g + 20 = -4. Which is bigger: g or -10?
g
Suppose -3*s = 2*a + 83, 4*a - 76 = s - 277. Let o = -121 - a. Let m be ((-6)/20)/((o/(-20))/3). Is m less than 7.5?
True
Let p = 20252/168521 - 54/431. Let q = p + -764/3519. Is 13 at most q?
False
Let i(n) = 8*n**2 + 31*n - 4. Let m(x) = 7*x**2 + 30*x - 3. Let p(g) = -6*i(g) + 7*m(g). Let y be p(-24). Is 17/6 greater than y?
False
Let r = 2378 + -1146. Let c be (-504)/r*4/(-6). Which is smaller: c or 0.8?
c
Suppose -74 = 4*l + t + 2*t, 3*t - 86 = 4*l. Let d = 47 + 8. Suppose 0 = 3*r - 4*o + d, r - 2*o - 1 + 18 = 0. Is l at least as big as r?
True
Suppose -11 = x - 5*z + 12, 92 = -4*x - 5*z. Let p = x + 13. Are -10 and p equal?
True
Let u be (124/(-93)*12/(-32))/((-2)/(-3756)). Which is bigger: 0 or u?
u
Let n = -5706/20069 - 4/2867. Which is smaller: -2170 or n?
-2170
Suppose 4*o - 3945 = -5*m, -2771 + 404 = -3*m + 4*o. Is 789 at most m?
True
Let d(m) = -m + 380. Suppose 2*v = 80 + 24. Let c be d(v). Is c at least 327?
True
Let t(g) = 2*g**3 + g**2 + 2*g. Let r be t(-2). Let q(z) = -3*z**2 - 47*z + 15. Let o be q(r). Which is smaller: o or -2?
-2
Let b be (-19 - 416/(-20))*7135. Which is smaller: b or 12844?
b
Let x(q) = 20*q**3 + q**2 + 2*q - 1. Let s be x(3). Let g = s + -511. Is g <= 47?
True
Let q = -513554/1572459 + 2/32091. Let x be 2/(-1 - 0 - -3). Is q at least x?
False
Let l = -1887 + 3510. Suppose 1995 = -27*k - l. Is k less than -134?
False
Let k be 1075/215*((-6)/10 + 1). Is -18.67 <= k?
True
Let t = 217849 - 217849.1. Let x = 2847/4 + -24557/28. Let p = 165 + x. Is t not equal to p?
True
Let t = 1756639/2607 + -3296/237. Let j be 55384/84 - 2/6. Let g = t - j. Which is smaller: -2/5 or g?
-2/5
Let m = -30096 + 68077153/2262. Are m and 0 equal?
False
Let w(h) = -6*h - 499. Let i be w(-84). Let z = 1338/203 - 42/29. Which is smaller: z or i?
i
Let z = 1087 + -1537. Let v be 147/(-585)*1 + 60/z. Which is smaller: v or -1?
-1
Let m = -8483 + 8763. Which is greater: 559/2 or m?
m
Let x = 45.49 + -1.89. Let w = x + -47.6. Which is greater: w or 2.3?
2.3
Let a be (-107282)/(-1024233) + 21/((-399)/2). Which is bigger: a or -1?
a
Let x be (4 - 86/10 - -4) + 130422/217170. Do 1 and x have the same value?
False
Let u = -161.59 + 641.89. Is -1 less than u?
True
Let w be (-1)/2*(-8 + -6). Let i(n) = -n**2 - 21*n - 50. Let m be i(-18). Suppose 3*u = -4*l + 15, -5*l - 24 = -4*u - m. Is w at least u?
True
Let l = 3036 + -3151. Is -117 equal to l?
False
Let p be (2/4)/((-125)/(-20) - 6). Suppose -p*y + 21 = 3*u, -5*y = -18*u + 15*u + 21. Suppose -2*m = -3*g - 1, 2*g + 7*m - 3*m = -22. Is u less than g?
False
Let l(b) = b**3 + 9*b**2 - 7*b - 1. Let p be l(-7). Let c = 80 - p. Let g = c - -60. Is -2 greater than or equal to g?
True
Suppose -4*o + 5*o = 0, -3*y + 6 = -3*o. Let u be (-2 + y/(-1))/(-2). Is u at most -0.49?
False
Let n = 10/439 - 441/38632. Which is bigger: n or 1?
1
Let y = -9745.92 + 9746. Which is smaller: y or -7/2?
-7/2
Suppose 0 = -3*j + 3*m - 15, -4*j + 4 = -9*m + 11*m. Are j and 9/926 nonequal?
True
Let r be 223/(-19) - (4 - -68)/(-6). Let b(m) = m - 6. Let c be b(5). Which is smaller: c or r?
c
Let j = 149 + -31. Let r = j - 125. Which is smaller: r or 0?
r
Let l = -6.4 - -6.327. Let f = -0.573 - l. Let n(j) = j**3 - 6*j**2 - 8*j + 1. Let u be n(7). Is u bigger than f?
False
Let f = 91 - 79. Suppose -14*r + f*r = 572. Let b = r - -10009/35. Which is smaller: b or 1?
b
Let x = 1.1 + -1.082. Let h = -24.018 + x. Let z = 8.1 + -8. Is h greater than or equal to z?
False
Suppose 0 = 4*k - 12, 2*k + 132 - 38 = 4*f. Let i be -8 - (-5 + f/(-10)). Let o(c) = c**3 + 4*c**2 - 6*c - 6. Let s be o(-5). Which is smaller: s or i?
s
Let r be 3 + 1 + -3 - -13. Let g be 5/10 + r/(-4) - 167. Let i = g - -3580/21. Is 0 at most i?
True
Let t = 63440/171 + -371. Let y = t + 131/12654. Is y at least -0.1?
True
Suppose 0 = 6*g - 16 - 2. Suppose g*j = 913 - 919. Which is bigger: -16/17 or j?
-16/17
Let q be ((-3)/6 + 483/810)/(531/295). Is -1 < q?
True
Suppose 3*d - 108 = -2*z - d, -5*d + 161 = 3*z. Let b be (-1105)/z + (2 - (-11)/(-4)). Is b smaller than -19?
True
Let q(k) = 1 - 4*k + 7 - 2*k**2 + 31*k. Let y be q(14). Suppose -2*p = -12 + 30. Do p and y have the same value?
False
Let k(t) = -36*t - 3. Let j be k(-6). Let q(y) = 415*y**2 - 4544*y - 18. Let x be q(11). Is x at most j?
True
Let f(t) = -t + 16. Let r be f(4). Let n be (152/12 + -14)/(2/r). Which is smaller: 9 or n?
n
Let f be (-6)/(48/(-44))*-12. Let z = f + 71. Let s(k) = k**2 - 7*k + 9. Let y be s(z). Which is bigger: y or -14/17?
-14/17
Let s(n) be the second derivative of -n**4/4 - 7*n**3/6 - n**2 - 13*n. Let d be s(-2). Let g be 136/(-102) + (-903)/(-9). Is d <= g?
True
Let t = 3649.8 - 3630.8. Which is smaller: -1/133 or t?
-1/133
Suppose -45 = -5*f - 15*t, 14*t - 10*t - 12 = 4*f. Which is greater: f or -1/576?
f
Let q = -391.95913 - 0.04087. Is q equal to -0.02?
False
Suppose -5*k + 3*d = -40, 4*k - 6*k - 3*d - 5 = 0. Suppose 2*t - 90 = k*t + 3*y, -4*y = -4. Is -1 greater than t?
True
Let m = -0.04963 + -0.15037. Which is smaller: -1059 or m?
-1059
Let j = 2907 + -2914. Is 78 > j?
True
Let v = -91 + 95. Let c(x) = -29*x + 33*x - 68 - 5. Let f be c(14). Which is greater: f or v?
v
Let c = -13.7 + 7.7. Let i = 48 + c. Let j = i + -41.9. Which is bigger: -0.43 or j?
j
Let d(s) = -13*s - 96. Let n be d(16). Suppose 2*u = 8, -3*i - 435 - 484 = -u. Is i > n?
False
Suppose 2*n + 11 = -3*y, -n - 5 = 3*y + 2. Let t be (38/4)/(34*n/(-16)). Is 2 bigger than t?
True
Let i = -44 - -170. Suppose -4*s - 117 + 620 = -m, 4*m = -5*s + 634. Is i at most s?
True
Let a(z) = 2*z**2 - 2*z + 3. Suppose -b = -2*n + 6, -b - 20 = 4*b. Let m be a(n). Let x = 13 + -19. Which is bigger: m or x?
m
Let m be (-110)/330 - (-4641)/27. Are 172 and m equal?
False
Let l = -50.064 + 0.064. Let f = -30 - l. Let y = f + -20.1. Which is smaller: y or -1?
-1
Suppose 2*z = -5*a + 48, -226*z + 230*z + 4 = 0. Are -35 and a non-equal?
True
Let j = -6900 + 6849. Which is bigger: j or -28?
-28
Suppose -4*s - 4*q = 908, -8*s - 1809 = -59*q + 60*q. Which is smaller: s or -225?
s
Let v = 1.28 - 0.9. Let d = 0.28 + -0.76. Let j = v + d. Is -1/3 not equal to j?
True
Let g(r) = -r**2 + 10. Let t be g(-3). Let i be 7076/16 - -2 - t/4. Let u = -3541/8 + i. Is u < 2?
True
Let s = 18.32 + -18. Let h = 8086.67