2 - 21*s - 3. Let z be k(g). Is 3/7 greater than or equal to z?
False
Let c = 4476 + -3635. Which is smaller: 5881/7 or c?
5881/7
Let f(y) = 25*y - 53. Let g be f(0). Let p = 0.25 - 0.15. Is p equal to g?
False
Let o = -1309 + 1309. Is o bigger than -18/175?
True
Let t = -124.2 - -123.2. Is 3348 greater than t?
True
Let v be 676/14 - 2/7. Suppose 0 = -3*r + 3*n + v, -5*r - 5 = 5*n - 45. Let b = r + -12. Which is smaller: b or -18/5?
-18/5
Let f = 2286 - 2622. Which is smaller: 0.1 or f?
f
Let s(w) = -19*w**2 - w - 1. Let q be s(-2). Let n = q - -1. Is -76 less than or equal to n?
True
Let l = 8 + -23. Let a = 13.6 + l. Let q = 1.5 + a. Which is smaller: q or 1/20?
1/20
Suppose 2*x = -3*o + 22, 4*o + x - 24 - 12 = 0. Which is greater: 13 or o?
13
Suppose 32689 - 12721 = -136*d - 8048. Which is smaller: -210 or d?
-210
Let y(p) = 2*p**3 + 3*p**2 - 7*p - 8. Let c be y(-3). Let r be (0 - -12)/(c/28). Is r at least -26?
True
Suppose -21*f = -24*f + 2*w + 689, -2*f = 3*w - 481. Which is bigger: f or 700/3?
700/3
Let h(o) = 2*o**2 + 23*o + 15. Let t be h(-11). Suppose t*p + 3*x + 8 = x, -p = -5*x + 13. Let a be (-52)/12*(-72)/(-80). Which is smaller: a or p?
a
Suppose -3*f = -c + 180 - 720, 2*f = -4*c - 2160. Are -525 and c nonequal?
True
Suppose -3*j - b + 3 = -5, 2*b - 13 = -3*j. Let m be -7 - -78 - (j - 7). Is 78 less than or equal to m?
False
Let j(g) = g**3 + 25*g**2 + 44*g + 340. Let p be j(-8). Is 1076 at most as big as p?
True
Let a be 0 + -1 - (-7 + 4) - 0. Let b be (((-8)/20)/2)/(a/(-4)). Which is smaller: b or -7/5?
-7/5
Suppose -2*k + 4*l + 582 + 12 = 0, 4*k = 4*l + 1168. Suppose -4*o = k - 279. Suppose -5*x + 7*r - 4*r - 24 = 0, -4*x - 28 = 2*r. Is o at least as big as x?
True
Let i = -6413 - -5451049/850. Which is smaller: -1 or i?
-1
Let j(s) = s**3 - 18*s**2 + 21*s - 62. Let z be j(16). Let y = z + 239. Is 14/17 <= y?
True
Let n be (-1965)/(-524) - (5 - 1). Are n and 52/141 nonequal?
True
Let b = -34/11 + 1120/341. Let s be (11 + -14 + 6 + (-3 - 0))/2. Which is bigger: b or s?
b
Suppose -3*m + 5*k - 2*k - 18 = 0, -3*m = -k + 8. Let v = m + -1. Let o = 299 + -2695/9. Which is smaller: v or o?
v
Let b be (-1)/(2*3/(-30)). Let s = -268.07 + 253.07. Is s > b?
False
Let g(n) = 161*n - 1528. Let k be g(17). Which is greater: k or 1210?
1210
Let u = -525 - -306. Let g be (-2)/((-30)/u) + 6/10. Let l(r) = -2*r - 27. Let f be l(g). Which is smaller: -1/43 or f?
-1/43
Suppose 0 = -4*l + l. Suppose 6*k + 2 = 8. Let s be 6/3 - k - (l - 1). Is -17 greater than s?
False
Let r = 2728 - 2758. Is r > -211/7?
True
Let q(h) = -7*h + 10. Let c be q(1). Let n be (0 + 308/6)*c/2. Is n < 77?
False
Let q be 2/36105*(-605)/1331. Are 1 and q unequal?
True
Let h = 141 - 139. Let y(b) = -7*b + 49. Let m be y(6). Which is smaller: h or m?
h
Let q be ((-3)/(-2) - 1)/(19/6460). Let t = -2208/13 + q. Which is smaller: 9/5 or t?
t
Suppose 5*k = 31*k - 19552. Let p = k + -751. Which is bigger: p or 1/509?
p
Let o be (-12)/(-96) + 58311/136. Let f = o + -429. Let b = -16 + 15. Are f and b equal?
False
Let p = -77 + 80. Suppose -25 = -4*b + h, -p*h = -5*b + 31 + 2. Let c be 0/(-2) + (4 - 2/(-1)). Is c > b?
False
Suppose 5*k - 5*a + 2125 = 0, 868 = -2*k - 54*a + 53*a. Is k at least as big as -422?
False
Let h(a) = a**3 + 2. Let f be h(-2). Let d(i) = 3*i**2 + 5*i - 28. Let n be d(f). Is n bigger than 50?
False
Let q(j) = -3 - 3*j**2 + 14*j + j**3 - 5*j**2 - 2*j. Suppose 5*r = 4*s + 46, 6*r - 5*r - 5*s - 26 = 0. Let d be q(r). Which is bigger: d or -10?
d
Suppose -4*l - 19 = -3*v, -v + 10 = -l - 4*l. Let g = -39348 + 66301378/1685. Which is smaller: l or g?
l
Suppose 0 = 3*b + t - 1680, 23*t = 3*b + 25*t - 1677. Is 562 smaller than b?
False
Suppose -4*r + 401 = -z, 2*r - 7*r + 4*z = -504. Suppose -2*w + 780 = 5*i, w - 2*i - 390 = -4*i. Suppose -10*q - w + r = 0. Which is bigger: q or -28?
-28
Let c = 68 + -32. Let r(w) = w**3 - 18*w**2 - 13*w - 76. Let o be r(19). Is c equal to o?
False
Let c(l) = -l**3 + 46*l**2 + 29*l - 118. Let s be c(41). Which is bigger: s or -1?
s
Let h be (-214 - -220)*8270/(-4). Is -12405 not equal to h?
False
Let p(q) = -39*q**3 - q**2 - 65*q - 127. Let c be p(-2). Which is smaller: c or 0?
0
Suppose -3*w - 12 = -3*z - 6*w, -z = 2*w. Let u be z/80*(-12)/2. Let y = -0.2 + 1.2. Is u > y?
False
Suppose 2*i + 24 - 8 = 0. Let k(n) be the second derivative of -5*n**3/6 + 7*n**2 + 30*n. Let g be k(4). Is g bigger than i?
True
Let w(s) = -3*s**2 - 102*s + 6029. Let a be w(-65). Let t = 6 + -3. Suppose -t*o = -5*z - 85, -5*z + 2*o + 36 = 121. Is a at least z?
True
Suppose 1269 = 27*m - 783. Suppose 5*k = p + m, p = -5*k + 44 - 170. Which is smaller: -102 or p?
-102
Let a = 357.17 - 402.47. Is a greater than -0.15?
False
Let t(j) = -6*j - 19. Let a be t(3). Let y = 34 + a. Let r be -1*8/y*1056/64. Is 43 > r?
False
Let p = 166 - -522. Suppose p - 685 = -3*o. Are 2/47 and o non-equal?
True
Let b = 0.1 + 0.7. Let g = -104 + 29. Let v = -76 - g. Which is smaller: b or v?
v
Let w be 3 + -6 - (-3 - 0). Suppose -4 = -2*o - w. Suppose o*v + 3*k = -3*v + 7, 0 = -v + 4*k - 17. Is 1/16 != v?
True
Suppose 3 = -2*n + 9. Is 4/7 <= n?
True
Suppose 53835 = 1655*s - 1678*s - 74183. Which is smaller: s or -5564?
s
Suppose 0*k - 510 = 3*k. Let u = k + 142. Which is bigger: u or -25?
-25
Let j = 280/213 - 46/71. Is j at most as big as -6.77?
False
Suppose 22*a = 3*d + 19*a - 3507, -4*a = 5*d - 5845. Do 1169 and d have different values?
False
Let t(r) = 57*r + 2515. Let u be t(-37). Are -3/2 and u non-equal?
True
Let r be (-4 + (-3368)/(-848))*16/2868. Which is bigger: 0 or r?
0
Let n = -0.127189 + -124133.872811. Let b = n + 124211.053. Let s = b + -77. Which is greater: s or 1?
1
Let i = 1.3624 + -0.3624. Which is smaller: i or -94?
-94
Let x = -815 + -274. Let l = x + 1032. Is l equal to -58?
False
Suppose -5*a = -3*g + 39 + 18, -3*g - 3 = 0. Suppose -4*w - 61 = -3*d, w - 3*d = -w - 23. Which is bigger: a or w?
a
Suppose 4*x + 6 - 2 = 4*a, -x = 0. Let b be 90/(-4)*(95/(-50))/19. Is a not equal to b?
True
Suppose -7*y = -3*y + 8. Let k = 103 - 83. Suppose -32 = k*z + 28. Which is smaller: z or y?
z
Let j(r) = r**2 - 13*r + 10. Let t be j(10). Let l be 7*((-2)/6 + 1220/420). Let w be 2/t*-6*(-4)/l. Which is smaller: w or 0?
w
Let o = 27499 - 27500. Is 34/601 > o?
True
Suppose 7 - 1 = 2*q. Let k = 622199/6 - 103256. Let i = k + -441. Is i at most as big as q?
True
Let n = 77.5 - 1.5. Let y = -53 + n. Which is smaller: 0 or y?
0
Let b = -329 + 324. Is b > -523?
True
Let n(p) = -p**3 - 17*p**2 - 13*p - 46. Suppose 0 = 12*d + 145 + 47. Let z be n(d). Which is bigger: z or -96?
z
Let a be -1 + -19 - (-3 + 1). Let u = a - -22. Suppose u*t - 6 = -2*q, -3*q = -8 - 1. Which is greater: t or -6/11?
t
Let m = 618.95 + -619. Let k = 0.2 + -0.1. Let u = -1.3 + k. Which is smaller: u or m?
u
Suppose 1380 = -2*y + 2*h, -7*y - 4*h - 3513 = -2*y. Is y less than -3482/5?
True
Let s be -20*4/(-3)*(4 - (-605)/(-176)). Which is smaller: s or 57?
s
Let x = -23 + 188. Suppose 2*k - 3*u - x = 0, 7*u = 3*k + 5*u - 235. Is k >= 0.1?
True
Suppose -38*c + 47937 = 47329. Which is smaller: 431/29 or c?
431/29
Suppose -2*d + 7 = h, -22 = -2*h + 4*h - 5*d. Let o be (3*(h + 0))/((-3)/63). Let p = o + -76. Are p and -37/3 nonequal?
True
Let z(d) = 3*d**2 + 57*d + 36. Let y be z(-19). Suppose 0 = -5*t + 5, 17*k - 4*t = 19*k - y. Which is smaller: 20 or k?
k
Let w = -290 - -292. Do -0.38 and w have the same value?
False
Let n be (-1 - -3)/(3/390*-4). Let x = 3 - n. Which is smaller: x or 66?
66
Let t = -2335/1846 + -44/71. Which is greater: t or -1?
-1
Let s(w) = -w**2 - 6*w - 1. Let i be s(-5). Let y be ((-3)/46)/(2/i). Suppose -195 = -8*u - 385 + 198. Which is bigger: u or y?
u
Suppose 23*v - 131 = 237. Suppose -v*p - 13*p = -34*p. Are p and 2/51 equal?
False
Suppose 0 = -0*z + z + 9. Suppose 87*v = 85*v + 11*f + 39, 20 = -5*v + 4*f. Which is greater: z or v?
v
Let f = 4380 + -3895. Is f > 488?
False
Let m be 34730/42 + 236/2478. Is m > 827?
False
Suppose 2*m - 2446 + 244 = 3*f, 0 = m + 4*f - 1079. Which is bigger: m or 1087?
m
Let c be 16 + 17 + 2128/(-64). Is 14212 bigger than c?
True
Let n be -3 - 1 - (-1 - 8). Suppose o = 4*r + 3*o - 2, n*o - 29 = 2*r. Suppose 15 = 5*p - 2*q - 0*q, -3*p + 4*q = -23. 