 47 - 140/3. Let m = 12265/6 + -2044. Which is bigger: m or d?
d
Let v be 2/8 - (-2)/(-8). Which is bigger: 56 or v?
56
Suppose 3*i + 288 = -501. Which is greater: i or -265?
i
Suppose 0 = -57*p - 8539 - 4571. Which is greater: p or -234?
p
Suppose -10*h - 2936 = -576. Is -236 < h?
False
Suppose -3*b - 33 = -117. Let u = -45 + b. Is u less than -19?
False
Let f = 18 - -11. Let d = 421.7 - 393. Let r = f - d. Which is smaller: r or 2?
r
Let s be 12/(-5)*1/3. Suppose 28 = 8*z - 5*z - c, 5*z = 4*c + 49. Suppose 0 = -9*h - 0 - z. Which is greater: h or s?
s
Let a(p) = 7*p**3 - 2*p + 8. Let r be a(4). Let q be (3*(-2)/24)/(18/r). Is q greater than -5?
False
Let n(y) = -y**3 + 9*y**2 - 21*y + 33. Let x be n(7). Is 0.1 > x?
True
Suppose 0 = -y + 4*n - 14, 5*y - 3*n + 19 = -0*n. Suppose i = -4*t - 42, 12*t + 2*i - 48 = 16*t. Which is bigger: t or y?
y
Let o = -1.8 - -2. Suppose d - 3*q = 16, 4*d + 3*q = -d + 8. Suppose -17 = -d*j + 7. Is o less than or equal to j?
True
Let g(a) = -3*a + 80. Let h be g(27). Let w be 26*(-4)/4 - h. Is w <= -26?
False
Suppose -3*l - 5*f + 4 = -5*l, -12 = 2*l - 3*f. Let k(y) = y**2 + 11*y - 8. Let x be k(l). Let o be x/(-8) - (-2)/(-20). Which is smaller: 0 or o?
o
Suppose 9 + 19 = 2*j. Let v be ((-43)/j + 3)/((-3)/(-18)). Do -1 and v have the same value?
False
Let q(w) = w**2 - 8*w - 5. Let k be q(9). Suppose 0 = -2*f - 2*n - 8, 2*f + 15 = -k*n - 1. Which is smaller: 2/7 or f?
f
Suppose -3*h + 6*h + 9 = 0. Suppose 95 - 125 = 10*m. Is h > m?
False
Let s(r) = -r - 10. Let l be s(-17). Suppose h + 5*i - 13 = 0, 5*i = 2*h - 0*h + 4. Which is bigger: h or l?
l
Let d(o) = -21*o**2 - 2*o - 8. Let z be d(6). Is z smaller than -775?
True
Let h = -23/120 + 19/24. Which is greater: 19 or h?
19
Suppose 11*u - 17*u = 2652. Which is smaller: u or -443?
-443
Suppose 7 = a + 1. Suppose 0 = 4*q - 3*q - 10. Suppose b - 18 = -q. Which is smaller: b or a?
a
Let v(g) = -3*g + 3. Let q be v(-8). Let y = q + -16. Is 10 >= y?
False
Let i = 503 + -295. Which is smaller: i or 209?
i
Let g = 39 - 46. Let a(l) = -7*l. Let r be a(1). Let t = r - -5. Which is smaller: g or t?
g
Let d(h) = h**3 - 14*h**2 - h + 19. Let k be d(14). Suppose k*q - 5 = 10. Suppose -3*u + 0 = q. Is -2/17 equal to u?
False
Let z be 9/(-2)*(4/(-12) - 1). Let m be ((-282)/42 + z)*(-3)/(-5). Which is smaller: m or 3?
m
Let y(f) = 1 - 3 + 0 - f. Let i = 79 - 81. Let l be y(i). Is l != 0?
False
Let l = 3386/3 + -1126. Is 4 at least as big as l?
True
Let q = -96 + 102. Which is smaller: 53/10 or q?
53/10
Let w = 1.068 - 0.068. Is 9 not equal to w?
True
Let a = 8 + -9. Let i = 2562 + -43552/17. Is i smaller than a?
False
Let s = -882/13 - -68. Is s less than or equal to -1/5?
False
Let g = -12547247/21 + 597363. Let o(f) = f**3 - 5*f**2 - 6*f - 5. Let b be o(-4). Let p = b - g. Which is smaller: p or -1?
-1
Suppose -4*u + 2*u = 4*c + 12, -c - 2*u = -3. Let l be (-8)/28 + 2916/14. Let v be (-182)/l - 2/16. Is c at most v?
True
Suppose 88 = -o - 3*o. Let y be ((-2)/(-4))/(o/(-2248)). Let g = y - 51. Which is greater: g or -0.1?
g
Let b = 42.1 + -65.1. Let q = -0.17 - -0.27. Which is smaller: b or q?
b
Suppose 36*u = 10*u - 494. Is -128/7 > u?
True
Let q = -1.896 - -1.896. Let d be 3*13*6/45. Let f = 162/35 - d. Is f less than q?
True
Suppose -o + 3 = -z, -z - 10 + 1 = -3*o. Suppose o*r = -0*r + 3. Is r smaller than -1/13?
False
Let v = 0 - -3. Suppose -v*c + 16 = -4*l - 2, 2*l = 4*c - 24. Suppose -c*x + 4*x + 6 = 0. Which is bigger: 4 or x?
4
Let p be 11*(4/(-1) + 3). Let o be 2 + -17 + (-6)/(-3). Do p and o have the same value?
False
Let n = 119 + -107. Which is greater: 2 or n?
n
Let a = -134.84 - -132. Let m = a - 0.16. Let l = -8 + 14. Is m <= l?
True
Let a(l) = -4*l - 9. Suppose -50 + 54 = -b. Let k be a(b). Which is smaller: 9 or k?
k
Let r = -0.1 - -7.1. Which is greater: r or -1/9?
r
Let u = -0.03 + 0.33. Let d = 0.1 - u. Let w be 8 + 205/(-10) + 11. Is d equal to w?
False
Suppose 9*l - 7*l = -2. Let k be ((-4)/(-8)*0)/l. Suppose -4*u - 14 + 10 = k. Is u at most as big as 1?
True
Suppose -68*x = -2*c - 64*x + 10, x + 7 = 5*c. Does c = -7?
False
Let b = -102 + 107. Suppose 121 - 86 = b*l. Is l equal to 11?
False
Suppose 3 = 5*h - 2. Let g be h*(2 + (-9 - 2)). Let x = -19 - g. Which is smaller: x or -9?
x
Let n = -21576/11 - -1960. Which is greater: 0 or n?
0
Let a = 2/101 - -63/1919. Let p = 21 - 85/4. Which is smaller: a or p?
p
Let r be -146 + ((-5)/10)/(4/24). Which is smaller: r or -148?
r
Let n(d) = d**3 + 9*d**2 + 13*d - 6. Let z be n(-7). Is z at least as big as 0.037?
True
Suppose -5*f + 2*u = -58, f - 6*u + 11*u = 17. Which is smaller: f or 45/4?
45/4
Let n = 104522/65 - 1608. Is n less than -2?
False
Suppose -4*n + 32 = -0*n. Suppose -7*b = -3*b + n. Is b bigger than -1?
False
Suppose p - 5 - 17 = 0. Let x be p/11*3/2. Suppose 5*v = 5*t - 0*v - 20, -x*t = -5*v - 16. Is t <= 3?
True
Let c = 0.27 - -0.59. Let p = c - 0.61. Is -1 smaller than p?
True
Suppose 0 = 2*x + 3*x - 80. Let c = -1860 - -1860.1. Is c not equal to x?
True
Let a be (12/8)/((-6)/(-8)). Suppose 4*y - 4 = 0, -m - 2*m - 7 = a*y. Let o be (m - 12/(-4))/(-3). Is o smaller than 1/24?
True
Let z = -124.19 - -124. Let t = 16 - 15.65. Let l = t + z. Is l greater than 2/5?
False
Let i be (13/(-52))/(15/(-6) + 2). Let n = -4 + 6. Let b be 10 + -1 + n/(-2). Which is greater: b or i?
b
Let f be -207*(55/(-11) - -4). Is f >= 210?
False
Let k be (-58)/(-319) - 10/55. Is k at most -5/8?
False
Suppose -15 = 3*w, 77 - 247 = 4*o + 6*w. Which is bigger: o or -255/7?
o
Let u be 3*((-5)/(-3) - 1). Suppose u*y - 3*y = 4*y. Which is smaller: -2/7 or y?
-2/7
Let g = -85 + 90. Suppose -2*a = -g*a + 30. Is 10 greater than a?
False
Suppose -5*i - 60 = -115. Which is bigger: i or -21?
i
Let t = -120387999/70 - -1719786. Let p = t - -623/15. Let n = p - -5/14. Which is smaller: -2 or n?
-2
Let f = 125 - 382. Is -1/2 > f?
True
Let t be (1 + 0 - 0) + (-108)/(-2). Which is greater: t or 56?
56
Let u = -9/89 - -575/4806. Which is smaller: u or -1?
-1
Let u be -10 + (284/32 - -1). Are -69 and u non-equal?
True
Let x = -10 - -9. Let v(n) = n**3 + 6*n**2 + 4*n - 3. Let g be v(-4). Suppose 0 = p - 4*w + 7 - 1, -4*p + 5*w = g. Do x and p have the same value?
False
Let z = -62 - -123. Let i = z + -58. Is i at most 2?
False
Let z be ((-36)/970)/((-27)/(-180)). Is z greater than or equal to 1?
False
Let x = 5.3 - 5.2. Which is bigger: x or 214?
214
Let l = 9241.927 + -9249. Let o = -0.073 - l. Let f be (-4)/(-35) + 2/(-5). Which is smaller: o or f?
f
Suppose w - 4*o = -12, w - 2 = -4*o + o. Let h = -18386 - -110287/6. Is w >= h?
True
Let p(m) be the first derivative of -1/3*m**3 + 0*m + 5 + 9/2*m**2. Let w be p(9). Which is greater: w or -2/7?
w
Let a be 6/(3/((-30)/(-4))). Suppose -13*r + 195 = -13. Which is greater: a or r?
r
Let k be 5010/(-16) - (-2)/(-4). Suppose 11*u - 2191 = 4*u. Let r = k + u. Which is greater: r or -1?
r
Let u be (1 - (-10)/(-6))/((-16)/72). Let k be 1 + (1 - 1 - u) - 66. Which is greater: k or -67?
-67
Let w be (-172)/(-14) + (-6)/21. Let s be w/30 + (1 - 1). Which is greater: -1 or s?
s
Let g = -202 + 193. Which is smaller: 6 or g?
g
Let t = 946.057 + -943. Let d = 0.043 + t. Let p = -3.1 + d. Is -9 at most as big as p?
True
Let z = 1 + -3. Let o be (-56)/(-12)*(1 + (-114)/96). Which is bigger: o or z?
o
Suppose -5*q - 111 = 139. Let i = q + 36. Which is smaller: -13 or i?
i
Suppose 0 = 4*x - 5 - 3, -4*x = -3*u - 35. Let r be ((-4)/10)/((-6)/(-129)). Which is smaller: u or r?
u
Let n be 7/694*(-68)/(-119). Which is smaller: 1 or n?
n
Let i be (2*1)/(9 + -8). Let t be 9 - (i + 0 + -3). Is t >= -0.1?
True
Let q = -17.35 + 0.35. Let l = q - -17. Which is smaller: l or 35?
l
Suppose 3*z + 3*s - 83 = -z, 0 = 2*z - 5*s - 61. Which is greater: 70/3 or z?
70/3
Let r(t) = 32*t + 1. Suppose 4*d - 4 + 0 = 0. Let i be r(d). Let x be (-1)/(-1)*6/i. Which is smaller: x or 2/5?
x
Let q = -3 + 6. Suppose 25 = 5*t, q*c + 0*t = -4*t + 20. Which is smaller: c or -2/25?
-2/25
Let f be (-4)/(8/(-109)) - 15/(-10). Which is smaller: 59 or f?
f
Let n = -332 - -331. Are n and -124 nonequal?
True
Let c = 85/4 + -13. Let q be (1326/12)/17 - 2/(-4). Which is smaller: c or q?
q
Let k(a) = a**2 - 16*a + 16. Let r be k(12). Let o = 18 + r