d?
1/2
Let t = -10.8 + 11. Let b = 0.1 - t. Which is smaller: 4 or b?
b
Let y be 2/6 - (236/60 + -4). Let q be (-1)/((-1)/2) - 2. Which is bigger: q or y?
y
Let t(d) = 10*d**2 - d - 2. Let f be t(-2). Suppose f = 12*j - 17*j. Is j smaller than -4?
True
Let z be (1 + -1 + 0)*-1. Let p = 3/17 - -8/51. Which is smaller: p or z?
z
Let w(q) = -q**2 + 2*q + 2. Let j be w(2). Let p = -1 + j. Let t = p - 2. Is -1 bigger than t?
False
Let a = -73 + 513/7. Is a > 0?
True
Suppose -5*v - 3*g = 3, 2*v + 5 + 0 = -5*g. Suppose 0 = -2*r - v*r - 2. Which is smaller: r or -2?
-2
Let v = 7 + -3. Suppose -v*t = -2*t - 6. Which is bigger: 3/2 or t?
t
Let g = -30/19 - -821/532. Which is smaller: g or -2/7?
-2/7
Let p be 26/117 + 86/18. Let a(u) = -5*u. Let f be a(-2). Suppose -x - 5 = -t, -2*x - p*t = -3*t - f. Which is smaller: -2/19 or x?
-2/19
Suppose 5*z + 2*k + 7 = -27, 14 = -z - 4*k. Let s(f) = 2*f + 29. Let l be s(-16). Which is greater: l or z?
l
Suppose 5*f = a - 5, 0*a - a - 4*f + 5 = 0. Suppose 0*t = -3*t + 12. Suppose 0 = h + t*h - a. Is h greater than 3/7?
True
Suppose 6*o - o = 15. Suppose o*s - 4 = -19. Let a be (2/s)/(2/10). Which is smaller: a or -1?
a
Let w be (2/2)/(2/4). Suppose -2 = -2*o - 5*p + w, 10 = 5*o - 3*p. Let y(q) = 11*q + 36. Let k be y(-3). Which is greater: o or k?
k
Let m = 1 - 0. Suppose -f = 5*i - 4*f + 9, -5*i = 3*f + 21. Let r = i + 3. Which is greater: m or r?
m
Suppose 5*p - 214 = 111. Let c be (-1)/(-4) + p/12. Let d = c - 43/6. Is d less than or equal to -2?
False
Let o be 30/4*(-16)/(-12). Let c = o - 8. Which is greater: -1/3 or c?
c
Suppose 14 = -5*y - 51. Let z be y/30 - 9/(-15). Which is bigger: 1 or z?
1
Let f = 4.3 - 2.3. Which is smaller: f or -24?
-24
Suppose 0 = 3*y - 9, -22 = -2*h - 5*y - 1. Suppose -s = -2*n, -2*n + 2*s - 16 = -h*s. Suppose 3*w + n*w = 5. Which is greater: 4 or w?
4
Let b be (-2)/10 + 4418/(-1160) + 4. Does -1 = b?
False
Let l = 41.1 - 41. Which is smaller: l or 8/7?
l
Suppose 4*h - 98 = 5*f - 4*f, -114 = -5*h - 3*f. Let t = h + -99/4. Let p = -5 + 3. Is p greater than t?
False
Let u = -8 + 8.1. Let k be 26/(-22) + (-1)/(-1). Which is smaller: k or u?
k
Let b = -0.19 + 0.19. Let x = -0.06 - 0.94. Let g = 1.1 + x. Which is smaller: g or b?
b
Let d be 1 + 20/(4/1). Which is greater: d or 8?
8
Let o be 627/804 - 6/8. Which is smaller: 0 or o?
0
Let s = -3 - -6. Suppose 2*t = -6*w + w + 27, -5*t + s*w = -21. Suppose -4*m + t = -m. Is 1 != m?
True
Let b(l) = l**3 - 7*l**2 + 4*l + 8. Let g be b(6). Which is greater: -6 or g?
g
Let p(u) = u**2 - 10*u + 10. Suppose -2*w + 9 = -w. Let q be p(w). Let o = -2 + 3. Is o != q?
False
Let z be -1 + (2 - 2) + 1. Suppose 2*h + 2*s = z, 4*s + 2 = 3*h - 6*h. Suppose -h*r = -4*r - 6. Is r at most as big as -2?
True
Let z = -1.8 + 2. Let w = 2153/9 - 239. Which is smaller: z or w?
z
Suppose -13 = -2*o + 3*l - 0*l, 0 = 4*o + 2*l - 2. Let s be (-2)/5 - 36/10. Let b = 5 + s. Is b > o?
False
Let x = 1 - 2. Let a be (-18)/6 + (0 - x). Let b be (-12)/10*a/(-6). Are b and 1 nonequal?
True
Let b = -87.1 - -87. Which is smaller: -11/7 or b?
-11/7
Let u = -1 - 0. Let d(i) = i**2 + 11*i + 9. Let j be d(-8). Let o be ((-2)/15)/(j/25). Which is greater: u or o?
o
Let v = 3 + -3. Suppose 3*z - 13 - 2 = v. Suppose -29 = -z*f + 11. Is f less than or equal to 8?
True
Let p = 12 - 3. Suppose -2*z - z - p = 0. Suppose 0 = -8*o - 2*o - 30. Is o smaller than z?
False
Let z be ((-36)/(-660))/((-2)/5). Which is smaller: 0 or z?
z
Let b be 2/17 - 48/119. Suppose -3 = 3*f - 6. Is f greater than or equal to b?
True
Let o = -5 + 6. Which is bigger: -3/22 or o?
o
Let i = -14 - -27. Let t = i - 14. Let y(f) = -f + 6. Let v be y(5). Which is smaller: t or v?
t
Let m be (-1)/(4 - 6)*0 - 2. Suppose -5 + 2 = 3*j. Which is greater: j or m?
j
Let r = -0.49 - 0.01. Let c = r - -0.5. Is c >= 2?
False
Let s be (-8)/28 - (-141)/126. Is 2 greater than s?
True
Suppose -15*c + 19*c = 4. Is -4/17 at least as big as c?
False
Suppose 0 = -2*f + 15 + 9. Is 13 bigger than f?
True
Suppose -5*v + 10 = 5*m, 5*m + 2*v - 7 = 4*m. Let c(w) = w**2 + 2*w - 1. Let o be c(m). Which is smaller: 1 or o?
1
Let i = -12 - -5. Suppose 4 = -4*x + 5*s, 4*s - 8 = 7*x - 3*x. Is x greater than or equal to i?
True
Let y = 6 + -5. Let q = y + 1. Let u = q + 1. Which is bigger: u or -1?
u
Let f = -25 - -51/2. Are 1/2 and f equal?
True
Let q = 240 + -234.92. Let s = q - 5. Is 0 at least as big as s?
False
Let d = -41 - -33.8. Let f = 5 + -5.2. Let s = d - f. Which is smaller: -1 or s?
s
Suppose 2*k - 1 = 3*y - 15, 0 = 4*y + k - 4. Suppose -4*v - y*f = f + 4, 3*f + 14 = v. Is v < 5/6?
False
Suppose 4*n + u = -u + 14, 3*n - 2*u - 28 = 0. Suppose n*x - x = -30. Does x = -5?
False
Let w = 7 - 11. Let k = 1 + -4. Is k < w?
False
Suppose 0 = -5*j - 0*j. Let k be (2*-1)/(-1) - -18. Suppose -4*g = r - k, -r - 4*g - g = -25. Is j greater than r?
False
Let u(a) = -a**3 + 4*a**2 + 4*a + 10. Let i be u(5). Which is greater: i or 2?
i
Suppose y + 4 = q - 0*q, 0 = -y + 1. Suppose -12 = -5*p + 3*f, 8*p - 20 = 3*p - q*f. Let r be 2 + (-2)/(-1 + p). Are r and -1 non-equal?
True
Suppose 5*x + 4*s - 5*s = 25, -6 = -4*x - 2*s. Let a = 7 - x. Let c be 0 + a*(-2)/21. Which is smaller: 0 or c?
c
Let v be (50/26 - 2)*(-18)/12. Which is smaller: v or 0?
0
Let x = -12 + 24. Are x and 10 nonequal?
True
Suppose 3*n = -n + 20. Let d(k) = k**2 - k - 2*k + k - 2*k - n. Let l be d(5). Do l and -2/11 have different values?
True
Let z be 2 + (1 - -2) + -3. Is z less than 5/2?
True
Let t = -16/37 + 1323/3145. Is t < -1?
False
Let c(m) = -2*m + m + 3 - 6 + 1. Let d be c(3). Is -3 at least d?
True
Let z be (6/(-4))/(3/4). Let y = -3 - z. Let d = y - -1. Is d greater than 0?
False
Let r = 54 + -53.9. Is r > 32?
False
Suppose 2*f = -5*i + 6, 3*i + 6*f - f - 15 = 0. Suppose i = 5*a - 3*p - 6, -3*a = 2*a - 4*p - 8. Is 1/20 bigger than a?
True
Suppose 2*n = 2*y + 80, -163 = 4*y - n - 0*n. Let g = y - -403. Let u = g - 3979/11. Which is smaller: 1 or u?
u
Let x = 9 - 6. Let o(z) = -z**3 - 12*z**2 - 11*z + 2. Let w be o(-11). Which is smaller: x or w?
w
Let g = -411/119 + 25/7. Suppose -s = 3*k - 0*s + 3, 0 = -4*s. Is g > k?
True
Let n be (-72)/135 - 3/(-9). Let s = -1.8 + 2. Do n and s have the same value?
False
Let n = 48.7 + 11.3. Are -0.1 and n equal?
False
Let y(u) = -u**2 + 5*u - 6. Let s be y(4). Is -6/11 > s?
True
Let z = -6.2 + 5.9. Which is smaller: -0.8 or z?
-0.8
Let v = 36 - 33.9. Let z = v - 2. Which is smaller: 4 or z?
z
Let c = -77.84 + 87.9. Let k = c + -10. Let t = k + 0.14. Which is smaller: t or -0.5?
-0.5
Let v = -68 + 46. Is v > -23?
True
Suppose -4*s = -2*q + 24, 2*s = -5*q + 6*s + 30. Suppose -q*o + 10 = 3*o. Which is smaller: -2 or o?
-2
Let t = -68.95 + 69. Which is greater: t or -2/3?
t
Let b = -0.4 + 5.4. Let l = b - 5.06. Let t = l - -0.06. Which is smaller: -2 or t?
-2
Let g(v) = v**2 + 4*v + 3. Let t be g(-2). Let u = 33/20 - 1543/20. Let h = u + 74. Is t != h?
True
Let h be 2/100*26/13. Which is greater: -1 or h?
h
Suppose -7 = 2*j - 3*v, -4*j + 3*v = 7 + 4. Let g be j + (-3 - (3 + -7)). Which is smaller: 9/7 or g?
g
Let t be -1 + 0/((-1)/(-1)). Let k be ((-2)/2)/(t - 0). Let f = 686/9 - 76. Is f greater than k?
False
Let b be (-6)/(3/12*6). Which is smaller: b or 1/3?
b
Suppose -8 = 3*z + 5*f, 3*z - 5*f + 4*f + 38 = 0. Let u = z + 12. Is u greater than -1?
True
Let v = -14746/23 + 641. Is 1 > v?
True
Let a(o) = o - 5. Let m be (-20)/(-6)*9/5. Let l be a(m). Which is smaller: -1/17 or l?
-1/17
Let c = -47695/42 - -1136. Let l = -1/14 + c. Is l less than or equal to 2?
True
Let w = 3616 - 3576.79. Let z = 39 - w. Is z at most as big as 2/7?
True
Let p = -11 + 7. Let o be ((-4)/30)/(12/(-10))*3. Which is bigger: p or o?
o
Let g = 8 + -7.8. Is g >= 0.2?
True
Let w be (14 - 4)*(-6)/(-35). Let u = 67/35 - w. Which is greater: u or 2/5?
2/5
Let f = -5803202/585 - -9920. Let d = 399836709691/4680 - 85435194. Let m = f + d. Which is bigger: -1 or m?
m
Let h be (-14)/90 + (3 - 125/45). Which is greater: 1 or h?
1
Suppose 0 = 15*b - 11*b + 96. Is 1 at most as big as b?
False
Let w(n) = n**3 - 4*n**2 + 3*n - 4. Let u = -7 - -11. Let c be w(u). Suppose -r - 3*r = c. Does r = -1?
False
Let y(z) = z**3 - 8*z**2 + 1. Let a be y(5). Is -74 bigger than a?
False