 + -2221/159. Which is smaller: d or -14?
-14
Let p = 48 - 50.2. Which is smaller: p or 0.3?
p
Let r be 2 + -7 - (47 - (-9 - -10)). Is r less than or equal to -0.2?
True
Let t(h) = h**2 + 17*h - 59. Let i be t(-20). Is i < 150?
True
Let a(o) = o**2 + 7*o + 1. Let p be -1 - (1 + 6 - 1). Let d be a(p). Which is greater: 3/106 or d?
d
Let n be 45/2*(2 + (-6)/9). Suppose -4*v = v + n. Is -7 at most as big as v?
True
Suppose -2*n = j - 0*j - 6, -n = -5*j + 8. Suppose -n*h - 16 + 50 = 0. Is 17 at most h?
True
Suppose -26 = 4*r - 2*c + 4*c, 3*r + c + 18 = 0. Let w be (-1)/r + (-1268)/6540. Which is smaller: 1 or w?
w
Let s = 202.026 - 200.8. Which is smaller: s or -1?
-1
Let o = -674/165 + 4/15. Let i = -133361/32747 - -23/229. Let n = i - o. Is -0.1 smaller than n?
False
Suppose 3*g + 4*z + 2 = 0, 13 = -2*g - 3*z - 2*z. Let n be ((-30)/(-45))/((-52)/g). Is n greater than or equal to 0?
False
Let v(c) = c**3 - 6*c**2 + 6*c. Let o be v(5). Suppose -o*m + 110 + 6 = 2*t, -5*m + 118 = t. Let k = 23 - m. Is -2/53 at least k?
True
Let p = -1134/29 + 1942484/49677. Which is bigger: p or 1?
1
Let f be -2*(-6 + 7 + 3/1). Is -12 <= f?
True
Suppose -4*p + 20 = 3*n, 2*n + 5 = 2*p - p. Suppose 5*y + 65 = 5*i, 9*i - 6*i + 4*y - 18 = n. Which is smaller: 6 or i?
6
Let g be (264/28)/(-6) - 16/(-28). Is -1/50 less than or equal to g?
False
Let o = -1351 - -1350.457. Which is smaller: -1 or o?
-1
Suppose 2*l + 2*m - 12 = 0, 3*m - 5 = -2. Suppose -4*o - 310 = l*d, 2*d = -3*d + 5*o - 310. Which is bigger: -61 or d?
-61
Let g(s) = -s**3 + 2*s**2 - 1. Let y be g(1). Let k(n) = 13*n + 5. Let q be k(-6). Let i = q + 75. Is i greater than y?
True
Let l = 35 + -32. Let k(f) = 0*f**3 - 3*f**3 - 12*f**2 + f**l + 3*f**3 - f + 13. Let m be k(12). Which is bigger: 4/11 or m?
m
Let h = 18766/7 - 2664. Let i = -110/7 + h. Which is greater: -0.1 or i?
i
Suppose -2*t - 86 = 4*l, 5*l - 3*l = -5*t - 199. Which is bigger: 1/9 or t?
1/9
Let z(r) = -r**3 + 6*r**2 - 2*r + 12. Let b be z(6). Suppose 5*s - 10 = b, -s + 48 = 5*c - 2*s. Does 9 = c?
False
Let p(f) = f - 8. Let x be p(12). Suppose -5*j + 3*j - x = 0. Suppose -w + 5*y = 1, 2*w + 1 + 1 = y. Is w bigger than j?
True
Suppose -3*a + 8 = -1. Let z(n) = -n + 3. Let t be z(a). Is 2/19 less than t?
False
Suppose -5*r + 6 = -6*r. Let o(f) = 5*f**2 - 11*f - 11. Let t(h) = -h**2 + h + 1. Let v(u) = o(u) + 6*t(u). Let q be v(r). Is 0 equal to q?
False
Let d(v) = v + 2. Suppose 0*w - 17 = b + 3*w, -5*w = -2*b + 21. Let u be d(b). Suppose u = 3*t + t - 32. Is 8 bigger than t?
False
Suppose 2*g = -4*m - 8, 5*m + 7 - 3 = -g. Suppose -3*u = -3*r + 3, m*r + 2*r + 4*u - 20 = 0. Suppose 3*p - 2 = r*p. Which is smaller: p or -5/4?
p
Let y = -2/21 + -17/42. Suppose 5*b = -23 - 22. Let v(o) = -o - 9. Let n be v(b). Which is greater: n or y?
n
Let l = 584 + -604. Is -29 at most as big as l?
True
Let w = -91803285139/32714635746 + -2/24671671. Let n = w - 6/221. Suppose -j - 4 = -0*j. Is j > n?
False
Let y be (174/(-28))/((-6)/21). Let w = 22 - y. Suppose -5*i - o = 50 - 17, 5*i = -3*o - 39. Which is greater: i or w?
w
Let x be (-31)/465 + (-4)/(-60). Are 18/23 and x non-equal?
True
Let m(s) = -2*s**2 - 15*s + 46. Let k be m(-10). Is 2 smaller than k?
False
Let q be 2401/(-483) - (-1)/1*5. Is q equal to 0?
False
Let b = 0.336 - 1.136. Do -11 and b have the same value?
False
Suppose 2*k - 4*y - 1631 + 511 = 0, 0 = -k - y + 566. Do k and -2 have the same value?
False
Suppose 5*b - 4 = -9. Let p = b + -7. Let a = -0.02 - -0.12. Which is greater: p or a?
a
Let q(k) = k + 8. Let z be q(8). Let j(h) = -h**2 + 17*h - 17. Let v be j(z). Are -5/8 and v equal?
False
Let x = -19.7 + 19.66. Is -5 at least as big as x?
False
Let q(o) = o**3 + 36*o**2 + 135*o - 3. Let c be q(-32). Which is bigger: c or 2/7?
2/7
Let f be ((-2)/(-10))/(4*2/(-3060)). Is f bigger than -76?
False
Let o(b) = -4*b - 6. Let k be o(-5). Suppose 23*f - 140 = -416. Let d be (k/f)/(16/(-64)). Is d at least as big as 6?
False
Let i(o) = -6*o**3 + 41*o**2 - 27*o + 28. Let x be i(7). Are x and -211 non-equal?
True
Let f = -45 - -50. Suppose -3*k = 2*z - 4 - f, -5*z - 2*k = -6. Is z > 1?
False
Let i be 1 + 75 + (-6)/2. Is i at most 70?
False
Let b = 2.4 - 4. Let c = b - -3. Which is greater: c or -1?
c
Suppose 0*t - 3*t = 3*r + 9, 0 = 4*t + 5*r + 13. Let u be (8 - -1)*2/t. Suppose -50 - 221 - 121 = 56*y. Which is smaller: y or u?
u
Let i(p) = -2*p - 3. Let z be i(-3). Suppose z*g = -g - 84. Is g not equal to -20?
True
Let u be (420/425)/((-3)/((-225)/(-10))). Which is bigger: -7 or u?
-7
Suppose -7*c = 2*z - 2*c + 41, 0 = z + 2*c + 18. Which is greater: 3 or z?
3
Suppose 4*q + 0*q = -u - 57, -2*q + 4*u = 42. Let x = -34 + 35.8. Let t = x - 1.9. Does t = q?
False
Let p = -2 - -2. Let t = 1.37 - -0.03. Let q = t + -6.4. Which is smaller: p or q?
q
Let n(b) = -2*b**2 - 13*b - 7. Let v be n(-5). Let c be 12/v*(-36)/15. Is -5 at most as big as c?
True
Let m = -6 - -8. Suppose -4*y + v = -11, m*v + v = 2*y + 7. Let q be y/(-2)*(5 - 3). Is q greater than or equal to -4?
True
Suppose 2*w - 27 = 16*j - 15*j, -j = -4*w + 57. Let x be (10/4)/(1/2). Let h be x/((-3)/(w/5)). Is h not equal to -2?
True
Let p(d) = -2*d + 5*d**2 + d - d**3 - 2*d - d**2. Let b be p(3). Which is smaller: -1/8 or b?
-1/8
Let p be (1/2)/((-3 - 3)/(-1680)). Let g be 7/(p/(-25))*(-6)/4. Is g <= 2?
True
Let n be 6/10 - 120/(-50). Suppose 3*f = -n*k + 9, 4*f + 3*k = 5*f - 3. Let z be (0/(-2 - -1))/f. Which is greater: z or -5/7?
z
Let a = 0.155 - 48.355. Let q = 48 + a. Let s = 2.6 + -2. Is s at least q?
True
Let w be 138/(-5)*((-13)/(-3) + 1). Which is smaller: w or -146?
w
Suppose 10*v - 857 = 1333. Are v and 220 nonequal?
True
Let w be (-4 + 1)*-1 + 102/(-3). Which is smaller: -30 or w?
w
Let i be (-34)/(-8) + -1 + -3. Let r be (-50)/75 - (-8)/(-6). Which is smaller: r or i?
r
Let x(v) be the second derivative of -v**3/6 + v**2 + 4*v. Let p be x(4). Which is bigger: -8/9 or p?
-8/9
Suppose -d = -3*k + 1, 7*k + 5*d = 2*k - 25. Let h(w) = w + 5. Let g be h(-3). Suppose 2*v = g*f - 0*f, f = 4*v + 6. Which is greater: v or k?
k
Let k(q) be the second derivative of q**3/3 - 41*q**2/2 - 18*q. Let f be k(0). Is f at most -41?
True
Let m = -455.6 + 491. Do 2/5 and m have the same value?
False
Let c(m) = 2*m - 2. Let s be c(2). Suppose -s*u - 3*u = 0. Is -4/9 not equal to u?
True
Suppose q - 83 = 85. Which is greater: q or 1?
q
Let q be (-2 - (-110)/54)/(2/12). Let u = -5.94 + -0.06. Let d = 5.9 + u. Which is smaller: d or q?
d
Let a = -28 - -28. Suppose 3*h = -c + 13, -3*c + h - 4*h + 27 = a. Which is greater: 4 or c?
c
Let i = -18 - -21. Let u be 1 + 1 + 776/10. Let r = -78 + u. Which is bigger: i or r?
i
Let k(t) = t**3 - 8*t**2 - 9*t + 7. Suppose 4*z - q = -5*q + 40, z + 3*q = 12. Let n be k(z). Which is smaller: n or 1?
1
Let y(m) = 702*m**2 + 10*m - 5. Let q be y(1). Is 707 bigger than q?
False
Let j(a) be the second derivative of a**3/2 + a**2 + a - 14. Let q be j(10). Is q equal to 32?
True
Suppose 20*s = 15*s + 60. Suppose -11*d + s = -13*d. Is d bigger than -5?
False
Suppose 0*m + 4*m + 5*k - 340 = 0, 438 = 5*m + 3*k. Suppose -174 = 4*u + j, 2*u + 0*j = -2*j - m. Let r = 29 + u. Is r at least -13?
False
Let c be 1/((-3)/(-6)*2). Let z be (11/(-231))/((-10)/(-45)). Which is smaller: c or z?
z
Suppose 21*i = 18*i + 18. Suppose i*c = 3*c. Which is smaller: c or 3/43?
c
Suppose 0 = -23*f + 11*f + 9252. Let u be 10/(-35) - f/21. Which is smaller: u or -38?
-38
Let n(y) = -y - 9. Let p be n(-12). Suppose p*d - 21 - 24 = 0. Is 15 greater than d?
False
Let k = 7 + -26. Suppose 7*u - 13 = -153. Let b = k - u. Which is greater: b or -1/4?
b
Let z = -0.07 - -6.07. Let o = -0.036 - -6.036. Let j = z - o. Which is smaller: -1/4 or j?
-1/4
Let s = -28505061/976 + 29206. Which is smaller: s or 0?
s
Let y = -2.78 - -2.48. Does -10 = y?
False
Let t = -0.388 - -0.398. Which is smaller: t or -42?
-42
Suppose 0 = 89*a - 92*a - 2*f + 900, -5*a - 3*f + 1501 = 0. Is 908/3 less than or equal to a?
False
Let u(v) = -46*v + 126. Let m be u(2). Which is smaller: m or 32?
32
Let b(o) = -3*o**2 - 4*o + 20. Let x be b(2). Let k be 7/(-833)*(-4)/(-2). Is x greater than k?
True
Let b(t) = -t - 1. Let k be b(2). Let h = -3 - k. Suppose -g + 10 = -2*r, g = -r - h + 