/(10 + -5). Which is greater: h or 0.66?
h
Let w = 3048 - 2987. Which is smaller: w or 621/10?
w
Let y = 11680 + -11129. Which is smaller: 2/3 or y?
2/3
Let q be 8 + (-11)/((-4)/(12/(-3))). Let l be (42/9)/(-1)*3. Let z be ((-15)/(-6) - 2)*l. Is q at least z?
True
Suppose 2*l + 4*f - 4 = 0, 0 = -l - 14*f + 10*f - 4. Which is smaller: 178/23 or l?
178/23
Let c be 535545/945 - 4*4. Which is smaller: 552 or c?
c
Let g = 45763761425/916 - 49960446. Let j = g - -3/229. Which is smaller: -9 or j?
-9
Let c(f) be the first derivative of 13*f**2 + 107*f + 25. Let l be c(-7). Is l greater than or equal to -75?
True
Let k be ((-6)/27 + (-8600)/(-38025))/(-2*5). Which is greater: k or -1?
k
Let t be 940*((-10)/1484 - 0). Let b = -58/53 + t. Do b and -6 have the same value?
False
Let b = 560 + -398. Let w be (-108)/b*(-2 + 5/(-2)). Which is smaller: 28 or w?
w
Let g = 5730.55 + 139.45. Is g equal to 1?
False
Let c = -86 + 85. Let j be (-1 + 0 - 0)/c. Let d be -2*(-85)/10 - j/1. Is d at least as big as -1?
True
Let l = -335/1308 + 2/327. Let q(d) = -2*d**2 - 18*d - 29. Let c be q(-7). Is l at least as big as c?
True
Suppose -12 = 3*o, k + 189 = -2*k + 3*o. Let i = 470 + -537. Is i equal to k?
True
Suppose 0 = -2*w - i + 30, 122 - 56 = 2*w - 5*i. Suppose -4*b + 19 = -3*b. Do b and w have different values?
True
Suppose -5246*x + 5253*x + 189 = 0. Which is smaller: x or 3?
x
Let t = 215 + -218. Let f be 0 + t + -25*1/(-5). Is 213/2 >= f?
True
Let m(g) = -11*g + 41. Let s be m(4). Let a = -27 + 26.68. Which is smaller: a or s?
s
Suppose -234 = -1782*m + 1795*m. Let u = 2578 - 12982/5. Are m and u equal?
False
Suppose -g = 4*t + 37, 41 = -2*t - g - 4*g. Let z(s) = -2*s + 32. Let u be 23 - (10/3 + 2/(-6)). Let c be z(u). Do t and c have the same value?
True
Let c(s) = 5*s**2 + 64*s + 143. Let g be c(-3). Which is greater: 85 or g?
85
Let n(d) = 35*d**2 - 1. Let k be n(-2). Suppose 4*s - 61 - k = 0. Suppose t + s = -t. Is t less than or equal to -25?
True
Let l = -2/50179 - -73813685/9433652. Let j = 27/47 - l. Is -7 at least as big as j?
True
Let c = -1624 + 1942. Which is greater: c or 313?
c
Let i = 39.03 - -2.17. Let b = 5.8 + i. Let o = 48 - b. Is o bigger than 0.09?
True
Let b = 44.71 + -43.71. Do 635 and b have the same value?
False
Let z be (-238)/(-8) - (1 + (-160)/128). Is z at most as big as 35?
True
Let p be 1/(-300)*(-7744)/(-1056). Which is bigger: 0 or p?
0
Let k = -13033 - -12992. Is k at least as big as 22?
False
Suppose 102*c = 28*c + 370. Which is greater: c or 234/47?
c
Let x be 9/(-6)*(-132)/(-18). Suppose -28*m = 280 + 28. Is m at least x?
True
Suppose -2*x = -17*x. Let q be ((4 - x/3) + -5)*1. Let m(i) = i**3 + 7*i**2. Let o be m(-7). Does q = o?
False
Suppose -175*u = -142*u - 177474. Is u at least as big as 5379?
False
Let o be (-5)/((-35)/(-3)) + 18264/84. Which is smaller: o or 214?
214
Suppose 6*z = 5*o + 4898 + 19460, -2*z - 19500 = 4*o. Is -4873 >= o?
True
Let h = -195.99 - -194.99. Let u = 5 - 8. Which is smaller: u or h?
u
Let b = -1.83 + -87.17. Let r = b + 88.41. Let o = 11.41 - r. Which is greater: 1 or o?
o
Let z = 63 - 63. Suppose a - 10*m + 9*m + 10 = z, 0 = -3*m + 12. Which is smaller: -55/9 or a?
-55/9
Let k = 4754 - 4128.9. Let b = 625 - k. Is b equal to 0.3?
False
Let c(m) be the second derivative of -3*m**3/2 + 3*m**2 + 15*m. Let j be c(-2). Let p = j - 58. Is p greater than or equal to -35?
True
Let d be (-3)/(3 - 351/114). Let c be (d/(-3))/((-47)/(-141)). Which is smaller: -39 or c?
-39
Suppose -1012 = -3*p + q, 0*q + 1360 = 4*p - 4*q. Let h be (p/36)/((-1)/3). Let z be ((-6)/h)/((-180)/(-80)). Is z <= -1?
False
Let o be (-2)/3*((-20)/(-8) - 1). Suppose -425 = -w - 3*p, 0*w - p - 885 = -2*w. Let i = w - 6163/14. Which is greater: i or o?
i
Let r(o) = -o**3 - 4*o**2 - 10*o + 8. Let s be r(-5). Let t = 89 - s. Let q be t/(-21) - -2*(-45)/(-70). Which is bigger: q or -1/63?
q
Let x(b) = -36*b - 52. Let w be x(-2). Suppose 0 = -w*g + 19*g - 19. Which is bigger: -20 or g?
g
Let f be -17 - -3 - 165 - -15. Are -164 and f unequal?
False
Let g be (63/(-532))/(0 - (-21)/56). Suppose 2*k = -3*k + 5. Which is bigger: g or k?
k
Suppose 4*f + 0*f + 16 = 4*d, -24 = 3*f + 3*d. Let b(h) = h**2 + 12*h + 26. Let a be b(f). Let m = 10 + a. Is m <= 0?
True
Suppose 11 = 4*h + 3. Suppose 35 = -3*d - 5*a, -h*a + 40 = -3*d - 9. Let k be (1/15)/(d/(-315)). Which is bigger: 1 or k?
k
Let p(d) = 30*d + 930. Let x be p(-31). Let s be -1*(-2 - (-759)/381). Is s > x?
True
Let d be 29675/(-85) - (-42)/357. Are d and -1738/5 equal?
False
Suppose u - 2 = 6. Let a be u/12*(-5 + 35). Let m be (-132)/a + 4/10. Is m less than -5?
True
Suppose -2*a - 3*x = 5, 0*a = 5*a + 4*x + 2. Suppose -21 - 5 = -2*v. Suppose -14 = -c - v. Which is bigger: a or c?
a
Let r = -2/173333 - 403519214/866665. Let m(j) = 149*j + 20. Let q be m(3). Let n = q + r. Which is bigger: 0.2 or n?
n
Let f be 29960/(-196) - 1/7. Let h = f + 1529/10. Do h and -1 have different values?
True
Suppose 128257 = 19*y + 123127. Suppose -546 = -2*d - 4*q, 3*q - 2*q + 1354 = 5*d. Is y greater than or equal to d?
False
Let c be 12/(-18)*114/4. Let v = 224 + -210. Let u = c + v. Which is greater: -39/7 or u?
u
Let t(i) = -i**3 + 21*i**2 - 9*i - 31. Let l be t(20). Let b = -104 + l. Is 84 > b?
False
Suppose -15 = -3*n, -4*m - 11*n = -7*n + 60. Let y = 19 + m. Which is smaller: 0.01 or y?
y
Let y = -76/861 - 3694/12341. Is y less than 0?
True
Let u be ((-20)/(-5))/(-2) - 2. Let j be (1/(-1))/((-5 - u) + 4). Let l = -12 - -11.8. Is l equal to j?
False
Let a = 770 + -762. Which is smaller: a or -8.7?
-8.7
Let d = 2/1673 - -1651/18403. Is d < -6.15?
False
Let l = 1096/7 - 157. Let w = 168900 - 168910. Which is bigger: w or l?
l
Let u(j) = -4*j**3 - 16*j**2 - 23*j - 40. Let p be u(-5). Is p equal to 1576/9?
False
Let a(c) = -360*c + 344. Let w be a(1). Which is smaller: w or -73/5?
w
Let h be (3 - 4) + (4 + 141/(-36))*4. Which is greater: h or -48/61?
h
Let b = -38 - -37.845. Let n = 15283 - 15282.955. Let i = n - b. Which is bigger: 15 or i?
15
Let w be (100/7 - 12/42) + -4. Let p be (-2 - -2)/(20/w). Is 1/187 <= p?
False
Let c = 0.98 - 63.98. Let h = -62 - c. Which is greater: h or 5/3?
5/3
Let o be 7/(9849/6)*(-2170)/4960. Let a = -9 + 10. Which is bigger: a or o?
a
Let n = -9365/2 + 4683. Let b be 0 + 1/120*5. Which is smaller: n or b?
b
Let d = -1.5 + -6.5. Let h = -9765/2 + 4693. Let u = h - -190. Which is smaller: d or u?
d
Let q = 3242 - 3239. Suppose 0*o + 108 = 4*o. Which is smaller: q or o?
q
Let u(m) = -557*m**2 - 8*m + 6. Let l(j) = -1672*j**2 - 26*j + 19. Let x(y) = 2*l(y) - 7*u(y). Let a be x(1). Let z be 2/10 - (6 + (-3234)/a). Is -1 equal to z?
False
Let p = -472936/783 - -16760/29. Which is bigger: p or -25?
-25
Let n be 29728/(-6)*(-7 + (-13)/(-2)). Let w = n + -2430. Is 46 < w?
True
Let o(p) = 2*p**3 + 11*p**2 + 5*p. Let g be o(-5). Is -46/273 < g?
True
Let w(g) = g**3 - 2*g**2 - 6*g + 9. Let o = 77 - 72. Let q be w(o). Suppose 3 = v + q. Do -50 and v have different values?
True
Let k = -33456 - -9802580/293. Which is smaller: k or 1?
k
Let w(o) = -2*o**2 + 80*o - 565. Let a be w(33). Is 1.8 less than or equal to a?
False
Let t be (-3 - 57/(-12))/((-3)/(-12)). Let q be (-3510)/(-42) - (-1 + 4/t). Let h = q + -89. Which is smaller: -7 or h?
-7
Let p be 10 + -218*(-4)/(-100). Is 0 < p?
True
Let m = 82 - -21. Let l = 325 - 222. Let q = m - l. Which is smaller: q or 0.12?
q
Suppose 3*c - 69 = -2*z, -6*z + 5*c = -z - 210. Let v(y) = 138*y + 6801. Let i be v(-49). Is z at most as big as i?
True
Suppose 4*w = -16, x + 2*w = 2*x - 23. Suppose -x*a = -18*a. Let v be (a - 13)*(-9 - -10). Is v < -11?
True
Let x = 361 - 352.36. Let z = -0.36 - x. Let i = z + 52. Which is smaller: -1/4 or i?
-1/4
Let i = 103 + -56. Let g = 33 - i. Let t = g - 8. Which is smaller: -2/9 or t?
t
Suppose -8*g = -3*g + 130. Let j(o) = o + 12. Let h be j(g). Which is greater: -13 or h?
-13
Let j = -7970 - -6760. Which is smaller: -1208 or j?
j
Let j = -4 - -2. Let v(o) = 4*o**2 - 2*o - 3. Let n be v(j). Suppose 4*l + 5*y - 73 = 0, 5*l = -202*y + 199*y + 88. Is l less than n?
False
Let t be ((-9)/198*253)/(2/4). Is t at most 46?
True
Suppose -7*i = -3*i - 124. Let z = -27 + i. Suppose -2*d + z*d + h = -1, -3 = 3*d + 2