 - 1403. Is p less than or equal to -60?
True
Suppose 16*w - 10*w = 0. Suppose -96*i + 99*i + 18 = w. Let q be (-4)/(-12) + 56/i. Which is greater: q or -8?
-8
Let x = -1393/2 - -713. Suppose 19 - 14 = -j, s = j + 23. Which is bigger: s or x?
s
Let b be (-2)/((-392)/35 + 11). Let v(x) = -302*x**3 - x - 1. Let j be v(-1). Let i be 12/60 - j/b. Which is smaller: -31 or i?
-31
Let g(m) = -126*m - 1159. Let c be g(-9). Let q = 1 - 26. Is c smaller than q?
False
Let n = -0.5 + 0.85. Let s = -4.91 + 0.56. Let l = n + s. Are l and 2/5 unequal?
True
Suppose h + 76 = -154. Let i = h + 231. Which is bigger: i or 4/33?
i
Let f = -1/413 + -2886/2065. Let w be 1/6 + 2/24*-2. Let k be (0 - w)/(2*12/(-8)). Is k <= f?
False
Suppose -61*l + 59*l = -105*l + 4532. Which is smaller: -57 or l?
-57
Suppose -5*i - 96 = -4*o + 540, 0 = -3*i + 5*o - 366. Which is smaller: i or -2?
i
Let l = 180.34 - 195.011. Let g = l - 0.329. Do 9 and g have the same value?
False
Suppose 2*q + 8 = s, 4 - 16 = 3*q + s. Let w(h) = -h**3 - 7*h**2 - 9*h. Let m be w(q). Let t be m/8*(-16)/6. Is t <= 2?
False
Let p = -13/5 + 29/15. Let f = -15.93 - 17.55. Let u = -0.48 - f. Which is smaller: u or p?
p
Let y = 707/18 - 10393/90. Is y equal to 2/9?
False
Let k be 2/1 + (21 - 22) + -4. Let p be 15/(15/k) + 59. Suppose 124 - p = 4*n. Which is smaller: n or 18?
n
Suppose 16 = 4*o + 3*j - 5*j, 3*j + 14 = 4*o. Suppose 701 = 2*s - 3*x, -7*x - 1766 = -5*s - 4*x. Suppose 0 = 34*d - s + 117. Which is greater: d or o?
d
Let d = -439 + 441.006. Let j = -0.006 + d. Let u = 16 - 10. Is u at most j?
False
Let k be 7/((-56)/(-8)) - (-4 + 1). Let l = 32 + -11. Suppose 5*w - 5*d = 5, -3*w + l = 4*d - 3. Are k and w non-equal?
False
Suppose 10*q - 97 + 197 = 0. Let j(s) = s**2 + 14*s + 40. Let m be j(q). Is m smaller than -18?
False
Let r be 361/((3/(-20))/((-93)/(-124))). Which is bigger: r or -1808?
r
Let a = -3204012733/22058 - -145254. Is a greater than or equal to 1?
False
Let w be (2692432/242792 - 11) + (-4)/44. Which is smaller: -1 or w?
-1
Let z = 31.05 - -0.95. Let a = z - -34. Let t = -56 + a. Do 2 and t have the same value?
False
Let o be 5/30 - (-9 + (-615)/(-18)). Is o equal to -53?
False
Let u(l) = 205 + 211 - 418 - 153*l. Let y be u(3). Which is greater: y or -460?
-460
Let u = -24865 - -24905. Suppose 0*q + 2*q = x - 34, -3*x + 130 = q. Which is bigger: u or x?
x
Let m be (-1 - -1) + (-4 - -6). Let g be (6/(-8))/(-3)*(-396)/(-77). Which is bigger: g or m?
m
Let j be (1/(-3))/((-5)/(-3)). Let k = -8/15 - j. Let p = -47622 + 47635. Is p > k?
True
Suppose -219 = -4*y + 5*b, -264 = -4*y - 6*b + 2*b. Let z = y + -64. Suppose 4*w + 4*j = 32, j - 2 = 1. Is z > w?
False
Let b = 947/56 + -165/8. Suppose -7*j + 20 = 48. Does j = b?
False
Suppose 5 = 2*b - 3*o, o + 1 - 3 = -3*b. Let f(z) = z**2 - 24*z - 14. Let h be f(28). Suppose 0 = -22*w + 8*w + h. Is w at least as big as b?
True
Let t be (-6)/14*((-27)/117 + 165/546). Let q be -1*(-1)/(-3)*3. Which is bigger: t or q?
t
Let p(g) = -3*g - 33. Let r be p(-15). Let d be 1647/(-6)*8/r. Which is smaller: -182 or d?
d
Let k = -10570593277/2781 + 3801004. Let q be (12/10)/(206/145) - 1. Let p = q - k. Which is bigger: 0 or p?
p
Suppose 2*h = 6, -7*h = 4*t - 6*h + 1. Let c be t + -1 + -186*(-4)/376. Let r(q) = q**3 + 4*q**2 - q - 5. Let f be r(-4). Are f and c non-equal?
True
Let g = -7833 + 7265. Which is bigger: g or -572?
g
Let j = 191 + -48. Let c = -147 + j. Is c at least -2?
False
Let o = 201 + -135. Let c = -1185 - -1251. Is o bigger than c?
False
Let u = -59677 + 59676. Let q be ((-4)/(-306))/((-2)/24). Which is smaller: u or q?
u
Let z(l) be the first derivative of l**3/3 - 25*l**2/2 - 53*l - 41. Let p be z(27). Is -2/169 at most as big as p?
True
Let b(g) = 3*g**3 + 155*g**2 - 57*g + 363. Let h be b(-52). Is 624 at most h?
False
Suppose i - g - 1159 = 1010, -2*i - 5*g = -4373. Suppose -i = -15*v + 121. Is -1/2 >= v?
False
Suppose 5*o - 5*i = 7*o - 32, 2*o + i = 24. Suppose 3381 = -o*k + 257. Is k equal to -283?
False
Let h be ((-1)/(-9))/((-22)/33 - (-1213 - -1)). Which is greater: 0 or h?
h
Let j = 41263 - 246529/6. Let d = 76613/438 - j. Is -1 <= d?
True
Suppose 0 = 2*y - 4*i + 1 + 21, -6*y = -i. Which is smaller: y or 2/69419?
2/69419
Let b = 7710 - 10409. Does -2696 = b?
False
Suppose -4*a + 10 + 6 = 0. Suppose a*b - 90 - 94 = 0. Do b and 47 have different values?
True
Suppose -377*t + 19981 = -842595. Is t at least 2283?
True
Let p be (-111)/15 - (42 + -49). Let q be 0/2 + (-7)/(-6). Is p bigger than q?
False
Let d(r) = r**3 - 2*r**2 - 88*r + 309. Let k be d(4). Is -556/51 != k?
True
Suppose 0 = -4*p - 5*y - 104, 3*p - y + 3*y + 78 = 0. Let i = 24 + p. Let g be 57/(-9) - i - -2. Which is smaller: g or -3?
-3
Let d = -0.14511 + -2592.85489. Is d <= -1?
True
Let n(p) = -2*p**3 + p**2 + 5*p - 6. Let z be n(-4). Let g = z - 116. Suppose g*w - 3*l = -108, -4*w - 5*l - 286 = -92. Is w at most -52?
False
Let f be 212/(-3)*(-1 - -10 - 278631/2984). Is f at least 5964?
False
Let p be (-3)/(-15) - ((-370)/25 + -6 - -2). Is p smaller than -169?
False
Let n = -14086 - -10580. Does n = -17527/5?
False
Let o be ((-18)/15)/(14/(-35)). Suppose -2*b + 0*b = -r - 15, -o*r - 66 = b. Let s be (0 + 2)/((r/(-24))/(-7)). Is -13 at most as big as s?
False
Let r = -339407 - -161218391/475. Are -1 and r non-equal?
True
Let v = 5031/1028750 + 3/1250. Do v and 1 have different values?
True
Let x = 35 - 32. Let n be (-4)/(-2) + 9*x/(-3). Is n equal to 0?
False
Let x be 4/(-24) + (25602/(-36))/17. Which is smaller: x or -62?
-62
Let f = 7/60 + 2/15. Let a be 280/63*(-92)/10. Let h = 124/3 + a. Which is greater: h or f?
h
Suppose -4*z = -5*z + 638. Let x be ((-99)/z)/(3/(-4)). Let a be (-3)/(-4) - (-15)/(-20). Which is smaller: a or x?
a
Let g(j) = -3*j**3 + 2*j**2 + 8*j + 8. Let s be g(-3). Suppose -73*v + s*v = 40. Are 8 and v nonequal?
True
Let b be ((-66)/8)/11*168/(-1153110). Which is smaller: -1 or b?
-1
Let l = 20 - 23. Let r(u) = -5*u - 8. Let b be r(l). Suppose b*m - 1 = 8*m. Which is greater: m or -1/10?
-1/10
Let s(w) = -w**3 - 5*w**2 - 7*w - 1. Let g be s(-2). Which is smaller: g or 1/549?
1/549
Let p = -8/51 - -590/3111. Suppose 0 = -8*s - 463 + 471. Is p >= s?
False
Let c(w) = -w + 2. Let g be c(2). Let x = -17 + 25. Let m = -13 + x. Which is smaller: g or m?
m
Let q be (1/(10/(-8)))/(((-5555066)/(-110))/(-29)). Is 1 at least q?
True
Suppose 11*u + 18055 + 19004 = 0. Does -3370 = u?
False
Let h be ((-902)/88 + 11)/((-5)/4 + 2). Let c = -1300 - -50710/39. Which is smaller: c or h?
c
Let w = 22.4 - 26. Let y = w + 74.6. Let s = -70 + y. Which is greater: -0.2 or s?
s
Suppose 2 = -2*c + 3*c + 4*l, -3*l + 11 = -4*c. Let p be (c + 24/(-33))*(-85)/1305. Let d = p - 7/33. Do d and 1 have the same value?
False
Let u be 0/(6/((-14)/(-7))). Let x be ((-13)/(-22) + (-6)/66)*u. Which is smaller: 1/1039 or x?
x
Suppose 0 = -2*j + 2, -29*m + 25*m + 4*j + 216 = 0. Is m equal to -8?
False
Let h = 2092 + -2092. Is 3.08 equal to h?
False
Suppose -4*v - 5*u = 135, 9*v - 5*u = 11*v + 75. Do -30 and v have the same value?
True
Let s = -0.358 - -0.458. Let w = -41 - -53. Which is greater: s or w?
w
Suppose -1533 = -5*j - 3*i, -372 = 4*j + 2*i - 1600. Is 303 at least as big as j?
False
Let s = 369 + -134. Suppose -230*g + s*g = 50. Which is smaller: g or 54/5?
g
Suppose 0 = -39*m + 110*m - 26909. Which is greater: 375 or m?
m
Let r = -540/1651 - -28632151/6604. Let a = 4426 - r. Let s = -85 + a. Is s > 7?
False
Suppose 0 = 8*b - 34*b - 26. Let p be (0 + 4 + -5)*4. Let f be p/(-5)*35/14. Is b >= f?
False
Let z(r) = r**2 - 33*r + 277. Let l = 933 - 918. Let u be z(l). Let k be (1 - -2)*(-14)/(-6). Is u < k?
False
Let x = 9 + -6. Let g(v) = 1. Let t(w) = w**3 - 5*w**2 + 5*w - 6. Let a(m) = -4*g(m) - t(m). Let k be a(x). Which is greater: 7 or k?
7
Let w be -9*(-3)/9 + 2. Suppose w*s - 4 = -b, -s = 3*b + 2*s. Let j be 4 + -2 - (-38 - b). Which is bigger: j or 40?
40
Let w = -93932/5 - -97126613/5170. Let l = -2/47 + w. Let k(r) = r**3 - 15*r**2 + 75*r - 190. Let v be k(9). Are l and v nonequal?
True
Let i = 2.354 + 3.146. Is -185 at least as big as i?
False
Let h be (-16)/4152*(-6)/20. Let c = 1004/120235 - h. Let j be (-3 + 1)/(1 + -3). Is c smaller than j?
True
Let f be 3/(-18)*1