or equal to p?
False
Let n = 14524 - 14525. Let t = -11.05 + 0.05. Is n at most as big as t?
False
Suppose -68852 + 52893 = -31*m - 501543. Is m smaller than -15664?
False
Let g(u) = 5*u**2 + 12*u - 3. Let v be g(-3). Let l be 9/54 + 749/v. Is l > 126?
False
Let t be (((-64)/(-200))/(-8))/((-186)/(-285)). Which is greater: t or 1?
1
Let v be 40/(-16) + (-133)/(-14). Let i be 108/126 + 197/v. Is -1 greater than i?
False
Let p = 4371.9058 + -4373. Is p not equal to 1?
True
Let u = 0.3887 - 0.0147. Let b = -0.924 + u. Which is smaller: b or -0.5?
b
Suppose 7*j - 127 = 48. Suppose -j*k + 36*k = 110. Is 10 less than k?
False
Suppose 68*o - 3009 = 72*o + 7*k, 0 = 4*o + k + 3039. Which is smaller: o or -754?
o
Suppose -q + 0*q - 1217 = 2*z, 5*z = q - 3053. Let o = z - -737. Is 127 at least o?
True
Let s = 424 + -280. Let h be (s/(-32))/((-2)/68). Is 153 < h?
False
Let w = -203 + 252. Let x = -21 + 71. Let f = w - x. Which is smaller: f or 8?
f
Let q be (4 + -6)*1 - 1 - 2. Let o be (35/(-130))/(((-20)/(-8))/q). Which is smaller: o or 0.1?
0.1
Suppose 4*n + 8*n - 180 = 0. Let b be (-1)/3*(-10)/(4250/n). Which is smaller: 1 or b?
b
Suppose 4*s - 66 = o + o, -64 = -4*s + 4*o. Let r = 31 - 10. Which is bigger: r or s?
r
Let u(y) = -y**2 + 42*y + 43. Let m be u(19). Is m at most 477?
False
Let y = -1 - -1. Let l = 26 + -71. Let b be 7/(-5)*l/(-81). Is y smaller than b?
False
Let x = -3 - -2. Suppose -8*p + 68 = 9*p. Let i be 2 + p - (-236)/(-39). Is x smaller than i?
True
Let s = 2058 - 736763/358. Which is smaller: 1 or s?
s
Let c = -48 + 21. Let m = -292 + -173. Let j = m - -466. Is c >= j?
False
Suppose 3*n - 4*c = 5, 11*n - 12*n = -4*c + 9. Suppose 0 = b + n*b - 48. Do b and -3 have the same value?
False
Let o be 9/(-6)*1624/42. Suppose 4*y + 223 = v, 3*y - 4*y - v - 62 = 0. Which is greater: y or o?
y
Suppose 32*k + 1462 = -3338. Let b be (5 - k/35) + 2/(-7). Suppose -3 = 5*r - 43. Which is smaller: b or r?
r
Let f = 202.1 + -40.1. Which is greater: 0.6 or f?
f
Let g be -5 + (-13554)/(-16) + (-23)/184. Let x = 619711/736 - g. Which is smaller: -1 or x?
-1
Suppose -38*w - 3 = -33*w + 4*x, -3*x = -5*w + 11. Which is bigger: -1/143 or w?
w
Suppose -n + 3*n - 6 = 0, 5*u + 1795 = 5*n. Let j be -1*u/(-8) - -3*1. Is -43 not equal to j?
True
Suppose 5*k = 70 - 80. Let o(a) = -19*a**2 - 23*a - 3. Let u be o(k). Is u equal to -33?
True
Let j = 8 - 7. Let w = -19/351 - -7/27. Which is bigger: j or w?
j
Let k = -166 - -478. Let x = -312.03 + k. Which is greater: -15 or x?
x
Let c = -38301 - -574822/15. Let z = c + -74/5. Which is smaller: 4 or z?
4
Suppose 4*u + 4*w = 9*w - 1415, 1424 = -4*u - 4*w. Which is smaller: -362 or u?
-362
Let a = -0.956 + -0.084. Let y = a + 0.84. Is y >= 0.1?
False
Let x = -16 + 17. Let l = -1/28946 + 58705/23533098. Which is smaller: x or l?
l
Let d = 441.22 - 444. Let k = d + 2.72. Is -19 less than k?
True
Let q be 41/(861/(-84)) + 12 - (7 - -1). Which is greater: 1/18751 or q?
1/18751
Let z(l) = -106*l + 1378. Let x be z(13). Is x at most -51/460?
False
Let g be ((-6)/(-5))/(38/95). Suppose -g*c + 239 = -4*c - 3*w, -c - 271 = -5*w. Which is smaller: c or -252?
-252
Let x = -361.6 - -34.6. Let l = x + 329. Which is smaller: -0.031 or l?
-0.031
Let n be 7810/(-10) - (-12)/2. Let c = n + 320. Which is bigger: -456 or c?
c
Let d be 7 - ((-126)/(-144)*8 + (-2)/36312). Which is bigger: -1 or d?
d
Suppose -s = -6*s + 3*j - 411, -j + 83 = -s. Let k = s - -86. Suppose 4*y - 2*y - 8 = -2*q, k*y - 2*q - 27 = 0. Is y bigger than 2?
True
Let j be (-15)/(-1 + 4)*-1. Suppose 22 = 5*r + 2*i, i = -j*r - 4*i + 25. Suppose -r*h + h - 192 = 0. Is -63 smaller than h?
False
Let w = 629597/31971913419 - -2/718583. Is w at most as big as 1?
True
Let x(h) = 2*h**2 - 8*h + 15. Let r be x(6). Let t be 13/r + (-16)/3. Let d(j) = j**2 + 10*j - 3. Let q be d(-10). Is t bigger than q?
False
Let p be -11*30/282975*2/94. Which is bigger: p or 1?
1
Let w be -4*2/10*(-2075)/(-83). Is -127/6 greater than w?
False
Let u be 20/15 + 180726/(-585). Is -308 less than or equal to u?
True
Let v = -709 - -177. Which is bigger: -2654/5 or v?
-2654/5
Let p(a) = a**2 + 33*a - 82. Let l be p(-9). Which is smaller: l or -299?
-299
Suppose -29 = -4*r + 11. Suppose 0 = 6*x - r*x + 20. Suppose x*y + y = 108. Which is greater: 19 or y?
19
Suppose -132*t - 10 = -134*t. Suppose -104 = -3*o + 5*s, t*o - 4*s - 156 = -0*o. Is 33 equal to o?
False
Suppose 1826*v + 1115064 = 2030*v. Is 5465 < v?
True
Let z = -30 - 7.8. Let s = -40 - z. Let t = s - -2.9. Is 2/13 > t?
False
Suppose 0 = 39*z - 42288 + 330225. Is -7382 < z?
False
Let s(x) be the first derivative of x**3/3 + 13*x**2/2 + 10*x - 12. Let r be s(-4). Are r and -25 non-equal?
True
Let a = 138 + -127.5. Let w = 10 - a. Do w and -0.2 have the same value?
False
Suppose -4*d = -4*c - 4368, -2*d - 5*c + 847 = -1309. Which is smaller: 1089 or d?
d
Let f = 1948688923/1425 - 1367501. Let w be (-2)/(-4)*(-4)/2. Which is greater: w or f?
f
Suppose 4946 = -10*o + 5*o - 4*d, -4*d = -5*o - 4954. Let k be (2/(-36))/(o/(-135)). Is k bigger than -1?
True
Let n = -0.92046 + -0.09824. Is n smaller than -2/5?
True
Let m be (-3606)/7 - 1/1. Suppose -28840 = 56*c - 0*c. Let k = m - c. Which is greater: 0 or k?
0
Let l = -1421817/11 - -129369. Which is smaller: 112 or l?
112
Let v = 1388.037 + -1387. Let j = v - 0.037. Let d = 1.66 - 1.46. Which is smaller: j or d?
d
Let m = -1861 + 1866. Which is smaller: m or -24?
-24
Let k(f) = 2*f**3 + 8*f**2 - 24*f + 3. Let t be k(-6). Let p be (10/t)/(10/(-50)). Which is smaller: -17 or p?
-17
Let j = -56522/17 + 3323. Is j > -1?
False
Let i be (-31)/93 - (-22)/2. Which is greater: i or 151?
151
Let v = -7156 - -7153. Let j(l) = -l**3 + 7*l**2 + 4*l + 6. Let c be j(6). Which is bigger: c or v?
c
Let b = 0.1188 + 699.8812. Let k = -699.535 + b. Is -1 < k?
True
Let f be 11 + -3 + -1 + 1. Suppose 15*g + g = 80. Suppose f*u - g - 3 = 0. Which is bigger: u or -1?
u
Let l = 6.51 - 7.3. Let r = l - -0.69. Which is greater: r or 44?
44
Let t be (-11)/(-2)*756/189. Is t at least 291/13?
False
Suppose 3*k + 10 = -58*n + 63*n, -5*n = 2*k - 10. Suppose -5*o = -o - 188. Suppose -79 = -n*l - o. Which is bigger: l or 20?
20
Let t(u) = -u**3 + 7*u**2 - 12*u - 1. Let x be t(3). Let q = -3417 + 242611/71. Which is smaller: q or x?
x
Let y = -2083.4 + 1976.97. Let n = y - -106. Let w = n - -0.03. Which is smaller: -2 or w?
-2
Let c(d) = 64*d - 510. Let y be c(8). Is y at least as big as 145/79?
True
Let b(o) = 92*o + 4785. Let y be b(-52). Which is bigger: y or -1/2374?
y
Let b = -2566 + 2568. Which is smaller: b or -0.1026?
-0.1026
Let z(x) = -x**3 - 9*x**2 - 7*x + 6. Let d be z(-8). Let g = -345.55 - -339. Let b = -0.55 - g. Which is smaller: b or d?
d
Let n be 138*(-1)/15*-5. Let h(t) = t**2 - 4*t - 27. Let r be h(8). Suppose 5*z = 15, -2*z - n - r = 3*m. Is -18 smaller than m?
False
Let g = 2934 + -2934.106. Let k = 8.88636 + 0.00764. Let l = g - k. Which is bigger: 0.3 or l?
0.3
Let v = 2796.3 + -3087. Let m = v + 304. Let q = m + -13. Is q greater than 1?
False
Let i be 6*(-16)/(-7552)*-8. Let m(h) = h**3 - 3*h**2 + h - 3. Let r be m(3). Is i < r?
True
Let x(a) = 21*a**2 + 86*a - 40. Let r(z) = 14*z**2 + 57*z - 26. Let l(q) = 8*r(q) - 5*x(q). Let o be l(-4). Is o smaller than -39?
False
Let u(l) = l**3 + 8*l**2 + 11*l + 23. Let c be u(-6). Suppose 9*g - c*g = 760. Which is bigger: g or -39?
g
Let w = -5.805 + 0.105. Let z = w + 3.7. Let x = 22 - z. Is -2/7 <= x?
True
Let n = 145 + -465. Let o be (-118 + 129)/(1/(-29)). Which is smaller: o or n?
n
Suppose -17*u = -52 - 169. Let x be 13/(u/42) - 6. Is 33 < x?
True
Let u be (-95)/(-25) - 4 - 63/(-15). Suppose -5*m - 412 = u*p - 1675, 5*p - 1554 = 2*m. Suppose p = 4*x + v - 5*v, 3*x = -4*v + 199. Does x = -1?
False
Let c(i) be the second derivative of i**5/20 + 11*i**4/12 + i**3 - 10*i**2 - 22*i. Let k be c(-10). Are 10 and k nonequal?
True
Let d(m) = 53*m**3 + m**2 + 15*m + 15. Let b be d(-1). Is -83 greater than or equal to b?
False
Let y be (-25)/(-125) - 214/30. Let a = 1357/120 + y. Let h = -39/8 + a. Does h = 10?
False
Let d = -465 + 530. Suppose -7314 = -d*c + 12*c. Which is smaller: c or 2?
2
Let h(c) = 5*c**3 + 14*c**2 - 33*c - 104. Let p be h(-5). Which is smaller: p o