m be (2/(-5))/(n/(-10)). Which is bigger: f or m?
f
Suppose 46*a = -3*a - 10388. Which is smaller: a or -211?
a
Let p = -9216 - -9213. Let s = 18 + -8. Is p not equal to s?
True
Let p = -0.98 - 0.02. Let f = 5.5 - -0.5. Let y = -6 + f. Are p and y nonequal?
True
Let t(w) = 18279378*w - 4. Let i be t(-2). Let k = i + 1220916349859/33396. Let m = k - -1/484. Is m >= 0?
True
Let y(t) = t + 2. Let v(i) = i - 8. Let n be v(11). Let q be y(n). Suppose q*s - 8 = 3*m - 1, 5*s = -3*m + 13. Which is smaller: m or -1/31?
-1/31
Suppose 4*t = -2*p - 3188, -7*t + 5*t - 4*p = 1582. Which is smaller: t or -798?
t
Suppose 3*h - a - 9 = 0, 2*a = -2*a + 12. Let q = -226 + 230. Suppose q*p = h*x + 4, -x - 2*x + 1 = p. Which is smaller: x or -5/6?
-5/6
Let y be (204/(-85))/(2/60). Let m be (-34)/y + 10/(-40). Is m at least 1?
False
Let b(r) = r - 5. Let m be b(5). Suppose 4*q - q + 12 = m. Let v = -1 - 3. Is v < q?
False
Let x = 82 + 8. Let k = x + -85.1. Let j = -5 + k. Which is greater: j or 2?
2
Let o be ((1 - 6/4)*-2)/(-1). Let v(g) = 4*g**2 - 3*g - 3. Let p be v(o). Which is smaller: -1 or p?
-1
Let u be 2/(3/30*4). Suppose m + 3*a = -15, -3*m + u*a - 24 = -7. Suppose z + 4*s - 7 = -0*s, -s = 5*z + 41. Is z bigger than m?
False
Let c = 1082 - 1082. Which is smaller: c or 1/521?
c
Let n(d) = 8*d - 84. Let i be n(13). Are 20 and i equal?
True
Suppose -h + 6 = x, -3*x + 8 = h - 0*x. Let g be h/(-30) + 22/24. Which is smaller: 1 or g?
g
Suppose 38*z = 26*z. Is z > 1/454?
False
Let l = 6.299 - -1.911. Let c = 8 - l. Let h = c - 0.19. Which is bigger: h or 1?
1
Let z = -28/37 - 617/407. Which is greater: -2 or z?
-2
Let v = 0.13 + -0.03. Let g = v - -0.02. Let y = g + -5.12. Is -2/7 at most y?
False
Let s be 0 + 21/6*(-8)/(-14). Let x be 1/3*3 + 2/s. Which is greater: x or 8/3?
8/3
Suppose -13 + 3 = -2*t. Suppose 3*n + 5 + 0 = t*b, -4*b + n = -11. Are b and 7 non-equal?
True
Let y be 3 + 251/3*3. Let h = 131 - y. Let w = 852/7 + h. Which is greater: w or 0?
0
Let k be 4 + -2 - (6 - 6). Let a be -3*(2 - 7/3). Let z be (k - (-1 + 3))/a. Which is smaller: z or 16?
z
Let k(f) = f**3 - 9*f**2 - 24*f + 26. Let r be k(11). Let g be 1 + -10 + (-2 - -5). Let m = g + 10. Is m >= r?
True
Let c = -134/25 - -2228/425. Which is smaller: c or -2.1?
-2.1
Let n = 1467 - 1467. Let o = -200/671 - 4/61. Which is bigger: o or n?
n
Suppose 0 = -2*u - 4, -3*l + u - 89 = 2*u. Let k = 16 + l. Is k at least -13?
True
Let k = -119/2 + 469/8. Let f = 5/24 + 1/24. Is k greater than or equal to f?
False
Let x = 29 + -52. Let y = 2 + x. Which is bigger: y or 2/7?
2/7
Suppose 2*y + 6 = -2*c + 4, -y - 3*c = 5. Let j = -274.8 + 253.8. Which is smaller: j or y?
j
Let k = 96 + -95. Let l = 4.8 + -5. Let s = l + 0.4. Is k equal to s?
False
Let v be 152/20 + (-2)/(-5). Let b(i) = 3 - 18*i + v*i + 9*i. Let l be b(4). Is l bigger than -4/11?
False
Suppose -33 = -5*b - 3*p, -4*p + 0*p - 8 = -2*b. Let y = -3 - 8. Let f be y/(-18) - 3/b. Is 2 <= f?
False
Let a = 16.783 + -19.783. Let i be (-2)/(-7) - (-34)/126. Is i greater than a?
True
Suppose 0 = 5*v - h - 19 + 63, v = h - 8. Let z(i) = i**2 + 7*i - 4. Let x(l) = -l**2 - 19*l + 14. Let r be x(-20). Let n be z(r). Which is greater: n or v?
v
Let g(h) = h**2 - 34*h - 147. Let r be g(36). Which is smaller: -74 or r?
r
Suppose 0 = u - 2, -n - 2*n = 4*u - 53. Let s = 36 - n. Let h be 195/s + (-4)/14. Is h at most as big as 8?
False
Let i(f) = -f**2 - 2*f - 4. Let b be i(-4). Let c be ((-6)/b)/(2/(2 + 2)). Which is bigger: -3/11 or c?
c
Suppose 0 = 3*p - p + 20. Let s be (p/20)/((-2)/2). Which is bigger: 1 or s?
1
Let r(z) = -1461*z**2 + 24*z + 26. Let s be r(-1). Are -1459 and s non-equal?
False
Let d = -562 + 11800/21. Let l = d - -20/21. Which is smaller: 0 or l?
0
Let c(q) = q**3 - 7*q**2 - q + 7. Let b be c(7). Suppose -2*j + 166 = 3*j - 3*m, b = 2*m + 4. Let n = j - 701/22. Does 1 = n?
False
Let z(k) = 5*k**3 - 15*k + 19. Let v be z(3). Which is smaller: 107 or v?
107
Let x(c) = -45*c + 721. Let j be x(16). Is 1/1001 not equal to j?
True
Suppose -32 = 9*k - 5. Let r = 0.7 + -4.7. Is r at most k?
True
Suppose -3*p - 35 = -5*q + 124, -5*p = 5*q + 305. Let b = p - -55. Is -1 < b?
False
Let t be (7 - -2) + 2*-2. Let x(c) = c**2 - 6*c + 5. Let f be x(t). Let y = -19/60 - 1/12. Which is smaller: f or y?
y
Let f be -36 + 3/(-3) + -1. Which is smaller: f or -41?
-41
Suppose 99 = 5*w - 2*w. Let t = -2 + -10. Let z be (-11)/w + (-1)/t. Which is bigger: z or -1?
z
Suppose -10 = 4*k - 6*k. Let r = -79 + 112. Let v be (r/8)/(3/4). Which is smaller: v or k?
k
Suppose -2*m = -0*m. Let h be 4/20 - (-1)/2. Is h not equal to m?
True
Suppose -2*b - 44 = -4*b. Suppose -24*f = -b*f - 8. Suppose 0 = 3*r - 3, -t + r - f = -2. Is t not equal to 2/29?
True
Let k be (6 - 9)/(6/(-62)). Let t = -29 + k. Let y be t/4 + (-40)/16. Which is bigger: 0 or y?
0
Let a = 250597/9 - 27816. Is 29 not equal to a?
True
Let u = -1453/4386 - 3/1462. Let c = 0.16 - 0. Let y = -6.84 - c. Which is bigger: u or y?
u
Let g = 1.33 + -1.2. Let a = 2399 + -2399. Which is smaller: g or a?
a
Let j = 34023/5 - 6776. Do 29 and j have different values?
True
Suppose 3*z = -0*z + 3. Let p(b) = 26*b + 1. Let d be p(z). Let o = d - 26. Which is smaller: -4/21 or o?
-4/21
Let t be 6/(-189)*6/(-14). Let y = -139/588 - t. Is y < 1?
True
Let d(c) = -c**3 + 2*c**2 + c - 3. Let k be d(-2). Is 32/3 less than k?
True
Let i(h) = 2*h**2 - 3*h + 5. Let v be i(4). Suppose 2*d + u - 11 = 1, 0 = -5*d - 4*u + 30. Suppose 122 + 28 = d*l. Are v and l unequal?
False
Let t be 7 + 2 + (0 - 3). Suppose -7*s + t = -9*s. Let g be (-2)/4*(-15)/s. Which is greater: 1/4 or g?
1/4
Let s be 33 - (540/81)/(8/6). Let l = -15 - -44. Is s < l?
True
Suppose -3*c + 5*i + 368 = 0, 29 + 87 = c - 3*i. Suppose 0 = -4*p + g - c, 3*p - g = -74 - 25. Is -31 less than p?
False
Let y = -0.088 + -0.012. Is y equal to -240?
False
Suppose -41 = -6*v - 35. Let z = -667/9 - -74. Which is smaller: v or z?
z
Let k be (3 - 2) + (-1 - (1 - -1)). Let b be (-21)/(k + (-25)/(-20)). Is b at most 28?
True
Let a be 60/(-207)*30/(-4). Which is smaller: 3 or a?
a
Suppose 5*i - 18 = -5*w + 7, i + 4*w = 20. Which is greater: i or 2/73?
2/73
Let y be (7*(-40)/(-476))/2. Is 0 less than y?
True
Let b(u) = -2*u + 9*u - 7 - 7. Let m be b(2). Let f be 4/14 + (-26)/140. Is f at most m?
False
Suppose -25*r = 5*m - 29*r - 4, -4 = -r. Is m != -49?
True
Let h = 2/5 + 1/10. Let p(w) = -2*w - 3. Let x(t) = 3*t + 5. Let v(z) = -7*p(z) - 5*x(z). Let k be v(-8). Which is smaller: h or k?
h
Let u = 664 - 665. Which is smaller: u or 1/536?
u
Let v be (15/(-2))/(3*1). Let b be (-9)/1 - (-4)/6*-6. Let d be 13/(-4) + 17 + b. Does d = v?
False
Let a be 7/(420/(-32))*6/(-8). Is a != -1?
True
Let h = 5 - 3. Suppose -y - 1 = r - 10, -h*r + 18 = 5*y. Which is smaller: 11 or r?
r
Let c be 2/(1 - -5) - 1. Suppose 218 = -13*x - 68. Let i = -20 - x. Which is smaller: c or i?
c
Let s = 27 + -32. Let t be (9/s)/(1 - (-27)/(-15)). Is 0 bigger than t?
False
Let t = -1282 + 1283. Which is smaller: t or 216?
t
Suppose -7*t + 4*t = 3*b - 84, b - 97 = -4*t. Suppose t*s = 18*s. Are 5/8 and s unequal?
True
Suppose 19*w - 1171 - 1318 = 0. Which is bigger: 130 or w?
w
Suppose -3*z + 29 = -1. Let t be 12/z + (-2)/10. Is -2/41 smaller than t?
True
Let b(m) = -m**2 - 12*m - 8. Let l be b(-11). Let n(c) = c**2 + 1. Let r be n(-3). Suppose i = a - 4, -a + r = 3*a + 2*i. Are l and a equal?
True
Let b = 11 + -8. Let h(w) = -98*w + 3922. Let s be h(40). Is s less than b?
True
Let l = -5.9 + -2.1. Let z = 4 - l. Let d = -12 + z. Is d >= -1?
True
Let h = 77.8 - 25.8. Which is smaller: -4/5 or h?
-4/5
Let l be ((-18)/(-4))/(21/(-28)) - 1. Let c be 6/(-7)*(l - -6). Suppose 3*z = -0*z + 6. Does c = z?
False
Let c = -152 - -87. Let r = -66 - c. Is -1.8 at least as big as r?
False
Let q(b) be the second derivative of b**5/20 + b**4/3 - b**3/2 + 9*b**2/2 + 34*b. Let u be q(-5). Which is smaller: 2/19 or u?
u
Let v be 3/(-7)*(-2)/9. Let c = 1 - -3. Suppose -3*m + 7 = -2*i, -4*i - 29 = c*m + i. Which is smaller: m or v?
m
Suppose -15 = 395*f - 400*f. Let c(h) = -h**2 - 5*h + 7. Let d be c(-6). Let u = 3 - d. Which is bigger: u or f?
f
Let n = 9 - 8.86. Let l = n + 13.86. Let h = 15 - l. Which is greater: h or 24?
24
Let o = -0.0