3. Let n = o - 52. Which is greater: n or 0?
0
Let r = 67 + 23. Which is smaller: 1 or r?
1
Let p(l) = l**2 + 10*l - 21. Let o = -3 + -8. Let q be p(o). Let i be (-6)/(-5) - q/(-25). Is i at most as big as 1?
True
Let h(g) = 2*g**2 + 11*g + 11. Let b(i) = -i**2 - 6*i - 6. Let s(m) = -11*b(m) - 6*h(m). Let c = -2 - -6. Let p be s(c). Are p and -16 nonequal?
False
Let x = 0.13 - 27.13. Let w = x - -27.1. Is 5 <= w?
False
Let k(y) = y**3 - 10*y**2 - 13*y - 9. Let s be k(8). Is -242 at most as big as s?
True
Let r = 0.092 + -0.004. Let v = -0.012 - r. Is v not equal to 8?
True
Let z = 1.67 - 2.86. Is -0.1 > z?
True
Let y = 1588 + -1588. Which is bigger: -1/614 or y?
y
Let u = -1383 - -1173. Is u not equal to 3?
True
Suppose -13*d - 183 - 194 = 0. Is d less than -111/4?
True
Let j = -583 - -582. Is j bigger than -25?
True
Let y be (-6)/(-10) + (-24)/(-60). Suppose 7 - y = 2*p. Let d be p/(-2) - 21/(-14). Which is smaller: 2/3 or d?
d
Let w(i) = -i + 3. Let t be w(-3). Let m be (1 - t - -2) + (-423)/(-135). Is 0 at least as big as m?
False
Suppose -3*m + 12 = -w, -10 - 10 = -5*m - w. Suppose 3 = -b, 2*d + m*b + 12 = -3*d. Is d > 2/111?
False
Let z(f) = -f**2 - 4*f + 69. Let r be z(7). Do -6 and r have different values?
True
Let m(w) = w - 4. Let b be m(-10). Let x = b - -8. Let c = -5 - x. Is 1/3 at most as big as c?
True
Let s = 0 - 0.08. Let t be (308/(-1617))/(2/(-7)). Is t less than or equal to s?
False
Let c(s) = 4*s + 192. Let w be c(-48). Let m = -1157/21 + 55. Which is smaller: w or m?
m
Suppose -2*v - 62 = 5*u + 32, -32 = 2*u - 2*v. Let h = u + 124/7. Let d = -4 + 4. Which is smaller: d or h?
h
Let d = 146 + -126. Suppose -d*a - 54 = -23*a. Does a = 16?
False
Suppose r = 2*g - 5, 3*r = 4*g + 7*r - 4. Suppose -g*b = -7 + 67. Is b less than -30?
False
Let n = 1.99 - -0.01. Let g = 28 + -38. Let m = g - -10.2. Which is bigger: n or m?
n
Let z be (6/36)/((-1)/(-3)). Let g = -0.48 - -0.68. Does z = g?
False
Let x(g) = g**3 + 12*g**2 + 11*g + 9. Let q be x(-11). Let j = -16 - q. Let c = j + 177/7. Which is greater: c or -2?
c
Suppose 9*n - 8*n = 2. Suppose 0 = -5*a + n*a + 42. Which is smaller: a or -1/6?
-1/6
Let w be 1 + 1004 - (-36 + 44). Which is greater: 998 or w?
998
Suppose 0 = 3*h + 15, -3*v = -5*v + 4*h + 18. Let q = -21 + 14. Which is greater: q or v?
v
Let i be 2104/(-351) - (-6 + 0). Is 0 smaller than i?
True
Suppose 0 = 3*u + 2*y - 358, 0*u + 4*u - y - 481 = 0. Suppose -7*q - u = q. Which is greater: -82/5 or q?
q
Suppose -3*o + 16 - 1 = 0. Suppose -o*l + l = 8. Which is smaller: -4 or l?
-4
Suppose -6*v + 2*q - 381 = -v, -5*v - 377 = -4*q. Which is smaller: v or -78?
-78
Let w be (134 - 25 - 1*5)/(-1). Is w at least as big as -1?
False
Let r be ((-4)/16)/((-2)/(-14)). Let d = r - -37/28. Let b = -6 - -5. Which is bigger: d or b?
d
Let q be 0 - (-3 + (-183)/(-60)). Let r(o) = o**3 + 9*o**2 - 41*o - 386. Let n be r(-7). Is n >= q?
False
Let n = 128/345 + 2/69. Which is bigger: 104 or n?
104
Suppose 49 = -3*a + 4. Suppose 4*o + 2*b - 32 + 88 = 0, -4 = -2*b. Is a < o?
False
Let r = 2 + -30. Does -29 = r?
False
Let r = -23597096 + 1439520270/61. Let k = r - 1597. Do 0 and k have the same value?
False
Suppose -r + h + 0 = 1, -5*r + 13 = 4*h. Is 3/175 at least r?
False
Suppose 4*v - 11 = 5*m, -3*m = -2*v - 2*v + 5. Let u(y) = -3*y**2 + 2*y + 9. Let c be u(-4). Are v and c non-equal?
True
Let p be 44/(-33) + (-6)/(-9). Is -214 <= p?
True
Let s be 2/7 + 6/(-28)*6. Which is greater: 2/183 or s?
2/183
Let l(y) = 490*y - 5. Let b be l(2). Suppose 2*k - b = 99. Let a = -9132/17 + k. Which is bigger: 1 or a?
1
Suppose -5*k - 85 = -10. Let d be k/2*1*2. Are -13 and d equal?
False
Let s = 13.8 - 17. Let f = s - -2.4. Are f and -0.2 equal?
False
Let g = -7.64 - 5.36. Which is smaller: g or -1.9?
g
Let g be (3/1)/((-6)/4). Let o = -3/40 - 4/5. Is o greater than g?
True
Let q(w) = -w**2 - 4*w - 1. Let u be q(-3). Let b be ((-6)/9)/(u/39). Let f = 31 + -45. Which is bigger: f or b?
b
Let g = -0.79 - 0.11. Suppose 36*z + 6 = 39*z. Let n = z - 3. Is g not equal to n?
True
Let i be (-4 + 142)*(2 + 57/(-42)). Let x = i - 37267/420. Are 1 and x equal?
False
Let i = -0.2 - -2. Suppose 5*k - 16 = 94. Let u be 5/9 - k/99. Is i not equal to u?
True
Let k = 6202003/400 + -15505. Which is smaller: k or -1?
-1
Let o = 3 - 0. Let a be (1 - 2)/o + 1. Suppose -2*h - 5*c = -3*h - 20, c - 4 = 5*h. Is h < a?
True
Let v be 10/55 - 51*(-284)/(-78936). Is v less than -1?
False
Let z(i) = -2*i**2 - 41*i + 67. Let c be z(-22). Are c and 22 unequal?
True
Let t = -25 + 32. Let s = 6.9 - t. Let p be (-3)/8*6/(-9). Which is bigger: s or p?
p
Suppose 2*b - 2*r - 18 = 52, -2*b + 4*r + 70 = 0. Suppose 33*p - 29*p = 16. Suppose p*g = -2*m + 66, -5*m - b = -g - 2. Is 18 < g?
False
Let n = 1 - 3. Let p be (n - -2) + 2/11. Let z be ((-160)/1280)/((-1)/(-8)). Which is bigger: p or z?
p
Let i = -80/31 + 1546/527. Let u = -4 + 5. Is u bigger than i?
True
Let m = 455/10676 + -9/157. Is -1 smaller than m?
True
Let g(j) be the third derivative of -j**6/120 + j**5/10 - j**4/24 + 7*j**3/6 - 6*j**2. Let d be g(6). Does d = -1?
False
Let t be (-1)/(-3)*(-13 + 0). Let i = -26 + 43. Suppose -3*q - i = 2*h, -h + 19 = -2*h - 5*q. Which is smaller: h or t?
t
Let n = 5 - 1. Suppose 4*j - 4*o = n, 5*j + 2*o + 0*o = 12. Let z be (-1)/(-6) + (-33)/(-18). Is z greater than or equal to j?
True
Suppose -3875 = 6*h - 3869. Which is smaller: h or 2/3431?
h
Let o(w) = -7*w + 5. Let u be o(1). Is u at most 6?
True
Suppose -79*n + 2359 = 858. Let c be -2 + 5 - 5/(-1). Is n not equal to c?
True
Let w = 1379 + -1349. Which is bigger: 19 or w?
w
Let q(x) = 3*x**2 - 5*x - 5. Let m be q(5). Let v be m/36*(-11)/5. Let c = v - -53/12. Is c smaller than 1?
False
Let h(z) = -356*z - 32. Let r be h(4). Is -1455 <= r?
False
Let z(x) = 13*x + 36*x + 9*x**2 - x**3 + 14 - 13*x. Let t be z(12). Is 13 equal to t?
False
Suppose 275*d + 5015 = 292*d. Is d not equal to 294?
True
Let i = -205 + 1096/5. Which is bigger: 13 or i?
i
Let s be 0 + 2*6/(-32). Let w(u) = u**2 + 14*u - 1. Let z = -50 + 36. Let r be w(z). Which is smaller: r or s?
r
Let h = -854 + 853. Which is smaller: h or -7/36?
h
Suppose 0*x - 11*x + 418 = 0. Suppose -142 + x = -2*q. Which is bigger: q or 50?
q
Let f(g) = -3*g**2 + 7*g - 16. Suppose 0 = -8*y + 9*y - 6. Let q be f(y). Is q >= -83?
True
Let b be 14/(-12)*(-5 + -1 + 0). Suppose 4*p + 2*r = 30, -7*r + 2*r + 10 = -3*p. Suppose -3 + 33 = p*x. Which is smaller: b or x?
x
Suppose -5*y + 100 = 5*a - 30, 5*y - 128 = -4*a. Suppose -4*z - 3*m - 9 = -y, 3*m = -3*z + 12. Which is bigger: 13 or z?
13
Let r = -5 - -26. Let c = r + -13. Suppose -3*f + 5 = -c*f. Is f at most as big as 3/14?
True
Let d be (24/(-36))/(3/(-9)) - 0. Let b(i) = 4*i + 4. Let n be b(-3). Let k = n + 12. Are k and d nonequal?
True
Suppose -5*b = s + 4*s - 25, -5*s + 13 = 2*b. Suppose s - 9 = 4*m. Let j be m/(-6) + 7/(-3). Is -2 greater than j?
False
Suppose 6*v - 41 = -11. Suppose -u - 2*u - 19 = -5*q, 3*u + v = -2*q. Suppose 6*o = -4*w + q*o, 4*o = w. Which is smaller: 1/2 or w?
w
Suppose 88 + 122 = -3*c. Suppose 339 = 7*m + 318. Let b be c/66 - m/(-9). Which is greater: 0 or b?
0
Let o be (-353)/(-4) + 80/(-64). Let j = -90 + o. Which is smaller: -2 or j?
j
Let j be (22/3 + 2)/(41/(-246)). Which is smaller: j or -59?
-59
Let c be (-20)/70 - (-618)/2114. Let t = 1 + 0. Which is smaller: t or c?
c
Suppose 12*b = 178 + 254. Suppose 3*k = 12*k - b. Does k = -14?
False
Suppose 11*s + 122 = 13*s. Which is bigger: 58 or s?
s
Let q = -27 + 26. Which is smaller: -2/369 or q?
q
Let c = -47 + 29. Which is smaller: c or -134/7?
-134/7
Let g(d) be the second derivative of -d**5/120 - 3*d**4/8 + 4*d**3/3 - 3*d. Let s(h) be the second derivative of g(h). Let t be s(-6). Is -5/3 smaller than t?
False
Suppose 3*h + 205 = -2*q, 5*q + 384 + 119 = 2*h. Are q and 1 equal?
False
Let x = 16 - 15.72. Let o = 1162 + -1162. Which is greater: x or o?
x
Let j = 700 - 905. Which is smaller: -204 or j?
j
Suppose 3*d - 3*v - 6 = 0, 4*v = 6*d - 8*d - 8. Is d at most as big as -2/71?
False
Let u(r) = -r**3 - 18*r**2 - 19*r - 31. Let g be u(-17). Suppose -g*k - 2*k - 43 = 2*b, 3 = -3*k. Is -18 at most b?
False
Let a(k) = 2*k**2 - 16*k + 4. Let l be a(8). Suppose l*g + d =