). Which is smaller: 0.3 or p?
0.3
Let f(l) = l**2 - 5*l + 7. Let i be f(5). Let p(b) = -b**3 + 4*b**2 + 17*b - 13. Let w be p(i). Is -41 equal to w?
True
Let w be 2 - -3 - 1/(-1). Let i(f) = -3*f - 6. Let o be i(-4). Suppose -2*v + o = -v. Is v <= w?
True
Let s be 2872/(-40) + 1 + -4. Let h(a) = -4*a**2 - 4*a + 5. Let w be h(-5). Let l = w - s. Which is smaller: l or 1?
l
Let y = 577 - 629. Are y and -48 equal?
False
Let q = -45 - -46. Let p be q/2 + 61/(-2). Is p at most -29?
True
Let g = 4 - 0. Suppose g*d + 5*s = 5*d + 15, 4*d + 4*s - 36 = 0. Suppose 11 - d = 2*b. Is b greater than 1?
True
Let m be (-125)/(-2)*((1 - 3) + 6). Is m <= 251?
True
Let j(p) = -2*p - 21. Let s be j(-10). Let w be 1 - (-1 - 1 - s). Are 2 and w nonequal?
False
Let k be (-12)/(11 - 443)*80/(-26). Which is smaller: 1 or k?
k
Let k(s) = -s**3 - 8*s**2 - 4*s + 20. Let j be k(-7). Which is bigger: -7 or j?
j
Let s = 151 - 152. Does -1/12 = s?
False
Let w be (33/396)/((-3)/(-44)). Are w and 1 equal?
False
Let y(c) be the second derivative of -c**3/2 + 7*c**2 + 15*c. Let f be y(9). Suppose 2*k + 42 = -k. Is f at most k?
False
Let c(q) = -4 - 24*q + 16 + 25*q. Let w(u) = -u**3 + 2*u**2 + 4*u + 5. Let b be w(4). Let i be c(b). Is i greater than or equal to 5/11?
True
Let x = -3609/189205 - -111/479. Let b = -1/79 + x. Is 1 <= b?
False
Suppose 1454 = -3*k + 5*o, -8*o + 5 = -3*o. Let v be 6/10 + k/1155. Let g = 1 + 0. Is g < v?
False
Suppose b - 17 = -4*t, 11 = 3*t - 2*b + b. Suppose -9 = t*f - 137. Is 33 <= f?
False
Let z be (-5)/(-4) - (-8 - (-6300)/48). Which is bigger: -123 or z?
z
Suppose -z + 2*y + 1 = 0, -2*z + y - 1 = -0*z. Which is smaller: z or -1/798?
z
Let r = 11 + -6. Suppose 21 = r*q - m, -q + 4*m = -m - 9. Suppose 2*p - 12 = -f, q*p - 8 = 4. Which is bigger: 7 or f?
7
Suppose -12*n + 38 - 26 = 0. Let f(z) = -292*z. Let c be f(-1). Let o = c + -7883/27. Are o and n equal?
False
Let f = -0.01 + 0.08. Let m = 0.3 - 0.15. Let g = 0.25 - m. Is g smaller than f?
False
Let w = -461 - -692. Are w and 230 nonequal?
True
Let q be (-2*(-1)/(-68))/((-94)/(-24252)). Is 0.1 at most q?
False
Let t = -815 + 2450/3. Is -1 at most as big as t?
True
Let x = -10 + 7. Let i be x - (-5 - (1 - 3)). Suppose i = -o - 5*o. Is o equal to 2/59?
False
Let p(r) = 3*r**3 + 5*r**2 + 0*r**3 - 4*r**3 + r + 0*r - 6. Let o be p(5). Let t = 0 + o. Which is smaller: -3/14 or t?
t
Suppose -19 = 2*m - 23. Let g be (4 - m) + 56/(-27). Is g >= 0?
False
Let d(t) = t**3 + 6*t**2 - 8*t - 4. Let m be d(-7). Suppose 4*y + m*c = 47, -31 + 2 = -3*y - c. Let p be (-2 + -2)*18/(-8). Which is smaller: y or p?
y
Let m(g) = -3*g**2. Let o be m(-1). Suppose 9*u - 4*u - 15 = 0. Suppose 4*h + 24 = -2*n, -u*h - 10 = n + 7. Which is smaller: o or h?
h
Let x(k) = -2*k + 6. Let o be x(6). Let d be (-16)/12*27/o. Let s be (1 - -2) + d + -2. Which is bigger: 5 or s?
s
Suppose 5 = 4*x + 41. Suppose -4*h = -4*c + 8, 6*h + 4*c = 4*h + 26. Suppose -h*g - 15 = 4*k, -5*g - k = 3*k + 33. Do x and g have different values?
False
Let a be (-186)/(9/27 - (-12)/(-9)). Which is smaller: 187 or a?
a
Let h be ((-23)/(-4) + (-2)/(-8))/(-11). Let c = h - -45/22. Which is smaller: c or 1?
1
Suppose 28*v = -164 - 172. Which is bigger: 1/7 or v?
1/7
Let g = -1 + 1.01. Let c = -6.69 - -6.1. Let o = c - g. Is o at most 1?
True
Let x be 5/(-1)*(25/(-10))/(-5). Let c be 2/3 - (-19)/3. Suppose -4*y - 2 = -3*l, c = -5*l - y - 5. Which is smaller: x or l?
x
Suppose 0 = -4*r - 4*t - 12, 6*r = r - 2*t. Suppose -3*i = -3*z + r*i + 49, -3*z + 4*i = -50. Let q be (-2)/12 - (-3)/z. Which is smaller: 9/7 or q?
q
Let z(l) = l**3 + 15*l**2 + 13*l + 6. Let t be z(-14). Let h = -47/2 + t. Which is smaller: h or -3?
h
Let a(h) = h**2 - 2*h - 1. Let g be a(-1). Suppose -2*n + n - 37 = -g*i, -4*n - 1 = -i. Let j be 1 + (-7)/(i/18). Is j > -4?
False
Let g = 256 + -122. Suppose 31 + g = 5*f. Suppose 4*a + 76 = -4*t, -3*a = -5*t - 46 - f. Is -17 less than t?
False
Let c be ((-3)/(-6))/(2/(-160)). Let k(y) = y**3 - 32*y**2 + 29*y + 23. Let i be k(31). Which is greater: i or c?
i
Let r(p) = -2*p + 9. Let n(v) = v - 4. Let l(w) = -5*n(w) - 3*r(w). Let o be l(6). Is o bigger than -6/7?
False
Suppose -2*v = -1 - 1. Let a = v + 12. Let r = -280 + 292. Is r <= a?
True
Suppose -5*y = -5*y - 11*y. Are 1/51 and y equal?
False
Let g be 2 - (3/16)/((-10)/(-120)). Suppose 0 = -r + 6*r. Which is bigger: g or r?
r
Let m = 2.9 + -13.9. Let w = m + 11.3. Let s = w + -6.3. Which is smaller: -1 or s?
s
Let w(f) = -2*f**2 + 3*f + 35. Let u be w(6). Which is bigger: -3 or u?
-3
Let k = 525.1 - 525. Let n be (-3)/12 + (-12)/(-176). Which is bigger: k or n?
k
Let d be (-60)/135 - (0 - -1). Let f = -10 + 9. Is d less than or equal to f?
True
Let k be (-2322)/(-30) - 2/5. Let t be k/213 - 4/12. Which is bigger: 0 or t?
t
Let s be 355384/(-266) - 4/56*4. Let a = s + 1336. Are a and 0 equal?
False
Let d(z) = -z**3 - 11*z**2 - 9*z + 8. Let g be 2 + (-3 - -3) + 2. Suppose -g*c = -c + 30. Let m be d(c). Which is bigger: -3 or m?
m
Let x = 0.284 - 0.354. Which is smaller: x or -0.8?
-0.8
Let x be (119/11 - 2/(-11)) + -2. Suppose 3*h - x = 0, h - 12 - 35 = -2*b. Is b bigger than 22?
False
Let n = -17/543 + 27578/181. Is n less than or equal to 152?
False
Let w = 3400/957 - 118/33. Which is greater: -1 or w?
w
Let a = -0.5 + 18.5. Let h = -1034 + 1058. Let q = h - a. Is q at most as big as 0?
False
Suppose 3 + 22 = 5*b. Suppose -3*n + 20 = 5, -3*n = -b*v - 25. Let j(d) = d**2 - 24*d - 55. Let m be j(26). Is m smaller than v?
True
Let s = -266.3 + 234. Let j = s - -1.3. Let q = j - -32.2. Is -2 at least q?
False
Let l = -0.3 + 0.1. Let y = 27379/5 + -5522. Let t = y + 46. Is l greater than or equal to t?
True
Let c = 6 - 24. Let k be (-330)/(-9)*c/(-15). Is k at most 45?
True
Let o be -2*1 + (-10)/(-3). Suppose -932*s + 3 = -929*s. Are s and o equal?
False
Let m(s) be the third derivative of -1/24*s**4 - 1/60*s**5 + 0*s**3 + 6*s**2 + 0 + 0*s. Let x be m(0). Is 1 > x?
True
Suppose -4*m - 5*z = 277, 3*m + 202 = -5*z + 7*z. Let u be (-162)/8 + m/17. Which is smaller: u or -24?
u
Let s = -499 - -514.08. Let b = -15 + s. Let d = -1.92 - b. Which is smaller: d or -1?
d
Suppose 4*q - 68 = 2*f, -2*q + 7 = -4*f - 33. Suppose 0 = -7*p + 99 + 27. Is q smaller than p?
True
Let y = 4 - 12. Let t = y + 13. Let f = t - 4.7. Is 0.2 not equal to f?
True
Let j = 177 + -157. Let i = -7450 + 1206815/162. Let s = 2/81 + i. Which is bigger: s or j?
j
Suppose -6*w + w = -10. Let u(o) = -o + 3. Let h be u(5). Let i be 1 + h + 0 + -2 + 3. Is w less than or equal to i?
False
Suppose 2*c + 37 + 29 = 0. Let g = c - -127. Is 94 less than or equal to g?
True
Suppose -5*l = 4*w, 0 = w - 0*w. Suppose 0*c + 4*c = l. Which is greater: c or -2/11?
c
Let f(q) = -q**2 + q + 3. Let m be f(0). Let o be -5*((-215)/(-75) + 3/9). Let j be (-3)/(-4) - ((-12)/o)/(-3). Are j and m nonequal?
True
Suppose -8256 = 13*o - 77*o. Is 2 > o?
False
Suppose 18*q = -10 + 82. Let r be 24/27 - (16/6)/q. Which is smaller: 0.16 or r?
0.16
Let s(j) = -j**2 + 22*j - 2. Suppose 12*n - 396 = -6*n. Let h be s(n). Which is greater: h or -5?
h
Let f be (2/4)/((-7)/1). Let w be 17 + -5 + (-6)/(-2). Let z = -16 + w. Which is smaller: f or z?
z
Suppose 6*c - 78 + 6 = 0. Is 36 >= c?
True
Let t(i) = 5*i**2 - 62*i - 3. Let h be t(6). Which is bigger: -197 or h?
h
Let n = -1312 - -1495. Is n >= 185?
False
Let m = 2.32 + -1.62. Which is smaller: 0.06 or m?
0.06
Let m = -74.075 - -73.7. Which is bigger: m or -1?
m
Let v be (10/28)/(40/(-2100)). Suppose 2*o = -3*l - 58, -4*l + 2*o + 3*o - 62 = 0. Which is smaller: v or l?
v
Let p be 0/(16/4 + -1). Suppose i + 5*k + 24 = p, 4 = -2*i - i + 2*k. Let c be 2 + 0*(-3 - i). Which is greater: c or 9/8?
c
Let q = 0.11 + -0.06. Let u = -7.05 + q. Let j = 6 + u. Is 0.3 at least as big as j?
True
Let k = -4 - 3. Let j be ((-12)/21)/(2/k). Let o = -135/4 + 35. Which is smaller: o or j?
o
Let f(s) = s**3 + 18*s**2 + 17. Let n(j) = -j**2 - 6*j + 19. Let r be n(-8). Suppose -r*t - 4*g - 74 = 0, 8 = -t - g + 3*g. Let m be f(t). Is 16 > m?
False
Let r = -3.2 + 2. Let t = 1.8 - r. Let s = 0.5 + 0.5. Which is greater: t or s?
t
Suppose 1 = p - 3. Suppose -u - s + 19 = p*s, 95 = 5*u - 3*s. Which is bigger: 20 or u?
20
Let m = 68 + -24. Let 