 4/15. Which is bigger: t or h?
h
Let l = 60/13 + -339/65. Which is smaller: l or 0?
l
Let m be 8 + ((-666)/(-6))/(-3). Which is smaller: -25 or m?
m
Let z(y) = -2*y**3 - 4*y**2 - 2*y - 3. Let b be z(-3). Let u(o) = o**2 - 196*o - 776. Let p be u(-4). Which is smaller: p or b?
b
Let o(r) = -r**3 + 10*r**2 + 12*r - 12. Let f be (11/4)/((-5)/(-20)). Let v be o(f). Is 2/29 greater than or equal to v?
True
Let s = -360 + 375. Let b = -3.1 + 3. Which is greater: s or b?
s
Let h be 8/6*-6*38749/(-158). Let d = h - 1962. Is -1 smaller than d?
True
Suppose -p = 2*p + 5*r + 67, 45 = -2*p - 3*r. Let x = p - -29. Suppose -x*t + 3*w - 4*w = -6, -4*t + 8 = 4*w. Which is smaller: 2/9 or t?
2/9
Suppose -3*a + 5*k = -8*a + 20, 0 = 2*k. Suppose a*h + 79 - 3 = 0. Which is bigger: h or -18?
-18
Suppose 2*l = -2*l + 96. Suppose n + l = 5*n. Let k = -60 + 62. Is k smaller than n?
True
Let v be -2 - (2 + 0 - 2). Let m be (-2)/5 - (-52)/(-220). Is m >= v?
True
Let i = 371 + -2595/7. Which is greater: 1/59 or i?
i
Let y be (32/40)/(0 - 6/(-45)). Let j be (0 + 2)*(-3)/y. Let i be 2/7 - 20/119. Which is greater: j or i?
i
Suppose 4*u + 6 = 5*u. Suppose u*j - 11 = -17. Which is smaller: 2/87 or j?
j
Let w be 129 + -2 + 1 + -3. Suppose 6*h - h = w. Suppose 24*d - h*d = 0. Which is bigger: -2/11 or d?
d
Let v be ((-110)/(-15))/(40/16). Which is bigger: 4 or v?
4
Suppose -4*m - 30 = -5*c, 0 = -7*m + 3*m + 4*c - 28. Let j(o) = o + 7. Let t be j(m). Let v be (-1)/t + 27/30. Is -2/5 at most v?
True
Let r = 495.791 + -496. Let w = r + 0.109. Which is smaller: w or -29?
-29
Suppose 5*q = 5*n - 465, 9*n = 13*n - 5*q - 371. Which is smaller: 286/3 or n?
n
Let q be (22 - (-2)/(-2))/1. Let s be 2*(2 - q/9). Which is smaller: -1 or s?
-1
Suppose 5*f - 3*f = -322. Let s be -172 - (-16 + (6 - 1)). Is f >= s?
True
Let n(b) = 4*b - 28. Let d be n(5). Let r be (d/10)/(2/(-5)). Is r not equal to 3/2?
True
Suppose -11*z + 16*z - i - 4334 = 0, -5*z = -5*i - 4350. Is 866 != z?
False
Let r(c) = -c. Let h be r(5). Let z(n) = -n**3 - 4*n**2 + 6*n + 7. Let d be z(h). Let w = 1/37 - -513/185. Is w less than d?
False
Let b = -905/42 + -67/42. Which is smaller: -23 or b?
b
Let l = 1 - 2. Let b be (6 + (-56)/40 + -4)*-10. Which is bigger: l or b?
l
Let o = 0.2 - -8.8. Let v = 3870 - 19351/5. Do o and v have the same value?
False
Let l be 1/(37/(-19) - -2). Suppose 3*c - 83 = -29. Are l and c equal?
False
Suppose 2*k + g - 165 = 0, -3*g - 144 = -4*k + 171. Is k equal to 80?
False
Let m = -109.9 + 110. Let q = 0 + -0.2. Which is bigger: q or m?
m
Let r = -46.7 - -49. Let u = -1.6 + r. Let t = u + -0.5. Which is smaller: -6 or t?
-6
Let z = 2/1021 - 2380/172549. Let j = 20/507 - z. Suppose 0*m - 1 = -m. Is j at least as big as m?
False
Suppose 8*l + 7*l + 15 = 0. Is l at least as big as 2?
False
Let y(b) = -b**3 - 20*b**2 - 39*b - 25. Let r be y(-18). Is r <= 0?
False
Suppose 2*o + 41 = 53. Suppose 4*i - 7 = 1. Suppose 3*t + 9 = s, 2*t + 4 = i*s - o. Which is smaller: 2 or s?
2
Let s be (-33)/7 + (-6)/21. Let j(h) = 3*h + 4. Let y be j(s). Suppose t + 7 = -5. Do t and y have different values?
True
Let g = 13 - -20. Let p be (((-2)/12)/((-18)/(-81)))/g. Is 1 at least p?
True
Let j = -76 - -6. Let h = -70 - j. Which is smaller: h or 1/40?
h
Let p = -13 + 15. Let u = 4274/11 + -388. Do p and u have the same value?
False
Let p be (-1)/((-18)/15 + 1). Suppose 0 = -3*z + 5*i + 41, p*z + 2*i - 77 = 12. Is z greater than or equal to 17?
True
Let t be 429/(-20) + (-4)/(144/27). Let o = 32 - 10. Let f = t + o. Which is smaller: 1 or f?
f
Let z = -19.5 + 3.5. Let b = -15.4 - z. Let l = b + -0.78. Which is bigger: 1 or l?
1
Let h = 2 - 2.14. Let c = 183.8 - 183.7. Does h = c?
False
Let g be (-10)/(-2)*(-28)/630. Does g = 23/7?
False
Let g = 1052/5 - 210. Which is smaller: 115 or g?
g
Let x be ((-1225)/(-105))/(5/18). Which is smaller: x or 23?
23
Suppose -3 = o + 2*d - 3*d, -o + 5*d - 23 = 0. Suppose 0 = -o*z - z + 9. Suppose 0 = -8*r + z*r - 2*i + 3, 20 = 5*i. Is -0.02 at most as big as r?
False
Suppose -79*l + 1394 = -186. Which is smaller: l or 104/5?
l
Let v = -12.62 - -13.12. Which is bigger: -0.132 or v?
v
Let n(p) = p**2 - 4*p + 3. Let r be n(4). Let c(v) = 14*v - 6. Let x be c(r). Let z = x - 178/5. Is 1 smaller than z?
False
Suppose 93 - 3 = 10*i. Is i less than or equal to 6?
False
Let h = -177 + 269. Which is smaller: 2/5 or h?
2/5
Let q = 5.1 + 22.9. Let b = q - 27.93. Let a = 6 - 5.7. Is a <= b?
False
Let g = -6/293 - -10291/1758. Does g = 5?
False
Let t(y) be the first derivative of -y**4/4 - y**3 - y**2/2 - 8. Let v be t(-2). Suppose -4*g + 6 = 2. Which is smaller: v or g?
v
Let q(t) = -7*t**3 - 21*t**2 + 33*t - 22. Let f(z) = -10*z**3 - 31*z**2 + 50*z - 33. Let m(p) = 5*f(p) - 7*q(p). Let w be m(-10). Which is bigger: w or -2/13?
-2/13
Let m be 37/(-7) - (-2)/7. Let d = -429.9 + 430.2. Is d != m?
True
Let v = -415727 + 9535953/23. Let b = -1120 - v. Is b > -1?
True
Let x be 12/8 - 58/4. Let q = x - 14. Is q less than -27?
False
Let y = -3649 - -1687. Let c = -1951.13 - y. Let x = -0.13 - c. Is -0.1 greater than x?
True
Suppose 3*q - 69 = -0*q. Suppose 3*h - q = -5. Are h and 9 nonequal?
True
Let v = 22 - 22. Let j be v*((-15)/(-10) + -1). Which is smaller: -7/16 or j?
-7/16
Suppose -12*h - 6*h = 1368. Is -80 smaller than h?
True
Let h be 4/(-12) + 10/3. Suppose 0 = 5*p + 7 + h. Let i be -1*(p - 13/(-7)). Which is greater: 0 or i?
i
Let c be 360/(-100)*((-302)/152 - -2). Which is greater: -2/5 or c?
c
Suppose 0 = 4*k - 0*k + q - 14, -5 = -5*k + 5*q. Suppose -5*z - 10 = -5*d, 5*z - 1 = d - k. Let o be (4/6)/((-4)/(-6)). Is d greater than or equal to o?
True
Let u(i) = i**2 - 8*i + 10. Let s be u(7). Let t = s - 6. Is t bigger than -6?
True
Let b be 0/2 - (-1 + 1). Let x be (-12)/((-4 - -9)/(-10)). Suppose 5*j - x = -4. Which is greater: j or b?
j
Let h be (11 - -5)*(-66)/572. Let s = -6 - -3. Which is smaller: h or s?
s
Let t = -743 + 739. Is t smaller than -45/16?
True
Let i = 3 + -5. Let o be (-63)/36*(-4)/(-5). Let n = o - 11/10. Is i not equal to n?
True
Let b(r) = 5*r - 2. Let l be b(4). Let m be 42/1116 - 3/l. Which is smaller: 0 or m?
m
Let y = -637 - -360. Which is greater: y or -276?
-276
Let n = 0 - 19. Let z = n + 18.1. Let m = 141 - 141. Which is greater: z or m?
m
Suppose 0 = 4*g + 10 - 294. Let l = g + -70. Is l < 1/5?
False
Let p be (-120)/56 + 2 - 114/(-14). Let h be 3 - p/(-3*3/18). Which is bigger: h or 18?
h
Let d(w) = 7*w**2 - 111*w - 22. Let t be d(16). Which is smaller: t or -14?
-14
Suppose 4*m + 3*w = -0*m + 1058, 4*w = 4*m - 1044. Is m less than or equal to 265?
True
Let s = -178 + 175. Which is smaller: s or 12?
s
Let p be 36/(-54)*(-2 - 43/(-2)). Is p less than 0.4?
True
Let n be 2716/6265 - (-2)/(-5). Which is bigger: -0.1 or n?
n
Let s be ((-96)/28)/(6/(-21)). Let m be ((-3)/s)/(2/(-24)). Which is greater: 1 or m?
m
Let j(c) = c**3 + c**2 + c - 8. Let a be j(0). Let y = -12 - a. Let n be 6/y - (-9 + 6). Are n and 1 equal?
False
Let w = -109 + 132. Which is smaller: 118/5 or w?
w
Suppose 3 = q + 2*q. Let c be (-1)/2 + q/(-2) + -55. Are -54 and c non-equal?
True
Suppose 0 = -8*y + 6*y + 6. Let h be (-1 - (y + -4))*1. Suppose 4*v - 4 = 2*v. Is v smaller than h?
False
Suppose 5*v + 44 + 22 = 2*a, a = -5*v + 33. Is a less than or equal to -4?
False
Let b(g) = g + 2. Let v be b(0). Let y = 151 - 171. Let m be ((-8)/(-48)*-3)/(2/y). Which is bigger: m or v?
m
Let u = -3184 - -149642/47. Is 1 smaller than u?
False
Suppose 0 = -7*n - 0*n + 28. Suppose k = -n + 7. Is k at most 13/5?
False
Let p(n) be the third derivative of -n**4/24 + n**3/2 + 5*n**2. Let h be p(2). Which is smaller: 2/109 or h?
2/109
Let f be ((-935)/(-165))/(2/(-66)*1). Which is bigger: 2 or f?
2
Suppose -2*g + 11 + 17 = 0. Let l(p) = -21*p - 468. Let z be l(-23). Which is bigger: g or z?
z
Let w = -37.2 - -31. Let d = w + 8.2. Is -9 != d?
True
Let b = -342 + 350.74. Let o = -0.26 - b. Let j = 0 - -0.1. Is o bigger than j?
False
Let p = -213/4 - -6595/124. Which is bigger: 1 or p?
1
Let a(z) = -z + 3. Let k be a(-1). Suppose -k*m + 10 + 2 = 0. Let y be 0 - (-15)/(-8 + m). Which is greater: -2 or y?
-2
Let b(w) = -w**3 + 40*w**2 + 9*w - 129. Let d be b(40). Which is bigger: d or 229?
d
Let f = 0.379 + -0.33. 