e
Suppose -2*t = 3*h + t + 12, 13 = -3*h - 4*t. Let v be 18/h + 4 - -1. Which is smaller: 1/39 or v?
v
Suppose 3*y = b + 822, 5*y + 18*b - 13*b = 1350. Is 274 at most as big as y?
False
Let x = 0.368 - 1.268. Which is smaller: x or -7?
-7
Let p = 41 - 36. Let u be p + (-76)/8 - (-1)/(-2). Let b(l) = -l**3 - 9*l**2 - 8*l - 6. Let h be b(-8). Is h less than or equal to u?
True
Let u = -76 - -180. Let j = u - 119. Is -1 not equal to j?
True
Let a be -36 + 28 - (-6)/1. Let t be (-9)/(-3) + 22/(-5). Is a != t?
True
Let c be (-1)/(54/75)*822/18. Let p be (-1)/4 + 255/4. Let n = c + p. Is 0 >= n?
False
Let y(c) be the second derivative of -c**3/3 + 7*c**2/2 + 2*c. Let t be y(6). Suppose -4*w - 11 - 17 = 0. Which is greater: t or w?
t
Let l be 1 + 2 + 7*-1. Suppose 5*k + 4*c + 36 = 0, 0 = -0*k + k + 2*c + 6. Are k and l unequal?
True
Suppose 5*q + 25 = 0, -4*x - 30 = -9*x + q. Let b = x - 16. Let l = 19 + b. Is 9 at most l?
False
Let a = 2098 + -2131. Is 1/6 != a?
True
Let d be (-3)/(-2)*(-8)/78. Suppose 25 = -5*r + f, 0*f = 2*r - f + 13. Let v = 4 + r. Is v > d?
True
Let p = 62.4 + -62.5. Which is smaller: p or 1.8?
p
Let x = 135/7 + -689/35. Let n = -0.7 - 0.19. Let t = n + -4.11. Which is smaller: x or t?
t
Suppose 1 - 11 = 5*x. Let n be ((-114)/150)/(x/(-34)). Let q = n + 13. Is -1 less than q?
True
Let i = -3.243 + 3.3. Let l = -1.357 + i. Which is greater: 0 or l?
0
Let s(x) = -x**3 + 6*x**2 + 35*x + 13. Let n be s(9). Let j be 49945/(-585) + (-4)/(-18). Let w = n + j. Is w <= 0?
True
Let q be ((-12)/20)/((-22)/(-10)). Let k = -1 - -0.9. Is q greater than k?
False
Let n(k) = k**3 + 4*k**2 + 3*k. Let j be n(-2). Let s = 27 - 35. Let y be (12/(-50))/(s/20). Which is bigger: y or j?
j
Suppose -4*n + 0*s + 2*s = 444, 5*s + 525 = -5*n. Let y = n + 124. Is y less than 15?
False
Let z = 62 + -62. Is z < -9/13?
False
Suppose -46 = -8*a - 6. Suppose 0 = 2*k + o + 2*o + 17, a*k = 5*o + 20. Does k = -2?
False
Let t be 4/(-26)*(-2)/1. Let r = 24 + 38. Let k = -61 + r. Which is bigger: t or k?
k
Let j = -166 + 166. Which is smaller: -2/51 or j?
-2/51
Let c(a) = a**2 - 8*a + 6. Let w be c(1). Which is bigger: w or -14/107?
-14/107
Let m be ((-92)/6)/((-22)/273). Let f = 190 - m. Let g(c) = 2*c + 17. Let j be g(-8). Which is greater: f or j?
j
Let v = 9828/5 + -1970. Which is smaller: v or -1?
v
Let y be 4/(-90)*-5 - 366/(-54). Suppose 5*h + 4*w = 5 + 52, w + 15 = 2*h. Which is bigger: h or y?
h
Let q(v) = -139*v - 19. Let c be q(-1). Is c greater than or equal to 120?
True
Let k = -541.8 + 489. Let z = k - -53. Let d(x) = -x - 1. Let g be d(-5). Which is smaller: g or z?
z
Let a = -5/2963 + 9671/2219287. Which is bigger: a or 0?
a
Let m = -256 + 252. Is -12 at least as big as m?
False
Let k be 5815/120 - (-3)/(-24). Let l = k - 48. Let r be 1*2/(-4)*2. Is r less than or equal to l?
True
Suppose -6*i = 21 + 69. Let f be (7 - i)*(-2)/4. Which is smaller: f or -10?
f
Let l(j) be the second derivative of -j**4/12 - j**3 - 7*j**2/2 + 2*j. Let z be l(-5). Let d be z/7 + 860/70. Do d and 12 have the same value?
True
Let u = -0.103 + 0.203. Is 28 != u?
True
Let h = 14.7 - -2.3. Let v = -20 + h. Let d = v - -3.3. Is 3/2 < d?
False
Let z be (-6)/4*(2 - 6). Let h be 9/(-11) - z/33. Let u be (-3)/(-18)*(-56)/6. Is h less than u?
False
Let s = 0.97 - -5.93. Let b = 7 - s. Is b < 1/17?
False
Suppose -3*k + 67 = 5*d, 2*k + 2*d = -2*k + 80. Let n = -18 + k. Is n less than -0.07?
False
Let z(k) = -k**3 + 7*k**2 - 12*k + 48. Let l be z(8). Which is smaller: -111 or l?
l
Let o be (-13190)/(-333) + (-6)/(-9). Let c be ((-15)/(540/(-2896)))/(2*-1). Let y = c + o. Is y at most as big as 1?
True
Let l be (-3)/28*(-9 - -8). Which is bigger: -3 or l?
l
Let g = 151 - 147. Let b = -21 + 26. Which is bigger: g or b?
b
Suppose 2*f = -10, 5*f = 2*m + f - 26. Let l be (12/(-9))/(m/(36/(-8))). Is 22/7 at least l?
True
Let y = -11 + 12. Let f(v) = -5*v**3. Let o be f(y). Which is smaller: o or 0.3?
o
Let u(v) = -v**3 - 5*v**2 + 1. Let j be u(-5). Let m = 5 + j. Let c(o) = 2*o**3 + 21*o**2 + 25*o - 11. Let k be c(-9). Which is smaller: k or m?
m
Let z be (20/(-12))/(-2 + (-3839)/(-1914)). Which is greater: z or -288?
-288
Let k(y) = 1551*y**3 + 60*y - 59. Let w be k(1). Is w not equal to 1553?
True
Let k = -11012/93 - 17/186. Which is smaller: k or -119?
-119
Let o = 11 - 11. Suppose -2*x + 0*k + 3*k + 23 = 0, 5*x - 26 = -3*k. Suppose o = 2*t + 19 - x. Are -5 and t equal?
False
Let z = -1.3 - -0.3. Let v be 41/(-82) + 2038/(-28). Let r = 73 + v. Which is smaller: z or r?
z
Let d = -0.5656 + 0.62. Let a = 34.1544 - d. Let g = a - 32. Is g > 2/5?
True
Let a = 554.3 - 555. Which is greater: 3.9 or a?
3.9
Let g = 346.57 + -348. Let m = -1.42 - g. Suppose 5 = -k, -i + 4*k + 8 = 2*k. Which is smaller: i or m?
i
Let q = 15050/3 - 4948. Let s = -331 + 399. Let z = s - q. Are -0.5 and z equal?
False
Let z be 3/(42/8)*7. Let m = -7075/2 - -3439. Let l = m - -102. Which is smaller: z or l?
l
Suppose 5*h + 4 = -4*p - 0, 5*p = h - 5. Is 2/397 at least as big as h?
True
Suppose 504 + 372 = 4*n. Which is greater: 216 or n?
n
Let j = 3833 - 2686931/701. Which is greater: j or 1?
1
Let m = -5.3 + 0.8. Let f = m + 4.4. Which is bigger: -13 or f?
f
Let u = -530 + 533. Which is bigger: u or 50/21?
u
Let t(r) = -r**2 + 14*r - 7. Let c be t(12). Let u = -17 + c. Let d = 7 - u. Is d >= 9?
False
Let s = 2 + -4. Let o be (4 + s)*(-18)/(-8) + -3. Which is greater: -4/7 or o?
o
Let n = -17 - -16. Let u = -5 + n. Let j = u - -6. Which is smaller: 0.4 or j?
j
Suppose -11*a = -15*a - 72. Let m be a/2*1/(-3). Suppose -l - m*l = -60. Which is smaller: 14 or l?
14
Let t = 51 - 93. Let c = 36 + t. Which is smaller: c or 0.03?
c
Let x(a) = -a - 3. Suppose 20 - 26 = 2*t. Let m be x(t). Do -4/3 and m have the same value?
False
Let g = 761/35 - 148/7. Do 9 and g have different values?
True
Let m = -10 + -30. Let k be (4/6)/(4 - m/(-12)). Is k at least -4/55?
True
Let d = 50 - 49. Let c be (-26)/(-7) + -1 + d + -4. Is c at least 27/4?
False
Suppose 28 = 5*z - 137. Which is bigger: -2 or z?
z
Let t = 14 + -17. Let f be (-17)/34 - t/2. Which is smaller: 14/9 or f?
f
Let u = -1.6 - -1.1. Let h = 11.5 + u. Let v = h - 12. Is v != -1?
False
Suppose -5*l = -3*m + 16, 5*m - 2*l - 3*l - 10 = 0. Let k be 26/(-8) - 9/m. Let p = 2.02 - 0.02. Which is smaller: p or k?
k
Suppose -6*q + 67 = 55. Which is smaller: 54/29 or q?
54/29
Suppose 11 = -2*a - 9. Let j = 10 + a. Which is smaller: -2/31 or j?
-2/31
Let v be 540/(-252)*(1/5 + -2). Which is smaller: 4 or v?
v
Let a(x) = 13*x + x + x**2 - 3*x - 10. Let v be a(-12). Let i = 65 + -64.5. Is i at least v?
False
Let k = -0.294 + -0.086. Is -0.1 bigger than k?
True
Let r = 1188 + -14245/12. Which is smaller: r or -1/2?
-1/2
Suppose -2*d - 4*p = 188, -4*d + 4*p = d + 414. Let b = -173/2 - d. Let h = -1 + 0. Which is smaller: b or h?
h
Let c = 1/17888 + 2611633/268320. Which is smaller: 11 or c?
c
Let w be (-44)/99 - (-118)/(-18). Which is bigger: w or 6/11?
6/11
Let z = 3.34 - -33.66. Which is smaller: z or 5?
5
Let a be (-31 - -29)*(-15)/2585. Is a less than 1?
True
Let o be 384/(-336) - (-249)/(-21). Which is greater: o or -19?
o
Let d = -118 + 118. Which is greater: 2/41 or d?
2/41
Let h be (-1)/((-4)/502) - (-27 - -23). Which is smaller: h or 129?
129
Let m be 18/(-3) + (-382)/(-64). Is 0 at least as big as m?
True
Let y(v) = v**2 + v - 14. Let a be (-3 - (-6 - -3)) + -7. Let h be y(a). Which is greater: h or 27?
h
Let s = 3 - 2. Let y(z) = z**2 + 7*z + 10. Let q be y(-5). Let w be q - 0 - (-6 - (-1 - 2)). Which is greater: s or w?
w
Let r = -201.223 + 201. Let y = r + 0.023. Let c = -9 - -26/3. Is c <= y?
True
Let t be 3/(-5) + 18/5. Suppose -t*p = 2*y + 201, p + 2*y + 20 + 43 = 0. Which is smaller: -70 or p?
-70
Let a = -6244481/105 - -178495/3. Let v = -139/5 + a. Is v smaller than -1?
False
Suppose u + 3*b - 10 = 2, 4*b = 2*u - 4. Suppose u*f - 34 = 4*f. Let s be 1/2 - 35/(-2). Is s less than f?
False
Suppose 4*d + 2 = 6*d. Let z be 1401/(-18) + (2 - 1). Let v = z - -77. Is v at most d?
True
Let n = 23 - 49. Let d = 25 + n. Which is smaller: d or -12?
-12
Let r(i) = -i**2 - 2*i + 5. Let k be r(-5). Let s = -8/55 - 1029/110. Do k and s have the same value?
False
Let t = -2/91 - -107/728