f or 0.05?
f
Suppose -k = 2*j + 46, j + 0*j = -k - 21. Let c = -1918 - -1913. Let f be (j - c)*(-14)/8. Which is greater: f or 34?
f
Suppose 12*i - i = 77. Let b(o) = -15*o + 30. Let q be b(i). Which is smaller: q or -76?
-76
Let h(k) = k**2 - 17*k - 195. Let v be h(-8). Suppose 2*p + 2 = -4*n, 2*p = 4*n + v*p + 3. Which is bigger: n or 1/15?
1/15
Let b = 68 + -65. Suppose -8 = -m - b*m. Suppose 3*s + m*c - 22 = 2*s, c = s - 7. Does s = 12?
True
Let y = -110 + 209. Let w = y - 109. Let a be -6 + 31 + w/(-2). Which is smaller: 0.1 or a?
0.1
Let n be (-87)/180 - (-6)/15. Let q = 12 + -12. Suppose q = 8*k + 15*k. Which is smaller: k or n?
n
Suppose -1 = -3*r - b + 10, -5*r - b + 19 = 0. Suppose r*i = 5*i. Let q = 3.9 + -6. Which is bigger: i or q?
i
Let d(k) = -4*k - 38. Let x be -6 + -2 + 7 + -5. Let o be d(x). Let p be (-2 + (-2)/(-3))*12. Is o less than p?
False
Let g = 68.8 + -34. Let j = -34.9 + g. Which is smaller: 6 or j?
j
Suppose -18*z + 16670 = -12130. Which is smaller: z or 3197/2?
3197/2
Let r = -15 - -13. Let c(w) = -5*w - 8. Let y be c(r). Suppose -5*h = -y*x - h - 56, 5*x - 3*h = -126. Which is bigger: x or -25?
x
Let b be ((-8)/11*-1)/((-2)/(-39)). Let o = 802/55 - b. Which is bigger: o or 2?
2
Let c = -642 + 658. Which is smaller: c or -78?
-78
Suppose 2*c + 18 = 4*f + 16, 3*c - 3 = 3*f. Let n be -6 + f - (-976)/236. Is -1 at most n?
True
Suppose -3*o + 271*o + 0 + 0 = 0. Let x = 357 - 2495/7. Which is bigger: x or o?
x
Suppose -5*h - 1 - 9 = 0. Let a be (h/(-8))/(68/3336). Let g = 30/17 - a. Is g greater than -12?
True
Let s be (-2 - 315/33) + 102/187. Let b be (-1 - -9) + (s - -435). Is 431 > b?
False
Let q = -1906513/5 + 384467. Let o = 3152 - q. Which is smaller: -11 or o?
o
Let j be -21 + -2 + 2 + 0. Suppose 4*f = 3*h + 252, f - 10*h - 63 = -15*h. Suppose 281*s - f = 284*s. Is s < j?
False
Let y(q) = q**2 - 2*q - 7. Let a be y(-6). Let d = -47 + a. Let t be d/(-9)*(4 - (-172)/(-40)). Is t at least -2?
True
Let u(l) = 3*l**3 + 128*l**2 - 45*l - 136. Let i be u(-43). Is -41 less than i?
False
Let h = 4424 - 4416. Is 42 at most h?
False
Let h be (3 + (-224)/70)*5. Is h greater than 3/4501?
False
Let r = -15094 + 17550. Is r equal to 2454?
False
Let u(d) = 25*d - 45. Let i be u(-1). Let n be (-6 - 0) + (-390)/i. Is n < 9?
True
Suppose 13 = -4*z - 3. Let f be (-2)/z*((-2943)/(-591) + -5). Let m = 267/6895 + f. Is m at most 1?
True
Suppose m + c - 2*c = 4, -20 = -5*m + 3*c. Suppose 4*p - 8 = -2*x, 0 = -2*x - 5*p - 1 + 12. Let b be (2/(-12))/(x/6). Is m <= b?
False
Let k(n) = -60*n - 1558. Let b be k(-25). Is -71 <= b?
True
Suppose 79*h = 84*h + 455. Let z = 47 + h. Do z and -45 have the same value?
False
Let f be (31878/28)/(3/28). Let t = f - 138488/13. Which is greater: -26 or t?
-26
Suppose -3*j = 2*j + 5, -3*z = 4*j + 7. Let d = -1487 + 611. Let f = 14888/17 + d. Which is bigger: f or z?
f
Let j = -4/7921 + 4475377/23763. Let g = j + -8995/48. Let d = -4447 + 4449. Are g and d nonequal?
True
Let d = -66.25 + 68. Is d bigger than -2/9?
True
Suppose 2*r = -2*u + 418, -395 = -3*u - 4*r + 227. Which is greater: u or 205?
u
Let w be -1 + -1 + 8 + -4. Suppose 3*b - 7 = w. Let m be -3 + (b - (-3 + 4 + 91)). Is m at most -91?
True
Let x be (-5026)/(-6 + -1) + 6. Suppose 3*c - 429 = -15*g + 12*g, 2*c = -5*g + x. Which is greater: 147 or g?
147
Let s = -9.10355 - -1.10355. Let w = 0.37 + -0.07. Which is greater: w or s?
w
Let w = -4 + 8. Let c = -490 - -3947/8. Which is smaller: c or w?
c
Suppose -53*q = 2284 + 2103 + 59107. Is q greater than -1191?
False
Let o = -0.046 - -0.076. Let y = o - 0.064. Let q = y - 2.466. Which is greater: q or 1?
1
Let w be (-6)/69 - 18560/(-1840). Which is smaller: w or 273/25?
w
Let s(t) = -92*t - 32. Let f be s(6). Let o be (3/(-4))/(51903/f). Which is smaller: 0 or o?
0
Let h = -12 + 9. Let v = 250 - 250. Suppose v = 122*n - 127*n. Is n equal to h?
False
Suppose -244 + 155 = -y. Suppose -10*h - y = 201. Which is smaller: h or -19?
h
Let g = -39 + 38.969. Let o = g + -9.969. Is 1/7 >= o?
True
Suppose 22*q - 13*q + 171 = -0*q. Is -109/6 equal to q?
False
Let v(x) = -x - 12. Let h be v(5). Let z(d) = d**3 + 17*d**2 + 29. Let k be z(h). Which is greater: k or 28?
k
Suppose 274 = 4*p + 4*t - 294, 4*t = 2*p - 272. Let g = p - 143. Which is bigger: -3/14 or g?
-3/14
Suppose 0 = 852*s - 857*s. Let x = -2248/47765 + -2/1165. Which is bigger: s or x?
s
Suppose -189 = 14*n - 1183. Suppose 7*g = n + 76. Which is greater: g or 1/4?
g
Let o(t) = 3*t - 31. Suppose f + 4*f - r + 3201 = 0, 5*f + 5*r = -3195. Let j be (2/4)/((-20)/f). Let w be o(j). Do 18 and w have the same value?
False
Let n(g) = 2*g**3 + 8*g**2 - g - 18. Let b be n(-2). Is -50/113 not equal to b?
True
Let s = 24/1589 + 1493/6356. Let i = -1/417 + -775/24603. Do i and s have the same value?
False
Let c = 7408/3 + -2718. Is -250 smaller than c?
True
Let g(i) = 14*i**2 - 24*i - 99. Let c be g(-5). Suppose -37 - c = -8*y. Which is smaller: y or 50?
50
Let k be (-3 - -51)/2 + -3. Suppose -3*a = k + 15. Let y = a + 12. Is y at least -1/28?
True
Let a = -62.8 + 59. Let y = 2.8 + a. Which is greater: y or 6.3?
6.3
Let g = -32.95 - -32.85. Is 1/10 greater than or equal to g?
True
Suppose -7*b = -12*b - 30. Let c be 16/(19/b + 3). Let s = c + 381/4. Is 0 greater than s?
True
Let u be (240/210)/((8/(48/(-15)))/(-5)). Suppose 2*a + 2*a - 4*k - 32 = 0, -3*k + 48 = 5*a. Let j be (-2)/6 - (-21)/a. Is u at least as big as j?
True
Let z = 26 - 15. Let j = z + -12. Let m be 9/(-177)*(1 + 11/(-9)). Which is greater: j or m?
m
Let d be -880*(4/(-70))/(12/(-10)). Let u = d - -228/7. Suppose 18 = 3*x + 48. Which is bigger: u or x?
u
Let o = -1744.94 - -1744.84. Let s be ((-5)/(-2) - 2)*-370. Which is bigger: s or o?
o
Let o(m) = -4*m**3 - 8*m**2 - 9*m - 3. Let q be o(-2). Let t(k) = 2*k**2 + 3*k + 2. Let g be t(-4). Let i = q - g. Which is bigger: i or -8?
i
Suppose 5*y - 4*w = 24, -5*w + 3 = 2*y - 0*y. Let r(v) = v**2 - 29*v + 60. Let n be r(27). Suppose 0 = y*i - 4, -1 = -5*g + n*i - 2*i. Is g <= -5/11?
False
Let u be -1 + (-2 - 18)/5. Let m be -35*u/(-35)*7. Which is greater: -28 or m?
-28
Let n(l) be the third derivative of l**4/8 + 7*l**3/3 - 22*l**2. Let k be n(-6). Let y be (k + 3)/(3/54*2). Which is smaller: -33/4 or y?
y
Let h = 9.1 - -127.9. Let g = 137.5 - h. Which is greater: g or -1.4?
g
Let r = -27090 - -27092. Is r greater than or equal to 92/129?
True
Suppose 4*a + 5*p + 12 = 0, 5*a + 15 = -0*p + 2*p. Let r be a/(-2) + 5/(-10). Let s be r + 16/(-14) - (-29)/7. Which is bigger: s or 13/4?
s
Let y be (-6)/(-10) - (2070/2200)/(-23)*2412. Is y <= -2?
False
Let i(s) = -s**3 + s**2 - s + 5. Let a be i(0). Suppose 2*f - a*d + 23 = -1, -4*d = 4*f + 104. Let m be f*(-1)/6*3. Which is smaller: m or 14?
m
Let s(z) be the third derivative of -z**4/4 + z**3/2 + 17*z**2. Let v be s(-3). Let i = v + -61/3. Which is smaller: i or -7?
-7
Let d = 516 - 525.1. Let y = -6.7 - d. Are y and 5 unequal?
True
Let b = 11.9 + -11.176. Let p = 2.124 - b. Is 2/9 less than p?
True
Suppose 3*v + 28920 = -5*z + 3782, 0 = -v + 2*z - 8350. Is v less than or equal to -1/4?
True
Suppose 2*q + 14 = 9*q. Suppose q*m - 96 = 8*m. Let r be (m/(-6) + -2)/(4/(-6)). Which is bigger: r or -1/6?
-1/6
Let q(w) = -279*w - 598. Let x be q(-2). Let y = 9 - 5. Suppose y*l + 156 = -0*l. Are l and x nonequal?
True
Let o = -168/991 + 106295/667934. Which is smaller: 1 or o?
o
Suppose -3*k + s + 1248 = -k, 0 = -4*k + s + 2494. Let p = 625 - k. Is p > 4?
False
Suppose -2*p = -3*u + 6, -15 = 5*u + 4*p + p. Suppose -o + 4*m - 912 = 0, u = 2*o + o - 2*m + 2686. Let k be o/(-180) + -2 + -3. Which is smaller: 1 or k?
k
Let w be 554 + -555 + 0/(-2). Is w > 4/3969?
False
Let s = -352 - -349. Let i be s/(-18)*3 - (-75)/6. Let k be (-3)/(-12) + 55/4. Do i and k have the same value?
False
Let y(b) = b**3 - 26*b**2 - 44. Let p be y(25). Let t = p - -6031/9. Suppose l + 2*l - 3 = 0. Is t less than l?
False
Suppose 4*j = 6*j - 16. Let g be 3/12*j/(-111). Let p = g + -35/111. Which is smaller: p or -1.8?
-1.8
Let c = -4923 - -1904. Is c bigger than -3019?
False
Suppose -951 = -5*x + 3*k, -2*x + 372 = -4*k - 0*k. Suppose -24*c = -12*c + x. Is c equal to -16?
True
Let u = 59 + -56. Suppose u*q - 4*q = -1. Let g be 9/10 - q