*p - 2*r = 75, 0 = p - 5*r + 13 + 29. Suppose -6*v = -2*v + 4*d + 76, 5*v = -2*d - 86. Is p less than v?
True
Let r = 15 + -15.42. Let m = -0.32 - r. Which is bigger: m or -3/5?
m
Let b = -314.9 + 315. Is b > -2/97?
True
Let o = 224 - 248. Which is smaller: -28 or o?
-28
Suppose -4*x - 1078 + 198 = 0. Is -221 smaller than x?
True
Suppose -30 - 6 = 3*g - 4*v, -g - 28 = 4*v. Let s(d) = -8*d + 13. Let m be s(-4). Let y be (-669)/m - 4/30. Is y bigger than g?
True
Let c = 536 - 540. Which is bigger: c or 73?
73
Let f = 23 - 70/3. Let y(n) = -n**3 - 7*n**2 + 32*n + 3. Let a be y(-10). Let w = 16 + a. Is w not equal to f?
True
Let r = 4.51 - 102.51. Which is smaller: r or 4?
r
Let x = 13 - 11. Suppose 13 = x*p + 3. Suppose 9 = -p*i + 24. Are i and 4 equal?
False
Let a(n) = -59*n - 236. Let h be a(-4). Let d be 6/27 - (-1)/117. Is d less than h?
False
Let u be 6/(-13)*208/(-39). Let l = u + -185/91. Is 1 equal to l?
False
Let r = 30 - 43. Let g(h) = -h - 13. Let c be g(r). Suppose 1 = 2*a - w - 3, w - 2 = c. Which is smaller: 4 or a?
a
Let f be 11620/(-11860) + -5 + 6. Which is bigger: f or 0?
f
Let w be (-64)/(-624) - 1/3. Suppose 0 = -d + 3*d - 2*s - 10, 11 = d - 3*s. Suppose d*a = 1 - 3. Which is bigger: w or a?
w
Let d be 375/192 + (1 - 3). Suppose 4*c + 24 = -5*w, 6*c + 14 = 5*w - 7*w. Are c and d unequal?
True
Suppose 0*a + 4*a - 8 = 0. Let l = -149 + 149. Suppose a*h + 5 - 3 = l. Is -1/6 < h?
False
Let r(n) = n**2 - 10*n - 4. Let f be r(9). Let s(m) = m**2 - 6*m - 1. Let c be s(7). Let y(o) = -2*o - 1. Let k be y(c). Is k at most as big as f?
True
Let x = 59 - 65. Let c be (-2)/x*1 + 10/24. Which is smaller: c or 3?
c
Let h = -10 - -24. Suppose -h - 10 = 4*f. Let l be (10/(-6))/(f/(-18)). Is -5 bigger than l?
False
Let j = 417 + -215. Is -0.2 at most as big as j?
True
Let d be 1305/20 + 1/(-4). Suppose -2*m = -7*m - d. Let u be ((-33)/6 + -1)*2. Is u at most as big as m?
True
Let x = 55 - 54.999. Let w = x + 0.999. Let g = -1.1 - -1.24. Which is greater: w or g?
w
Suppose 39*j + 10 = 44*j. Suppose -f = 2*n + 1 - j, 4*f - 20 = 0. Let c be -1*(-2 + 1)*-1. Which is smaller: c or n?
n
Let r be ((-8)/(-6))/(7 - (-835)/(-120)). Do 23 and r have the same value?
False
Let v(g) = 1 + 876*g - 2 + 61*g**2 - 876*g. Let s be v(1). Suppose -s = 3*q - 7*q. Which is bigger: q or 16?
16
Let w(i) = -1. Let u(x) be the first derivative of -x**3/3 - 3*x**2/2 - 5*x - 1. Let p(t) = u(t) - 2*w(t). Let o be p(-3). Which is bigger: o or -2?
-2
Let u(y) = -8*y - 3. Let i be u(-3). Suppose 0 = -5*f + 8*f + 42. Let j be i/49 - (-132)/f. Which is bigger: j or -2?
-2
Let m = 14 + -7. Suppose -14*n - 101 + 3 = 0. Let z = m + n. Which is bigger: 2/11 or z?
2/11
Let p = 0.046 - 4.046. Is p >= 6/11?
False
Let x = 291946/10759 - -12/1537. Which is bigger: x or 28?
28
Let i(z) = -2*z**3 - 6*z**2 + 35*z - 14. Let j be i(4). Which is bigger: -292/3 or j?
-292/3
Let g be (-575)/45 + (-4)/18. Let r = g - -11. Are 1 and r non-equal?
True
Let r(g) be the third derivative of -g**5/60 + g**4/4 - 2*g**3/3 + 7*g**2. Let k be r(6). Let i be ((-3)/9)/((-2)/k). Which is greater: 2/5 or i?
2/5
Let b(d) = -7*d + 2. Let i be b(-13). Let p be ((-3)/i)/((-1)/(-3)). Which is smaller: 0 or p?
p
Let c(p) = p**3 - 7*p**2 - 9*p + 9. Suppose -w = 4*w - z - 39, -3*z + 43 = 5*w. Let i be c(w). Which is smaller: i or 3/5?
3/5
Let a = 73 - 940/13. Is a < -3?
False
Let o = -0.14 + -16.86. Let t = o - -8. Let s = -5.1 - -5. Which is greater: t or s?
s
Suppose -5*n = -4*k + 15, 14 = 5*k + 5*n - 61. Let c be (-8)/k*35/(-14). Suppose -7*i - c*s = -2*i - 80, -3*s = 0. Which is smaller: i or 2?
2
Let f be 2 + (1 - -1) + 1. Suppose -62 + 22 = -f*v. Suppose -5*u + 22 = -2*a, -2*u = -2*a - 3*a + v. Which is greater: u or 7?
7
Let f(o) = o**2 + o + 1. Let q be f(0). Let s be ((-3)/(-6))/((-4)/(-152)). Suppose -c = -v + 2*c + s, -20 = 4*c. Which is greater: v or q?
v
Let r = -19 + 16.8. Let u = -2.1 - r. Which is smaller: 0.5 or u?
u
Let m = 489 - 489.1. Which is smaller: m or 109?
m
Let x(u) = 6*u**3 - 5*u**2 + 3*u - 2. Let z be x(3). Is 124 at most as big as z?
True
Let t(k) = -k**2 + 3*k + 9. Let f be t(12). Which is smaller: -103 or f?
-103
Suppose 2*s - 17 = -s + 5*n, 0 = -4*s + 2*n + 18. Let y be (3 + s)*36/14. Let d = y + -19. Is 1/19 bigger than d?
True
Suppose -8*r - 2*h + 6966 = -4*r, -3479 = -2*r + 3*h. Is r greater than or equal to 1742?
False
Let d be (-314)/8 - (-36)/(-48). Let q be (3/d)/(24/20). Is -2 less than q?
True
Let x = 52.4 + -3.4. Let n = x - 48.8. Which is smaller: n or -2?
-2
Suppose -5 = 2*b - 3. Let h(o) = o**2 + o. Let l be h(b). Suppose j = -l + 2. Which is smaller: -1/4 or j?
-1/4
Suppose -1783*v + 1200 = -1788*v. Which is smaller: v or -242?
-242
Suppose 0 = -28*n + 21*n - 7. Suppose -5*l = -r + 66, 0 = r - l + 17 - 71. Are n and r unequal?
True
Suppose -273 = 6*p - 5*p. Let g be 1/1 - p/(-315). Which is bigger: g or -0.1?
g
Let k(o) = -17*o**2 + 2*o**3 - 8*o - 36 + 14*o + 6*o + 6. Let m be k(8). Let q = -99 + 504/5. Which is smaller: q or m?
q
Let b = -0.456 - -1.456. Is 2/175 at most as big as b?
True
Let z be (-6)/15 + (-12)/(-5). Suppose 5*y + a + 30 = 4*a, z*y - 9 = -3*a. Let h be 8*(-1)/(6 + 28/(-7)). Which is greater: y or h?
y
Let s = -26.3 - -57.3. Which is greater: s or 2/7?
s
Let o = 157 - -227. Is o <= 385?
True
Let h = 110 + -109. Do h and -431 have the same value?
False
Let w = -488 - -501. Which is smaller: 10 or w?
10
Suppose 4*t - 69 + 17 = 0. Suppose 3*q + 8 = -q, -5*i = -5*q - 85. Which is smaller: t or i?
t
Suppose 339 = -4*r - 117. Let v = r - -461/4. Is 1 > v?
False
Suppose 5*j + 43 = -3*i, -5*i - 5*j = -24 + 79. Suppose -3*a = -w + 2*w + 25, 4*w + 23 = -a. Is a equal to i?
False
Let k = -6 + 1. Let l = -4 - k. Let s = 2/541 - -2693/3246. Do s and l have different values?
True
Let x(s) = 2*s**3 - 45*s**2 - 16*s - 5. Let l be x(23). Let u = l - 114. Is u at least 42?
True
Suppose -4*c + 2*c + 2*j + 6 = 0, -c + 18 = -4*j. Let z be (-5 + 45/10)/(c/4). Do -50 and z have different values?
True
Let f be 58/406 + (-2)/14. Which is smaller: 6/83 or f?
f
Let f be 6/9 + (3 - -1). Let s = 0.3 + -0.2. Which is smaller: f or s?
s
Let w = -15 - -17. Suppose w = i - 2. Let l be i/(-6)*9/39. Is -1 != l?
True
Let q be (15 - 2) + (0 - 1). Let y = q - 8. Suppose -y - 2 = 2*v. Which is smaller: -0.1 or v?
v
Suppose 3*y + p = 11, 2*y + p - 13 = -5. Which is smaller: -3 or y?
-3
Let r = -34.49 - -1.49. Which is smaller: r or -4?
r
Let w = 197 - 196. Which is greater: w or 9/88?
w
Let v be (0 - (-7)/2786)/(8/48). Is v smaller than 1/5?
True
Let j = 145.02 + -145. Does 1/4 = j?
False
Let y = 15 + -11. Let l(u) = -u**2 + 2*u + 8. Let s be l(y). Are 10/47 and s non-equal?
True
Let d = -0.74 + -0.16. Let c = 2.01 - d. Let x = -3 + c. Is x at least as big as 2?
False
Let y = 57 - 27. Let s be y/(-18) + 2 + 0. Is -5 less than s?
True
Let l = -26 - -25. Let c = -4 - -2. Let k = c + l. Is k smaller than -2?
True
Let r = -63 + 220. Is 1 smaller than r?
True
Suppose 0 = -r, -7*g - r = -3*g - 20. Suppose -4*v = -2*x - 8, g*v = -3*x + 6*x + 15. Is x equal to -13?
False
Let q = 27.55 + -0.55. Let n = -26.047 + 0.047. Let b = n + q. Is 11 > b?
True
Let o be (4/78)/(2/6). Let h = -7.94523 + -0.05477. Are o and h equal?
False
Let u = 4 + -4. Let c = -19 + 18.91. Let b = -0.06 - c. Which is smaller: u or b?
u
Suppose 2*k + 9 = -5*q - 3, -5*k - 7 = q. Let i = -14 - -12. Let n be (-5)/i + 9/(-3). Which is smaller: n or k?
k
Let r = 1731/10 + -173. Is -7 at most r?
True
Suppose 28 = c - 22. Let k = 23 - c. Is k greater than or equal to -27?
True
Suppose 0 = -5*y - 5*o - 20, y = -3*o - 0*o - 4. Let p be ((-1)/(-2))/(2/y). Let s be (6/(-4))/(1032/32). Which is greater: p or s?
s
Suppose 5*i - 5*x - 4 + 14 = 0, 4*i - 2*x = -4. Let n be (411/15)/((-216)/15). Let j = n + 16/9. Does i = j?
False
Let j(h) = -3*h**2 - 48*h - 8. Let k be j(-10). Which is smaller: 173 or k?
k
Let q(k) = k**2 + 4*k + 7. Let v be q(-3). Suppose 26 + 13 = v*o - 3*z, -4*z = -12. Is 14 bigger than o?
True
Let h = 380 + -382. Which is smaller: 0.4 or h?
h
Let k = -354 - -4959/14. Let q be 182/8 - ((-42)/24)/7. Suppose 0 = q*o - 30*o. Which is bigger: o or k?
k
Suppose -2*l - 9*j = -13*j - 266, -265 = -2*l + 5*j. Which is smaller: 672