-6)/(-21). Which is bigger: i or b?
b
Let g be -272*(490/(-56) - -3). Which is smaller: -1 or g?
-1
Let f be 2 - (0 + (-1 - 0/2)). Do 0.1 and f have the same value?
False
Suppose 2*k + 2*k - 16 = 0. Suppose -2*o + 10 = k*v - 0*o, v = 2*o - 10. Let q(b) = -b + 6. Let l be q(5). Which is smaller: v or l?
v
Let w = 44.189 - -0.511. Let p = w + -45. Let c = -0.3 - -0.4. Is p greater than or equal to c?
False
Let v = -1.3 - 7.7. Let j = v - -9.02. Let h = 83/3 - 27. Which is smaller: j or h?
j
Let j = 1/3 - 4/15. Let u = -27 - -27. Is u > j?
False
Let h be (-19)/(-3) - 8/(-12). Let v be h/(-6) - (-6)/36. Which is greater: -1/10 or v?
-1/10
Let l(h) = -h**2 + 4*h - 11. Let i be l(4). Let w(r) = -r - 3. Let o be w(8). Is o at most i?
True
Let q = -181/740 - 1/185. Is -158 at most as big as q?
True
Let o = -27 - -29. Let r be (-4 - (-1 - o))*-27. Is 28 equal to r?
False
Let d(t) = -t - 7. Let y be d(7). Let z = y - -41/3. Let a = 0 + 0.9. Which is bigger: a or z?
a
Suppose 26*f = 29*f - 33. Suppose -41 - f = -13*x. Which is bigger: x or 5?
5
Let t = 8593 - 8565. Let z = 96 - 68. Is z greater than t?
False
Suppose -4*h + 3*q - 7*q - 4 = 0, 2*q = 4*h - 8. Let b be (h + (-2)/4)*-22. Let m = -38 + 26. Is m smaller than b?
True
Suppose g - 5*u + 2 - 7 = 0, 0 = -4*g + 4*u + 4. Let l be 8/24 - ((-45)/51)/(-3). Is l not equal to g?
True
Let z = -1837 - -1833. Is -110/23 at most as big as z?
True
Let i(s) = 3*s + 2. Let r be i(1). Suppose 5*z + 285 = -r*y, -4*z = -2*z - y + 105. Which is bigger: z or -53?
-53
Let x = 0.9559 - -0.0441. Let u be (-2)/5 - (-2)/30. Which is bigger: x or u?
x
Let g = 391 - 393.11. Are -4/7 and g equal?
False
Let o = 23 - 23.56. Let j = o - 0.34. Which is smaller: -0.1 or j?
j
Let p(l) = 4*l - 4. Let y = 12 - 8. Let j be p(y). Suppose -a + j = 2*a. Is a greater than or equal to -2?
True
Let r = 38 - 55. Let g = 16 + r. Does -0.2 = g?
False
Let i = 1/8917 - 9827/8114470. Which is greater: 0 or i?
0
Let s be (3393/(-60))/(-29) - (-3)/4. Which is smaller: s or 2?
2
Let i = -96 - -141. Let j = -45 + i. Is 2.5 less than j?
False
Let t = -3 - -3. Suppose 7*v = -5*v - 72. Let s be -6*(v/9 + t). Which is smaller: s or 1?
1
Let f(z) = z**2 - 23*z + 22. Let h be f(1). Which is smaller: h or -1/151?
-1/151
Let n be 1*-2*2/12. Is n at least -5?
True
Let g(w) = w**3 + 4*w**2 + 3*w + 2. Let u be g(-3). Suppose -2*v = v + u*v. Is -1 greater than or equal to v?
False
Let d(o) = o**3 + 7*o**2 + 3*o - 8. Let w be d(-7). Let c = 20 + w. Let z = 0.14 - 0.04. Is c at least as big as z?
False
Let h = 44/21 - 1301/651. Is -1 <= h?
True
Let d be 16 + 193760/(-12500) + (-1)/2. Are 0 and d nonequal?
True
Let d(i) = -2*i**2 + 2*i + 2. Let r be d(2). Let t be (-1236)/(-20) - r/5. Let s = t - 63. Is -2 > s?
False
Suppose -17*q - 6 = -20*q. Suppose q*d - 3*y - 2 = 0, -3*y + 4 = -2*y. Is 7 != d?
False
Let v = -14/111 + -14009/111. Suppose 5*u - 3*u = 248. Let w = u + v. Is -3 smaller than w?
True
Suppose -3*u + 10 = -2*u. Let m = -21 + 9. Let f = m + 22. Are f and u nonequal?
False
Let y = 1875.27 - 1741.7. Let k = -133 + y. Let p = 0.03 + k. Which is bigger: 1 or p?
1
Let u = 23 + -14. Suppose 4*n = 22 + 38. Let h = -6 + n. Is u less than h?
False
Let p(m) = 2*m - 10. Suppose 0 = 39*t - 38*t - 4. Let w be p(t). Let k = -8/9 + 124/99. Which is smaller: k or w?
w
Let i be -4 - 4/(-8)*8. Let l(d) be the second derivative of -d**3/3 - 2*d**2 + 7*d. Let x be l(-3). Is x smaller than i?
False
Let v(t) = -4*t + 8. Let h be v(1). Which is bigger: h or 0.19?
h
Let y = -4205 - -391060/93. Which is smaller: -1 or y?
-1
Let g = -12 + 30. Let z = 16 - g. Let n = 9 + z. Is -0.1 greater than or equal to n?
False
Suppose 0 = -m - m, -5*m + 10 = 5*n. Let f(y) = 15*y**2 + 4*y - 2. Let d be f(1). Suppose 5*g + 2 - d = 0. Which is smaller: n or g?
n
Let m = 52 + -26. Suppose -4*f - 86 = -m. Let w be f/(-4)*8/14. Is w != 3?
True
Suppose -5*c + 4*l - 402 = 0, c = -c - 5*l - 141. Let h = 101 + c. Is 21 smaller than h?
True
Let c = 15 - 19. Let x be 7/c + (-60)/(-20). Does x = -0.1?
False
Let x be (-1)/((-1)/(4/(-2))). Suppose 0 = 7*c - 0 - 7. Let i be (-45)/30*(33/9 - c). Is i less than x?
True
Let i be 12/(-15) + (-19)/(-5). Suppose -h = -z + i*h + 56, -275 = -4*z - h. Is 68 smaller than z?
False
Let c = 1.8 + -2.6. Let t = -0.2 + c. Let r = 0.05 + -1.05. Is r at least t?
True
Let n = -14 + 4. Let l = -11 + -1. Let x = n - l. Is x at most 0?
False
Let y = -0.03 + 10.03. Let t = 20 + y. Let v = t + -26. Is 2 at most as big as v?
True
Let o = -443/14 - -123625/3906. Let g = o - -1943/1395. Is g != 0?
True
Let d = 0.062 - 10.462. Let m = d - -22. Let b = 10 - m. Which is smaller: b or -2/7?
b
Let w = -4 + 21. Let b = w + -51. Is b < -34?
False
Suppose 3*f - 5 = 2*q - 3, -5*q - 5 = -f. Is -4/61 not equal to f?
True
Let u(l) = -4*l**3 + 2*l + 3. Let k be u(-1). Let h be ((-2)/(-5))/(5 + (-23)/k). Is 0.082 equal to h?
False
Let a = 17962/39 - 460. Which is greater: a or 2?
2
Suppose 2*p = -0*a + 3*a + 3, -5*p + a = -27. Suppose -2*m = 4*b - p, 6 = 4*b - 3*b + 5*m. Let s be 8 - 3 - (0 + b). Which is bigger: s or 7?
7
Let v(y) = -y**2 + 56*y - 114. Let k be v(54). Which is smaller: -10 or k?
-10
Let j = -102 + 101. Let s = -9 + 4. Let n be ((-18)/15)/((-11)/s). Which is smaller: n or j?
j
Let t(y) = -y**2 + 5*y - 4. Let h be t(3). Suppose 6*v - h*v + 2*m - 60 = 0, -3*m - 22 = -v. Let q be ((-3)/(-2))/(12/v). Which is greater: 3 or q?
3
Let c be 38/9 + (-2)/9. Let g be -2 - ((-2368)/292)/c. Which is greater: g or -1?
g
Suppose 7*f - 2*f = 55. Let w = f + 14. Suppose w = 5*t - 0*t. Is 1 at most as big as t?
True
Let w = 105.01 - 105. Is 15 less than w?
False
Let l = 226/3 + -79. Let d = -8 - -5. Which is smaller: d or l?
l
Let u = 0.4 + -0.36. Let s = -13 + 12.94. Let y = s - u. Are 2 and y unequal?
True
Let u = 2/165 - 7/33. Which is greater: 55 or u?
55
Suppose c - 4*m + 10 = -4, 2*c + 2*m - 12 = 0. Suppose n = -l - 2*l - 20, -2*l - c*n - 16 = 0. Let z be l/18 + (-17)/3. Which is smaller: -28/5 or z?
z
Let l be (-1 - (-2 + 2))*3. Let r be -1 + l*(-2)/15. Let x = -630.9 - -631. Does x = r?
False
Let x(j) = 3*j**2 - 6*j**2 + 3*j**2 + j**2 - 10*j + 20. Let k be x(7). Which is greater: k or 1/56?
1/56
Let q = -3.6 - -3.31. Let c = -1.29 - q. Does -0.1 = c?
False
Let q = 596 - 632. Which is greater: q or 5?
5
Let r(j) = -j**2 + 2*j - 10. Let g be r(0). Let v be g/20*(-2)/19. Let q be (2/6)/((-4)/12). Is q greater than v?
False
Let w(u) = -33*u - 1 + 7 + 32*u. Let z(s) = s**2 + 4*s - 4. Let c be z(-6). Let r be w(c). Which is smaller: r or -4/5?
r
Let n be 864/(-6630) - (-4)/26. Let d be (-2)/7 + 6/21. Suppose 3*g - 3 = -d*g. Which is bigger: n or g?
g
Let c = -1.8 + 2.8. Which is smaller: 22.5 or c?
c
Let w be (-94)/6 - 76/(-114). Which is bigger: -96/7 or w?
-96/7
Let l = 0.453 + 1.247. Is l at least 0.1?
True
Suppose -4*v + g + 17 = 0, 11 = -3*v - 5*g + g. Let c = -1.5 - -1.4. Is c greater than or equal to v?
False
Suppose 0 = -4*v - 4*p - 720, -111 = p - 110. Do -180 and v have the same value?
False
Suppose j - 86 = -4*h + 395, j - 5 = 0. Suppose 0 = 4*k + 117 + h. Is -58 less than k?
False
Let g = -2745 + 343127/125. Suppose 4*z - 5 = -z. Are g and z nonequal?
True
Let l = 35.7 + -50.7. Is 0.02 bigger than l?
True
Let g = 1.9 - 2.5. Suppose -72 = 10*z + 8*z. Which is smaller: g or z?
z
Let h be ((10/(-5))/1)/((-6)/(-69)). Is h >= -23?
True
Let g = -525 + 302. Is -222 greater than or equal to g?
True
Let n = 358 + -776. Which is smaller: n or -417?
n
Let j(t) = 41*t + 87. Let v be j(-12). Is v > -404?
False
Let w(t) = t**3 + 3*t**2 - 2*t + 4. Let n be w(-4). Let q(g) = g. Let r be q(-6). Is n less than or equal to r?
False
Let o be (-6)/(-21) + (-282)/56. Let d(c) = -8*c - 62. Let v be d(-8). Let s be (15/(-6) + 1*2)/v. Which is bigger: o or s?
s
Let p = 198 + -197. Is p bigger than -44/3?
True
Let y(w) = w**3 + 6*w**2 + 6*w + 4. Let b be y(-5). Let p = -55/8 + 65/8. Let i = p - 53/36. Which is bigger: b or i?
i
Suppose 0 = 4*l - 31 - 5. Suppose -4*c + 19 = -5*a, -3*c + 8 = 18*a - 23*a. Are c and l unequal?
True
Let d be 794/14 - (-20)/70. Let t = 58 - d. Is -1/42 > t?
False
Let l = 285 - 284.8. Which is greater: l or -70?
l
Let p(s) = -s**3 - 3*s**2 + 5*s + 3. Let d be p(-3). Let a = -91