 -8*p + 12. Which is smaller: p or -13?
-13
Let k be (-14)/(-6) + 4/6. Let v = 188 + -188. Suppose k*p - 5*p + 18 = v. Is 9 equal to p?
True
Let s = 0.06 + 0.13. Let b = s + -0.19. Let t = 26 + -25.7. Does b = t?
False
Suppose 4*a - 1251 = -5*w - 0*a, 4*w + 3*a = 1000. Suppose 12*t + t = w. Which is bigger: t or 20?
20
Suppose 4*j + 17 = 3*q - 42, -q = 5*j + 12. Let w be ((-4)/(2 + -4))/((-6)/(-33)). Which is bigger: q or w?
q
Let m(s) = -10*s + 210. Let a be m(27). Which is greater: -57 or a?
-57
Let a(p) = p + 11. Let j be a(-7). Let z be j/(2/(-4)*4). Which is bigger: -8/7 or z?
-8/7
Let a be -95*(42/(-28) - (-22)/20). Let p = 16 + -32. Let o = p + a. Which is bigger: o or 21?
o
Suppose 6*d = 20 + 34. Let s(c) be the second derivative of -c**5/20 + c**4/2 - 2*c**3/3 + c**2/2 - 2*c. Let k be s(5). Is d < k?
False
Let k = 590 - 10032/17. Which is greater: k or -1?
k
Let k = -1.56 + 1.7. Let a = 7.14 - k. Let n = a + -6. Which is greater: 0.1 or n?
n
Let f be (3/(-2))/(14 + 1781/(-130)). Is f at least -0.26?
False
Suppose 3*v + 4*f = -26, 4*v - f = v - 1. Which is bigger: v or 2/37?
2/37
Let k(j) = -j**3 - 6*j**2 - 8*j - 7. Let t(y) = y**2 - 1. Let z(v) = k(v) - 3*t(v). Let d be z(-8). Let n be ((-104)/(-845))/(d/10). Which is smaller: 0 or n?
n
Let l be 4/(2/(-1)) - 52. Suppose 23*d + 3063 - 1798 = 0. Are l and d non-equal?
True
Let p be ((-2)/(-4))/((-8)/112). Let h be ((-2)/8)/(p/(-8)). Let y = -1 - -1. Which is bigger: h or y?
y
Let z = -394.1 - -413. Let f = 26 + -45. Let u = f + z. Which is bigger: u or -0.19?
u
Let g(r) = -3*r**2 + 4*r + 6. Suppose 4*v = 2*q + 2*q, -3*q - 2*v - 10 = 0. Let l be g(q). Are l and -15 non-equal?
True
Let m be ((-2)/16)/(177/(-354)). Is 4 >= m?
True
Suppose x = -8 + 64. Which is greater: 58 or x?
58
Let q(s) = -s**2 + 4*s + 1. Let z be q(4). Let p(i) = 512*i**3 - i. Let m be p(z). Let j = m + -15839/31. Which is smaller: 1 or j?
j
Suppose 11*y - 12*y = -3. Let z be 22/y - (-4)/(-3). Which is bigger: -3 or z?
z
Let l = -192 - -1348/7. Suppose 0 = 4*w - 7 - 1. Suppose -w*x + 5*y + 27 = 0, -13 = -3*x - 3*y + 5*y. Which is smaller: x or l?
l
Let y = -38 + 38. Let i = 4 - 6. Let s be (i/(-7))/(60/105). Do s and y have the same value?
False
Suppose 3*i + 2*k = 100, 39 = -95*i + 96*i - 5*k. Which is smaller: i or -2?
-2
Let h = -16 + 12. Let x = h - -3. Let v be (297/(-75) + 4)*x. Is -1 greater than or equal to v?
False
Suppose -16*k - d = -12*k - 816, 4*k - 812 = -2*d. Which is smaller: k or 204?
204
Suppose -5*l = -4*a + 20, a + 9 = 2*l - 4*a. Which is smaller: l or -16?
-16
Let c = 380/351 + -104/27. Which is bigger: c or -2?
-2
Let w = -84.1 - -79.1. Which is smaller: w or -36?
-36
Let c = 3/106 + 89/4346. Suppose -185*n + 179*n - 6 = 0. Is c < n?
False
Let v be 8/6*(-12)/(-4). Suppose r = -2*s + 23, s - 41 = -2*r - v*s. Suppose 16 = -4*x - 5*n, -r = -x + 6*x + 3*n. Which is smaller: x or -7?
x
Suppose 4*a - 17 = -z, -4 + 0 = -3*a + z. Let d be (-85)/17*a/(-5). Which is smaller: d or 13/6?
13/6
Let o = 13.1 + -14. Let v = 6.5 - 8. Let n = o - v. Is -0.1 <= n?
True
Suppose 0 = -2*c + 10 - 20, 0 = 4*v - c - 465. Is v at most 110?
False
Let i be (-38)/(-14) + (-4 - -1). Let y(p) = -p**3 + 2*p**2 + 15*p + 1. Let k be y(5). Which is smaller: i or k?
i
Suppose 4*u - 5*p - 10 - 11 = 0, 2*u - 12 = 2*p. Let c = 37 + -27. Let o(t) = 2*t - 13. Let g be o(c). Is g > u?
False
Suppose 0 = -2*t + 2*m - 20, m + 9 = -2*t + 1. Let u = t + 1. Let n be (16/(-40))/((-4)/u). Are n and -0.1 nonequal?
True
Let b be (15 - 15)*(0 + 3/9). Do -20/33 and b have different values?
True
Let l be -4 + 87/(-9) - (-10)/6. Which is greater: l or -15?
l
Let g be (-188)/(-21) - 2/7. Suppose 12*p - 50 - 46 = 0. Is p less than g?
True
Let a be 3 - (-2)/(-4)*-2. Let m be ((-2)/(-6))/(a + -3). Let p = m + -11/15. Which is smaller: p or 1?
p
Suppose -4 = -q, -21*y - 5*q + 20 = -22*y. Is -21/115 bigger than y?
False
Let p be (-28)/(-7) - (-3)/(9/12). Which is greater: 0.07 or p?
p
Let l be (4/35)/((-86)/12255). Let k(x) = -4*x + 7. Let v be k(6). Is l at least as big as v?
True
Let v be (-27416)/(-45)*(-4)/2160. Let s = v + 28/25. Let b = s + 110/243. Which is smaller: b or 2/5?
2/5
Suppose 0 = 5*c + 26 - 31. Let s be (2/3)/(82/(-3)). Which is greater: s or c?
c
Let l = -33.7 + 32.592. Let n = 0.108 + l. Let q = -64 - -383/6. Is n greater than q?
False
Suppose -3*z = 332 - 56. Let d = -91 - z. Is d not equal to -6?
True
Let v = -126 + 74. Let i = v + 262/5. Let b = -13 - -13.1. Is i < b?
False
Let k be ((-4 - -4)/(2/(-1)))/2. Let g be (-2)/7 - 8/(-126). Which is greater: g or k?
k
Let z(u) = -3*u + 2. Let b be z(-2). Suppose 2*y - 6*y + b = -2*w, 9 = -3*y. Is -12 smaller than w?
True
Let p = 48 + -47. Let b = 243/817 + -6/43. Which is smaller: b or p?
b
Let t = -78797/50 + 1576. Do 0 and t have different values?
True
Let a = 1516 - 1446. Is -2 at least as big as a?
False
Let n = 271 + -1089/4. Suppose -j - 4 + 19 = 3*r, 0 = 2*r - 2*j - 2. Which is bigger: n or r?
r
Let c be 40*(-24)/(-36)*3/5. Is 11 less than c?
True
Let t be 66/(-111) + -5 + 7/1. Which is smaller: 0 or t?
0
Let m = 2.13 - 0.43. Let l = m - 1.7. Is l != 4/7?
True
Let c = 170652 - 856823/5. Let g = 715 + c. Is 1 <= g?
True
Let j = 0.13 + -0.27. Let x = -0.11 + j. Let a = x - 0.15. Is 1 not equal to a?
True
Let v = 92 - -158. Is 2 equal to v?
False
Let d = 212 - 211. Is 6.5 equal to d?
False
Suppose 2*l - 5*r = 17, 5*l - 110 = -4*r + 3*r. Let x be (1/2)/(88/55 - 662/420). Is x > l?
False
Let y = -61.8 + -331.2. Do y and 1/4 have the same value?
False
Let h(k) be the first derivative of -k**3/3 - 5*k**2 - 12*k + 31. Let t(x) = -2*x + 4. Let c be t(6). Let s be h(c). Which is smaller: 6 or s?
s
Let n be (-1)/1 + 47241/47259. Let k = n + 283564/26255. Which is bigger: k or 11?
11
Suppose 0 = -11*g + 1850 + 735. Is 233 smaller than g?
True
Let t = 0.4 + -0.4. Let l = 49/8 - 187/24. Which is smaller: t or l?
l
Suppose -728*q + 730*q = 100. Which is smaller: 53 or q?
q
Let w = 284.905 + -285. Which is greater: w or -1?
w
Suppose 13*v + 510 = -17*v. Let q(z) = 38*z**3 + 2*z**2 - 2*z + 1. Let w be q(1). Let d = w + -56. Is d at most as big as v?
True
Let t(p) = -p**3 - 12*p**2 + 14*p + 1. Let k be t(-13). Let y be 720/(0 - (-104)/k). Let z = 83 + y. Which is bigger: -1 or z?
z
Let n = 11.6 - 13. Let a = n + 4.4. Which is smaller: -1/4 or a?
-1/4
Let c = -4 + -5. Let m = c + 15. Which is smaller: m or 4?
4
Let n be ((-12)/8)/((-2)/(-8)). Let v be (-8 - -4 - 37)*(-2)/n. Which is smaller: -13 or v?
v
Let p(y) = -2*y**3 - 2*y + 4. Let s be p(-3). Let k = -190/3 + s. Let t = 1944.4 + -1943. Which is smaller: t or k?
k
Suppose 6*v = 2*v - 8. Which is smaller: v or -4?
-4
Suppose 9 = 4*j + 1. Let q be (28/28)/(j/28). Do 13 and q have different values?
True
Let o = -20 + 4. Let v = o - -23. Suppose 0 = t - v - 1. Which is greater: 1 or t?
t
Let t = 3020 + -3088. Is t at most as big as -277/4?
False
Let k(x) = x**2 - 27*x + 9. Let i be k(24). Which is smaller: -65 or i?
-65
Let z(x) = -9*x**2 + 24*x + 10. Let a be z(3). Which is smaller: a or 3/62?
3/62
Let u = 6.85 - -0.15. Let t = u - 7.6. Suppose 5*p - 3*p = 5*p. Is p >= t?
True
Let c = 2040 + -2023. Is -0.13 > c?
False
Let w = 91.2 - 92.2. Which is smaller: -799 or w?
-799
Let h = 9 + 3. Let w = -206 - -204. Is h less than w?
False
Let y = 1121 - 1137. Which is smaller: 38 or y?
y
Let b = 223/80 + -3/80. Which is smaller: b or 4?
b
Let k(z) = z**3 - 4 - z**2 + 7 + 2 - 4*z. Let b(d) = d**2 + 1. Let y(v) = -2*b(v) + k(v). Let u be y(3). Which is greater: -10 or u?
u
Let r(c) = -c**2 - c + 2. Let k be r(-2). Suppose 3*h - 2*z - 754 = k, -5*z = -h - 3*z + 250. Let d be (-4)/(-3)*h/24. Which is greater: 13 or d?
d
Let n(s) = -s**3 - 12*s**2 + 12*s - 15. Let w be n(-13). Let o be (-27 + -7)*w/12. Is o greater than 6?
False
Let p = 129832721/125796 - -17/11436. Let q = p - 1033. Let u = q - 20/99. Which is greater: u or 0.1?
0.1
Let l be 52/65*(-1 - (-11)/6). Let y = -161 - -136. Which is smaller: l or y?
y
Suppose 0 = -104*a + 107*a - 3. Are 1/234 and a equal?
False
Suppose 0 = 3*h - 2*o + 1166, 2*h + 351 + 439 = -5*o. Let c be (-275)/h - (-2)/(-3). Let m = 670 + -670. Which is bigger: m or c?
c
Let c(m) = 57*m + 730. Let d be c(-13). Let t = -11 + 5. W