 -j*p + 59. Is p bigger than 14?
True
Let a = -14.221 - -14.04. Which is smaller: 1 or a?
a
Suppose -3 = 5*p + f, 12 = -31*p + 34*p - 4*f. Is 2/7629 equal to p?
False
Suppose 0 = -11*s - 1699 + 533. Is -94 <= s?
False
Let k = 56 - 14. Suppose -58*c = 875 - 3311. Is c < k?
False
Let s(b) = -16*b**3 - 4*b**2 - 4*b + 2. Let o be s(-2). Suppose 7*m - o = -31. Let i be ((0 - -14) + 0)/1. Is i smaller than m?
False
Let d(l) = 43*l**2 + 21*l + 36. Let h = 609 + -611. Let c be d(h). Is c > 164?
True
Suppose 5*i + 0*k + 2*k - 11 = 0, 3 = -3*i + 2*k. Let c = 102/11 + -2539/275. Let g = -51/650 + c. Are g and i nonequal?
True
Let c be (-14 - 27243/99) + 4/22. Is -290 != c?
True
Let o = -20.3 - 462.5. Let r = o - -483. Does r = -1.2?
False
Let d(u) = -u**2 - 2*u + 1. Let q be d(0). Let o be 1/(-2)*0/q. Let x(z) = -2*z**3 - z + 1. Let r be x(-2). Is r greater than or equal to o?
True
Suppose 41*x - 37*x = 2*g - 12, -36 = g + 5*x. Suppose -2*z + 75 = -s, 4*z = 5*s + 35 + 118. Is g at least as big as z?
False
Let x be ((-350)/12)/((-1)/3). Is 89 not equal to x?
True
Let j = -434 + 648. Let t = j + -237. Is -220/9 equal to t?
False
Let m = -7470.53 - -7472. Are -4/3 and m equal?
False
Let y be 2/(-4)*((-2)/51)/(23/(-276)). Is y > 8?
False
Let j = -7713.96 + 7980. Let t = j + -266. Which is smaller: -0.3 or t?
-0.3
Let j = 20.4 + -0.4. Let s = -19.32 + j. Let p(w) = -78*w - 468. Let a be p(-6). Which is bigger: a or s?
s
Let z(i) = -9*i - i - 66 - 3*i. Let f be z(-15). Which is greater: f or 128?
f
Suppose 3*m - 73 = 4*a, 0*m + 2*a - 67 = -3*m. Let p = m + -22. Which is bigger: 2/31 or p?
p
Let c = -160.186 + 162.186. Let r = -17849/51 - -350. Is r at most c?
True
Let i(p) = -p**3 - 3*p**2 - 3*p + 2. Let w be i(-3). Let b = -2444 - -1653. Let y = b + 802. Is y > w?
False
Suppose -5*o - 58 - 28 = -x, 0 = 3*x + 5*o - 238. Let g = 3925 - 3844. Is x equal to g?
True
Suppose -2*y + 1029 = 4*n - 17, -5*y = -4*n + 1095. Which is smaller: n or -0.2?
-0.2
Let a = 2138 - 2137. Let o = -37/6 + 94/15. Which is smaller: o or a?
o
Let r = 1.2227 + -0.2227. Which is smaller: 2353 or r?
r
Let w = 5 - 5.16. Let h(i) = -i**3 - 9*i**2 + 5*i + 12. Let l be h(-8). Let v = 277/3 + l. Which is greater: v or w?
v
Let h(l) = l**2 + 26*l - 78. Let y be h(-29). Which is greater: y or -26?
y
Suppose 9*p - 20*p = -23 - 21. Let j = 12 + -2. Suppose -j = -i - k, 4*k + 5 = 5*k. Which is smaller: p or i?
p
Let l = 1390 - 1388. Is l at least 228?
False
Let o be 1 + (-9)/27*9. Let i be o/(-10)*(8 + -13). Which is smaller: i or -18/67?
i
Let h(c) = c**3 - 11*c**2 + c - 8. Let w be (-185)/(-15) + 4*(-2)/6. Let i be h(w). Let f(o) = o**2 - 5*o - 5. Let y be f(i). Which is greater: y or -14?
y
Suppose -5*k = 3*l + 2925 - 210, 2*l + 1820 = -5*k. Is -895 at least l?
True
Let o = -3 - 0. Let t(d) be the second derivative of -d**5/20 - d**4/4 + d**3/6 - 3*d**2/2 - d - 1072. Let i be t(o). Which is greater: i or -50/9?
-50/9
Let s = 16764 - 16661. Is s greater than -1/5?
True
Let c be (121/(-2255) + 49/245)/(3*23). Let i(u) = -u**3 - 8*u**2 + u + 8. Let z be i(-8). Is z greater than c?
False
Suppose -16*z = -40*z + 3395 - 12515. Suppose 1524 = -5*u + u. Which is smaller: z or u?
u
Let b(o) be the third derivative of 2*o**4/3 - 8*o**3/3 + 12*o**2. Let k be b(2). Is k < 2/9?
False
Suppose -53*d = -54*d + 3*y - 3000, 0 = -2*y + 8. Is d smaller than -2986?
True
Let j = 390157/123 - 9512/3. Is 0 equal to j?
False
Suppose -26*h + 13*h = 1638. Let t = 125 + h. Are -2/141 and t equal?
False
Let l = 15858.55 + -15855. Is l greater than or equal to 21?
False
Let n = -4629 - -3174. Let o be n/42 + -6 + (-301)/(-49). Is o bigger than -35?
True
Let n be 0/(1 + (-3)/1). Suppose n = -132*i + 128*i - 92. Suppose j = -3*q - 14, -4*j + q - 95 = -0*j. Are j and i unequal?
False
Let f(n) = -n**3 - 18*n**2 - 16*n + 20. Let h be f(-17). Let g = h - -42. Which is bigger: g or 46?
46
Let v(w) = w. Let d(m) = -2*m + 1. Let x(u) = 4*d(u) + 3*v(u). Let c be x(4). Let b = -1293 - -1278. Which is smaller: c or b?
c
Let m(r) = r**2 + 31*r - 58. Let t(a) = -a**2 - 21*a + 39. Let n(v) = 5*m(v) + 7*t(v). Let z be n(10). Is z < -137?
False
Let f(x) = -x**3 + 14*x**2 - 13*x - 1. Let c be f(4). Suppose -2*n - 145 = 123. Let b = n + 242. Is c > b?
False
Let g = -6319 + 6318. Which is greater: 2/11035 or g?
2/11035
Suppose 22 - 15 = 5*c - 253. Let a = 1994871/38660 + -3/7732. Which is greater: c or a?
c
Suppose 0 = -518*j - 129 + 129. Is j less than -6/1303?
False
Let z = 8.752 + -9.122. Is z at least as big as 21?
False
Let l = -29 + 33. Suppose 3*s = 5*d - 105, -5*d = -0*d + l*s - 105. Let y = 0.42 - 0.32. Which is greater: d or y?
d
Let d(r) = r**3 - 10*r**2 - 10*r - 16. Let h be d(11). Let y = h - -11. Suppose 24 = -y*j + 3*j. Which is bigger: j or -6?
-6
Suppose 0 = -9*c + 865 + 800. Suppose -3*v + 182 = -o - 2*v, o + c = 4*v. Which is greater: -180 or o?
-180
Let j(l) = -l + 6. Let g be j(5). Let w be 7/(105/36)*(-50)/20. Let z be (-20)/176*w/5. Is g > z?
True
Let m be 25/105 + (-1)/6. Let b = -192 + 182. Let l be (-1 - -1)*5/b - 1. Does l = m?
False
Suppose -2*x - 35*x = 370. Suppose 5*k = 2*t - 19, -3*k = -4*t - 0*t + 3. Is x less than k?
True
Let v = 12925 - 12921.321. Which is smaller: 0 or v?
0
Let m be 37/(-6) - (-294)/63. Which is smaller: 1/104 or m?
m
Let c(d) = 10*d - 4. Let y be c(-10). Let n = -71 - y. Let p be ((-408)/306)/((((-10)/24)/5)/2). Is p less than or equal to n?
True
Let j(r) = 276*r - 2485. Let y be j(9). Which is greater: 9/79 or y?
9/79
Let l = -53 + 56. Let a be l - (-4 - -6 - 1). Is 83 >= a?
True
Let z = 3757.63 - 3758. Does z = -38?
False
Suppose -v + 2 = 1. Suppose -6*d + 9*d = -a + 36, -2*a - 2*d + 64 = 0. Let i be a/3012*12/15. Are i and v equal?
False
Let v be (-3 - 1) + 0 + 3. Let y be ((-38)/(-38))/(v/(-105)). Is 105 greater than or equal to y?
True
Let z(o) = -o**2 + 12*o - 18. Let f be z(10). Suppose 4*n - 4 = f*b, 3*n - 1 = -5*b + 2. Suppose 0 = -4*s + 5*s - n. Do s and -8 have the same value?
False
Let i be (-1)/5 + (-28)/(-210)*-6. Let l = -1 + 0. Let n = l - 1. Do n and i have different values?
True
Let g = 50134 + -1118188739/22304. Which is greater: g or -1?
g
Let h be (13/(234/(-24)))/(4/(-6)). Suppose -1 = -l, -2*l = -h*x - x - 59. Let q(n) = -n - 25. Let a be q(x). Which is smaller: a or -8?
-8
Let u(o) = o**3 + 8*o**2 + 14*o + 8. Let j be u(-6). Let a(w) = w**3 + 9*w**2 + 18*w + 1. Let s be a(j). Is 3 smaller than s?
True
Let j(i) = 36*i**3 + 7*i**2 + 15*i - 31. Let r be j(7). Let t be r/(-30) + (-21)/(-6). Which is smaller: t or -423?
-423
Let a(s) = -147 - 15 - 3*s + 53. Let d be a(-20). Is -50 > d?
False
Let k = 26/5 + -22/5. Suppose 4 = -2*b, r - 2*b - 6 = -b. Suppose 0 = -r*i + 8*i. Is i < k?
True
Let g(w) = 703*w**2 - 353*w**2 + 13*w**3 + 5 - 355*w**2 - w. Let v be g(3). Is v != 307?
True
Let f = 1477 + -1415. Which is smaller: f or 37?
37
Suppose -4*a - 812 = 360. Let f = a - -2055/7. Let d = -228 + 228.2. Which is bigger: f or d?
f
Let u = -1 - -52. Let p be 76 + -18 + -28 + 27. Which is smaller: p or u?
u
Let g be -7 + (-8 - -8) + 13/((-5382)/(-2943)). Is -3 less than g?
True
Let w = 14290 - 14289.9. Which is bigger: -2114.2 or w?
w
Suppose 18*g - 68150 = -13*g - 27*g. Which is bigger: 1173 or g?
g
Let s(f) = 5*f**2 + 41*f + 310. Let i be s(-8). Which is smaller: i or 303?
i
Let m be (-58)/8 + (-2)/(-8). Let g be -90*2/(-282)*m. Let c = g - -63536/14241. Is 0 greater than or equal to c?
True
Let n = 110 + -2423/22. Suppose 4*t + 1825 = 2*i - 797, -t + i - 658 = 0. Let q = 652 + t. Which is greater: n or q?
n
Let f be (-231)/49 + 5 + 10/14. Which is smaller: 3/566 or f?
3/566
Let p be (-6)/(-16) + 226374/(-611088). Are p and -1/19 nonequal?
True
Suppose -7*m + 2023 = -0*m. Suppose 55 = 18*l + m. Which is bigger: -6 or l?
-6
Let f = -1988 - -1986. Is 0.113 >= f?
True
Let w = -49.03 + 4.63. Let q = 29.7 + w. Let u = -14.6 - q. Which is smaller: 13/6 or u?
u
Let d = -628391 - -343729997/547. Which is smaller: -1 or d?
-1
Suppose 0 = d - 5*d + v + 303, -129 = -2*d + 5*v. Let n = d - 65. Is n at most 10?
False
Let i(d) = -d**3 - 5*d**2 - 5*d - 3. Let f be i(-4). Let x be (1 + -2)/((-975)/(-10) - -71). Is x greater than or equal to f?
False
Let j = 359 - 755. Let x = j + 397. Which