3*x + 9 = 25*r - 30*r, 3*r - x - 3 = 0. Suppose 5*l - l - 4 = 0. Is l equal to r?
False
Let c = 18.88 + 0.12. Let o = -482 - -463.05. Let g = o + c. Which is smaller: g or 2?
g
Let b = 5/45490642 - 826758302026/15080147823. Let v = b - -329/6. Is v less than or equal to -1?
False
Let u = 810 - 520. Let l be (35/u)/(-7)*-2. Which is greater: 1 or l?
1
Let b = -1793 + 1894. Which is greater: b or 305/3?
305/3
Let s(v) = 7*v + 29. Let j be s(-4). Is j greater than or equal to 2/693?
True
Suppose -9*k + 782 = 881. Does k = -9?
False
Let x = -405 + 399. Is x > -1/5?
False
Let z be (-3 + 0)*(-4)/3. Suppose 5*f + 0*f + 34 = 3*j, 3*j - 29 = z*f. Suppose -5*a + j*a + 2*w = 0, 3*w - 30 = -3*a. Which is smaller: a or 6?
a
Let i = -41 + 40.67. Let p = 0.24 + i. Does p = 0?
False
Let u(z) be the second derivative of -z**4/12 + 5*z**3/3 - 3*z**2 - 2*z. Let g be u(4). Suppose -68 = -4*f - 0*f. Is g less than or equal to f?
False
Let q(d) = -10*d - 4. Let a be q(-1). Let w = 9 - 9.3. Is w > a?
False
Let j = 35 - 32. Suppose j*x + 21 = 6. Are -5 and x unequal?
False
Let x(r) = 2*r - 5. Let v be x(7). Let g = 9 - v. Suppose g = 5*z - 2*z. Is z at most -1/12?
False
Suppose 3*j = -4*v, 0*j - 6 = -3*j - 2*v. Suppose 6 - j = y. Suppose 0 = 3*m + 2*u - 22, m - y*m = -u - 14. Is m at most 11?
True
Let o be (-454)/1540 - ((-38)/(-14) + -3). Is o bigger than -1?
True
Let l = 3 + -3. Suppose -5*d + 30 = 5*d. Suppose -2*k - k + d = l. Is 1/5 smaller than k?
True
Let f = -904/43 + 76074/301. Suppose -470 = 2*k - 4. Let g = k + f. Is -2 less than g?
True
Let g(u) = -u**2 + 2*u - 17. Let w be ((-1)/(-2))/((-8)/144). Let p be g(w). Is -116 not equal to p?
False
Let h = 290 - 169. Let p be (-7514)/442 - (-50)/3. Is p bigger than h?
False
Let k(f) = 27*f + 27*f + 6 - 55*f. Let r be k(5). Suppose 0 = 4*p - 5*l - 12, -p + l = 1 - 4. Is r >= p?
False
Suppose -5*v + 19*s = 20*s, 0 = -5*v + 3*s. Is 3/131 not equal to v?
True
Let m = 160/11 + -3062/209. Which is bigger: m or 4?
4
Suppose -50*m = -55*m - 45. Is m at most as big as 2?
True
Let y = -25 - -24.947. Which is smaller: y or 1?
y
Let m = 0.0738 - -201.9262. Which is bigger: -2/9 or m?
m
Let o = -524 - -17299/33. Which is greater: o or 1?
1
Suppose -31*f + 8*f = 391. Which is smaller: -22 or f?
-22
Let b(c) = -c**2 + 43*c + 0*c**2 - 46*c + 10 - c**3 + 5*c**2. Let v be b(4). Which is smaller: v or -3?
-3
Let k = 74 - 37. Let v = 37 - k. Which is smaller: v or 7?
v
Suppose 17 + 37 = h. Suppose 0*b = -3*b + h. Let s be b/3*8/18. Which is smaller: s or 4?
s
Suppose -2*x - 28 = 12. Is -13 bigger than x?
True
Let g = -94 - -80. Let v = 35 + -50. Is g > v?
True
Let g = 859/30448 - 7/176. Which is greater: -1 or g?
g
Suppose 3*n - 49 = 32*s - 30*s, -3*s = -3*n + 78. Let o(w) = w**3 + 7*w**2 + 5*w - 6. Let t be o(-6). Which is smaller: t or s?
s
Let a(y) = y**3 - 9*y**2 + 11*y - 13. Suppose -7 - 1 = -n. Let q be a(n). Suppose q*f = 10*f. Are 3/10 and f non-equal?
True
Let j be ((-93)/(-4))/((-9)/(-648)*2). Which is smaller: 838 or j?
j
Suppose 2*p + l - 296 + 1001 = 0, 4*p - 4*l = -1380. Is -350 less than p?
False
Let m(x) be the first derivative of x**3/3 - 2*x**2 + 5*x + 2. Let q be m(2). Suppose 1 - 12 = i - 4*n, -i = 4*n - 13. Is q less than i?
False
Suppose 31*y - 43*y - 16428 = 0. Which is greater: -1370 or y?
y
Let l = 8455482/605 - 13976. Is 0 >= l?
False
Let m = -564449/759 + 2231/3. Are 0 and m non-equal?
True
Suppose 4*g + 44 = 24. Let n be ((-26)/4 - g)*-16. Do 23 and n have different values?
True
Let h = -62 - -56. Let w be (1/h)/(3/(-342)*2). Which is greater: w or 11?
11
Suppose -13*w + 673 = -822. Let z = 231 - 115. Which is smaller: w or z?
w
Let r = -10443052/5199 - -6026/3. Which is smaller: r or -1?
-1
Suppose 4*m + k - 46 = 0, -2*m - 3*m + 61 = 3*k. Suppose x - 2*x = m. Let u = x - -11. Which is smaller: 1/4 or u?
u
Let h be -2*(-15)/(-18)*3. Let x be (0/h - -3)/(-1). Which is bigger: 4 or x?
4
Let s be 8/(-2)*(-15)/12. Let j = -117.06 - -118. Let q = j + 0.06. Which is smaller: q or s?
q
Let w = 2/7135 - 285406/21405. Is w not equal to -3/4?
True
Let p = 29 + -27. Suppose c - p*x - 4 = -2, -c = -x - 1. Suppose c = 3*w - 0*w - 18. Which is smaller: w or 4?
4
Let f = -9.1 - -11. Let s = f - -2.1. Which is bigger: s or -4?
s
Let j = 18 - 14. Suppose -j*t = 3*p + 17, 5*t - t + 23 = 3*p. Let v(c) = -8*c + 1. Let k be v(p). Is k greater than -1?
False
Let f = -30 - -34. Suppose j = 5*b + 12, b = 5*b + f. Let g(y) = y**3 + 5*y**2 + 3*y - 5. Let w be g(-4). Which is smaller: j or w?
w
Let y = 5 - 8. Let x(h) = h**2 + h - 4. Let q be x(y). Let b be -2 + (-84)/(-16) + 6/(-8). Is q > b?
False
Let c(q) = 15*q**3 + 4*q**2 - 6*q - 11. Let o(d) = -7*d**3 - 2*d**2 + 3*d + 5. Let r(j) = -6*c(j) - 13*o(j). Let y be r(1). Does y = 0?
False
Let l be (17/68)/(1 + (-33)/36). Let c be 26/(-4) + (-3)/(-6). Let g be (-4)/c*(-11)/(-4). Is g greater than l?
False
Let c(q) = -10*q**2 + 2*q - 8. Let a be c(-3). Let o = a + 421/4. Let z = 3 - 4. Which is greater: z or o?
o
Let a(p) = p**2 + 3*p - 10. Let y be a(-5). Let f = -45 + -9. Which is greater: y or f?
y
Suppose -17*s + 18*s = 0. Let p be (1 - 2/(-12)*-3)*s. Which is bigger: p or -1/80?
p
Let k(z) = -z**3 + 13*z**2 + z - 6. Let v be k(13). Let f be (v/2 + -4)*38. Is -19 at most f?
True
Let j be 9/21 - (-1 + 258/14). Is -17 >= j?
True
Let x be (-116)/36 + (-5)/(-45). Do 3/2 and x have the same value?
False
Let j = -135/847 + 2/121. Let d = -11/21 + j. Is d equal to -29?
False
Let m = -0.2 - -0.2. Let g = -3.8 - -4.6. Let v = g - 1.8. Which is smaller: v or m?
v
Let z(w) = 172*w**3 - 3*w + 3. Let f be z(1). Is 176 at least as big as f?
True
Let p = -82 + 408/5. Is p > -39?
True
Let j(n) = 4*n**2 - 15*n - 11. Let h be j(-5). Does h = 164?
True
Suppose -t + 5 = 3*r, -4*r + 3*t - 2 + 0 = 0. Suppose -j - h = -5 + r, -h - 16 = -3*j. Is j less than 3?
False
Suppose 4*y - 423 = v - 119, 4*y + 4*v = 304. Let d = y + -70. Are d and 4 non-equal?
True
Let u = -0.57 + -0.03. Let b = -35 - -52. Let t = b - 15. Which is smaller: t or u?
u
Let t(h) = h**2 + h - 11. Let j be (5 - (-45)/(-6))*-2. Let g be t(j). Are 20 and g non-equal?
True
Let q = 3116 - 3116. Which is smaller: -947 or q?
-947
Suppose 3*u - u = -3*o + 8, -5*o = 3*u - 14. Suppose o*h = 14 + 2. Which is smaller: h or 13/5?
13/5
Let g = 19.8 - 22. Let b = 17.2 + g. Let m = 14 - b. Is m at most as big as -1?
True
Let h = 151.9983 + -152. Which is greater: h or -2?
h
Let q = -79 + 79. Suppose -6 = 4*i - y + 30, i + 3*y = -22. Let b be ((-2)/i)/(132/(-30)). Which is smaller: b or q?
b
Let q be (17 - 15) + (-4)/(16/389). Which is greater: q or -94?
-94
Let s = 40 + -36. Let k = s + -7. Is -9 less than k?
True
Suppose -36*t = -14*t. Are 0.36 and t non-equal?
True
Let y be (6/24)/(10/40). Which is greater: y or 7/10?
y
Let v = -229/6 + 1337/30. Is 1/3 > v?
False
Let i = -19435/86 + 226. Is i less than -1?
False
Let b = -0.518 - -1.218. Is -0.2 at most b?
True
Let a be ((-46)/(-92))/(1*2/(-12)). Suppose -2*i = -11*i - 18. Which is smaller: a or i?
a
Suppose 3*g - 28 = 7*g. Let t = -11 - g. Suppose 2*r + 3 = f - 6, -f = -3*r - 11. Which is greater: t or r?
r
Suppose -3*d - 5*m - 106 = -7, -5*d - 155 = 5*m. Let t be ((-36)/d + 3)/(8/(-21)). Does -12 = t?
False
Let t(g) = 3*g**2 - 4*g - 1. Let x be t(6). Suppose 5*l - x = -4*f - 16, -4*l - f + 58 = 0. Do l and 16 have the same value?
False
Let s(n) = 647*n - 10. Let q be s(5). Suppose -u = 4*u - q. Let l = 8379/13 - u. Is l >= 0?
False
Let i be (33/12 - 2)/((-3)/(-180)). Let n = i - 46. Is 13 not equal to n?
True
Let r = -6 + 6.6. Let n = r - 0.5. Let a = -0.97 - -0.47. Which is bigger: n or a?
n
Suppose -l - 332 = -4*q, 0 = -4*q + 4*l + 429 - 109. Which is smaller: 83 or q?
83
Let y be 7 + (6/2)/(-3). Let l = y + -5. Suppose -3*i + 3 = 0, -j - i = -4*i + 3. Which is smaller: j or l?
j
Let w(s) = -1. Let o(j) = j**2 - 5*j + 4. Let c(b) = -o(b) + w(b). Let t be c(4). Is 1/3 <= t?
False
Let t = 3 + 1. Let d be t/(1/(10/(-4))). Let x = 993 + -1001. Is d != x?
True
Suppose -2*j - 3*j + 30 = 0. Let b be j/(-105)*-5 - 145/(-7). Which is greater: b or 22?
22
Suppose 4*a - 30 = 19*a. Let d(b) = 2*b - 5*b - b. Let q be d(1). Is q >= a?
False
Suppose 3*l + 2*n - 9 = -0*n, -4*l + n = -23. Suppose -4*q + q 