d?
d
Let s = 12 + -12. Suppose s = -3*y + 74 + 13. Let p be (-10)/(-25) + y/(-35). Is 1 greater than or equal to p?
True
Let b be 58*4/(-24)*1*-3. Which is greater: b or 27?
b
Suppose 2*p + 16 = -2*v, -5*p + 2*v = v + 10. Which is smaller: -2 or p?
p
Let i(m) = m - 1. Let u be i(-1). Let y be (-97)/(-9) - (u - 48/(-27)). Which is bigger: 12 or y?
12
Let f = 6 - 5. Which is bigger: 5/144 or f?
f
Let v(k) = -15*k + 201. Let t be v(14). Is t smaller than -17/2?
True
Suppose 22*h - 20*h + 3*q = 168, -84 = -h + 3*q. Do 81 and h have different values?
True
Suppose b - 4*b = 5*f + 8, -f = -4*b - 3. Let r = 7/6 + b. Is r less than 1?
True
Suppose 2*r + 3*f + f = -6, r = -5*f - 15. Let g be r + -10 + -1 + 3. Is g equal to -5/3?
False
Let y = 111 + -98. Is y at most 168/13?
False
Let o = 3 - 8. Suppose 2*k - 3 - 1 = 4*q, 3*q + 3 = -4*k. Let u be (o/(-430)*-2)/q. Which is greater: u or 1?
1
Let z be ((-9)/(-3))/(7/(-5) + 2). Let y be 11 - -2 - (-4 + z)*-1. Is 16 <= y?
False
Let p = -47 + 43. Let m be (-23)/7 - (0 + 1 + p). Which is bigger: m or -6/67?
-6/67
Let s(g) = -g - 5. Let u be s(-12). Let q(f) be the second derivative of f**4/12 + 5*f**3/3 + 5*f**2 + f. Let t be q(-9). Are t and u nonequal?
True
Let u be 19 - (-1 + 11) - 62. Is -53 at most as big as u?
True
Let b(p) = p**2 + 14*p - 7. Let c be b(-11). Let w be ((-8)/c)/(3/15). Is w less than -5/31?
False
Suppose 0 = -46*i - 3397 + 3029. Let d be (-320)/42 - 6/(-21). Is i less than d?
True
Let g be 2/(-4)*6*1. Let f be g*(3 + (-29)/3). Let v(w) = 10*w - 41. Let q be v(6). Which is greater: q or f?
f
Let a = 207/884 + -3/52. Are a and -1/8 unequal?
True
Let l be 1*(-2 + 1)*-1. Let f be 1 - (-1 + (2 - l)). Let g be f/(-3) - 20/(-24). Which is greater: g or 2?
2
Suppose 0 = -14*x - 507 + 129. Suppose 70 = -7*w + 2*w. Let m be x/21 + (-4)/w. Which is greater: m or -1/16?
-1/16
Suppose -2*z = 2*d - 8, 14 = 5*d + 2*z - 3. Suppose 0*v + d*v - 42 = 0. Let a be (-5)/v*-2 + -1. Which is smaller: a or -1?
-1
Let a = -188/1431 - -1/27. Which is greater: 0 or a?
0
Let h = -195.6 - -191.6. Is -19 bigger than h?
False
Let k = -64.4 - -65. Let g = -8 + 9.4. Let q = g + k. Which is smaller: 0.1 or q?
0.1
Let c be -2 - -9 - (1 - -1). Suppose 13 - 18 = -c*j. Let n be 16/(-10) - (0 - 0). Is n greater than or equal to j?
False
Suppose 3*a + 3*z - 18 = 0, -4*a + 12*z - 12 = 7*z. Let r = 2 - 2.5. Which is smaller: r or a?
r
Suppose 3*i - 27 = -24. Is 2/75 != i?
True
Let n(v) be the first derivative of -v**4/4 + v**3/3 + 3*v**2 + 2*v - 11. Let t be n(3). Are t and 7 unequal?
True
Let c(a) = a**3 + 5*a**2 + 6*a + 8. Let i be c(-4). Which is bigger: 94 or i?
94
Suppose 45 = 3*g + 3. Suppose 4*y + g = 58. Are 11 and y unequal?
False
Suppose 4*z - 8 = 5*t, 3*t = -2*t + 5*z - 10. Suppose -5*j = -j, t = 2*x - j - 4. Let w = -1487/7 - -213. Which is bigger: x or w?
x
Let h(v) = -v - 1. Let s(u) = 3*u + 4. Let g(k) = -4*h(k) - s(k). Let q be g(3). Let r = q - 4. Is 2 > r?
True
Let l be (14 + -5 + -179)/(-2). Which is bigger: 86 or l?
86
Let z = -12/7 + 1/21. Suppose 3*h - 1 - 2 = 0. Suppose -d + h = 4. Which is smaller: d or z?
d
Suppose -32 = -4*v - 12. Let z be -1 - 212/v - (-10)/25. Is -42 less than z?
False
Let z be -1*((-25)/5 + 5). Suppose z*q - 7 = -q - 4*y, 3*q = y + 60. Which is greater: q or 20?
20
Let p be 2*-1*21/14. Suppose 4*r + 10 = 2*v, -5*r - 3*v - 18 = -0*v. Is r greater than p?
False
Let k be (80/20)/(-73 - 0). Which is smaller: k or 2/5?
k
Let x = 349 - 1752/5. Is x less than or equal to 2/5?
True
Let m(r) = -r**2 + 12*r - 7. Let j be m(10). Let f = 98 - 64. Let z = f + -20. Which is bigger: j or z?
z
Let s(l) = l**3 - 8*l**2 - 12*l + 27. Let a be s(9). Which is greater: a or 5/12?
5/12
Let c = 2 + -2.025. Let s = 0.245 - c. Let p = s - 0.27. Is p >= -17?
True
Let b be 15/90 + (-1517)/30. Which is bigger: b or -51?
b
Let h(j) = -j**2 - 10*j + 8. Let l be h(-11). Let y be 2 - l/(3/7). Let o = 6 - y. Is -7/2 < o?
True
Let q = -18.6 - 0.4. Let z = -20.4 - q. Let b = -0.4 - z. Are b and 0.03 unequal?
True
Let z be ((-1)/(-4))/((-85)/81668). Let k = 238 + z. Let y(r) = r - 4. Let h be y(3). Which is greater: k or h?
h
Let w be (-3)/(-12) + (-1308)/48. Which is smaller: w or -51/2?
w
Let l be ((-1)/(-100))/((-16)/288). Is l < 1?
True
Let d = 0 - -6. Suppose -4*x = -d*x + 10. Are 30/7 and x unequal?
True
Let y = 2 + 0. Suppose y*l = -l. Let t be 4*(15/21 + 10/35). Is t greater than or equal to l?
True
Let g = 1479 - 1487. Which is smaller: g or 10?
g
Let n(d) = 2*d**2 + 10*d + 5. Let r be n(-4). Let i be (r - 116/(-36)) + (-156)/(-27). Suppose 0 = -3*s + 15. Are s and i nonequal?
True
Let c be (-3)/(3/12 + -1). Suppose 0 = c*k - 4*y + 28, -2*k + y = 5*y + 14. Let b be 102/63 - (-2)/k. Are 1 and b equal?
False
Let q be 3 - (8/2 - 2). Let t be ((-38)/(-40) + -1)*(-90)/(-12). Do q and t have different values?
True
Let q(i) = i**3 + 9*i**2 - 3*i + 49. Let r be q(-5). Which is smaller: r or 491/3?
491/3
Let z(f) = f**3 - 9*f**2 + 13*f - 13. Let l be z(8). Is l bigger than 24?
True
Let u(p) = -p**2 - 15*p - 2. Let g be u(-14). Let y = -6 - -10. Suppose 4*j - g = y. Which is smaller: j or 5?
j
Let n(q) = -2*q - 30. Let v be n(-16). Suppose 2*j = 3*u - v, 5*j + 0 = 5*u - 5. Which is greater: -1/21 or j?
-1/21
Let n = 8368 - 83759/10. Which is smaller: -9 or n?
-9
Let x be ((-80)/(-12))/((-1)/3). Let g(r) = 2*r**2 - 22*r + 5. Let u be g(11). Suppose u*o + 3*p = -0*p - 117, 0 = 3*o + 3*p + 75. Which is smaller: o or x?
o
Suppose -h - 5*f = -0*f - 28, -h + 2*f - 7 = 0. Suppose -4*o = v - 5*o, -4*v + h*o - 5 = 0. Let r be 1/(4/54)*236/(-531). Which is greater: r or v?
v
Let u = -30 + 50. Suppose -w = -2*w - u. Let f(m) = -43*m - 277. Let k be f(-6). Is k greater than w?
True
Let a = 52 - 34. Let p = 16 - a. Which is smaller: p or -4?
-4
Suppose 0 = -2*k + 46 + 72. Is k bigger than 56?
True
Let t(g) = g**3 + 5*g**2 - g + 4. Let y be t(-5). Let h = y - 11. Let m(x) = x + 2. Let z be m(h). Which is bigger: 5 or z?
5
Suppose h = 5*m + 74, -5*m = -2*h - 7*m + 124. Are h and 61 equal?
False
Let g = -0.07 + 0.37. Suppose -27 = -2*y - y. Let x be (1/y)/((-4)/12). Do g and x have different values?
True
Let h = 853 + -854. Let a be 7/(-6)*10/14. Do a and h have the same value?
False
Let d = 26 + -14. Suppose g + z + 17 = 5*g, -2*g + 3*z + 11 = 0. Suppose -g*k + 4 = -d. Are 2 and k equal?
False
Suppose -2868 = -3*g - 3*f, f - 4768 = -g - 4*g. Which is greater: 0 or g?
g
Let z = 449 + -451. Let h = 29 + 1. Let n = -123/4 + h. Which is smaller: n or z?
z
Let s = 3348 - 3326. Let c = 4 + 18. Are s and c equal?
True
Let j(p) = -2*p - 8. Let t be j(0). Suppose -3*w + 8 = r - 1, 2*w + 5 = 3*r. Suppose -27 = w*k + k. Are t and k equal?
False
Let t = 0.44 - -0.56. Let g = 0 - t. Which is bigger: g or 0.04?
0.04
Suppose 0 = 2*t - 3*t. Suppose -2*m + t*m + 2*u = 4, 0 = 3*m + 5*u - 10. Suppose m = -0*h + h. Is h less than or equal to -1?
False
Let o = -2/4825 - -106176/62725. Let u = 128/91 - o. Suppose -c + 1 = 2. Which is greater: u or c?
u
Let j be 85/(-75) + (-16)/(-120). Which is smaller: 1/161 or j?
j
Suppose 4*l + 32 = 5*p - p, 3*l - 2*p + 21 = 0. Let i be (l - -5) + 1*-7. Is i greater than or equal to -7?
True
Suppose 0 = -14*g - 42 + 28. Let i be 2/3*(-12)/236. Is g bigger than i?
False
Let t be (-4)/(-14) + -1*(-5766)/56. Is t greater than or equal to 102?
True
Let m = -1.27 + 76.27. Let t = 74 - m. Is t at most 2/29?
True
Let g = 5 + -36. Let n = 32 + g. Let x = 4555/22 - 207. Which is greater: n or x?
n
Let u be (0 - -1)*-2 - -17. Let t be (170/(-20))/((2/(-4))/1). Which is smaller: u or t?
u
Let x = 5 + -3. Let n = 16.6 + -16. Let v = n - 5.6. Which is greater: x or v?
x
Let l be (4 - 6)*30/(-4). Let s be 164/(-90) - (-9)/l - -1. Is 0.2 < s?
False
Let o = -32 + 11. Let b = o + 20. Let j be b/(-4 + 5 + 0). Which is smaller: j or -2/73?
j
Let u = 28 - 27. Let k(v) = -v + 1. Let n be k(4). Let c be (1/20)/(n/6). Which is smaller: c or u?
c
Let n = -31727/28 + 1133. Is n not equal to 1?
True
Let c = -1116299/44 + 25369. Let b = -5/4 - c. Which is bigger: -0.6 or b?
b
Let w be 3 + -4 - 495/(-6). Let r = w - 78. Suppose -4*q + 5 = -7. Which is bigger: q or r?
r
Let k = -106 - -110. Suppose -2*b + 3*w = 7, 2*w - k = -5*b + 7. Let o be 1/(