(95/25 - 4)/(11/p). Is h <= 1/2?
True
Let j(i) = -i**3 - 14*i**2 - 11*i - 6. Let a be j(-13). Let m be ((-60)/a)/((-21)/(-4)). Which is bigger: m or 1?
1
Let u be (-44)/(4/6*-3). Let r = u - 9. Suppose -5*h + 4*s = r, h + 2 = -3*s + 4*s. Which is smaller: -2 or h?
h
Let h = 126.3 + -121. Let v = h - 5. Let p = -83 + 82.9. Which is greater: p or v?
v
Let s = 46 + -27. Let k = -18.7 + s. Is k > -3?
True
Let u = 14 + -27. Let l = u + 90/7. Let t(b) = b - 1. Let s be t(2). Is l at least as big as s?
False
Let h be (-2)/(5/(330/(-4))). Let z be 1 + (-1 - (-3)/h). Suppose -4*x = 2 - 6. Is x at most as big as z?
False
Let q = 109.95 + -110. Let r = 2.9 - 3. Which is smaller: r or q?
r
Let a = -317.9 - -318. Suppose j + 4 = 3*j. Suppose -j*n - 35 = 3*n. Is a smaller than n?
False
Suppose v - 245 = 55. Let z be -3 + v/(-18)*2/(-6). Which is smaller: 3 or z?
z
Suppose 29 = 3*m + 38. Is m at most as big as 0.09?
True
Let x = 29.5 - 29.1. Which is smaller: x or 1.1?
x
Let b be 4/12 + 5692/6. Suppose -v = -0*p + p - 191, 5*v + 2*p - b = 0. Let q be (-7)/(-6)*36/v. Do -0.4 and q have different values?
True
Let b = 128 - 143.9. Let r = -247 - -231. Let k = r - b. Is 2 greater than k?
True
Suppose -2*l + 22 = 22. Let j be (l - -3)*48/276. Are j and 0 non-equal?
True
Let b(r) = -5*r**2 + 4*r - 12. Let d be b(2). Is d at least as big as -9?
False
Let i = 1.1 - 3. Let n = i - -0.6. Let o = -1 - n. Which is smaller: 2/5 or o?
o
Let t(f) = 2*f - 30. Let g be t(16). Suppose -7 = q + 4*x - 3, -3*x - 3 = g*q. Let r be 1*-2*1/7. Which is smaller: r or q?
r
Let l = -0.1 - -0.2. Let u = 37 - 69. Let m = u - -41. Is l at least as big as m?
False
Let u be ((-48)/10)/2 + -2. Let j be -8 - (2 + -11) - (8 + -2). Which is smaller: j or u?
j
Let s = 23/19 - 229/95. Let w = 0.12 + -0.02. Is w less than or equal to s?
False
Let s = -2068 + 1405. Is -662 at most as big as s?
False
Suppose -4*j + j = -45. Let f be (-28)/(-175)*j/2. Let w(l) = l - 7. Let v be w(9). Which is smaller: v or f?
f
Let w = -5.01 + 5. Suppose -11*l + 32 = -3*l. Do l and w have the same value?
False
Suppose 6*w - 10 = 4*v + w, -8 = 2*v - 4*w. Let m = 0.2 - 0.1. Does m = v?
False
Let w be 10/(-25) + 14/10. Let u(r) = r - 8. Let j be u(13). Suppose -3 = j*c + 4*l, -2*c + 3*c + 2*l + 3 = 0. Is c <= w?
True
Let x be (-264)/10 - (-2)/5. Suppose -16*h - 45*h = 16*h + 2079. Which is bigger: h or x?
x
Let s = 5 - 3. Let v be ((-3)/(-9))/((-1)/(-6)). Suppose -2*x - 13 = -s*a - 1, 0 = v*a + x + 3. Is a greater than or equal to -2/7?
True
Let q be (-2)/12*(4604/8 + -7). Is q less than or equal to -94?
True
Suppose -c = 3*s - 2*s - 7, s - 3*c = 19. Suppose -i - 3 + s = 0. Let p(a) = a - 4. Let t be p(i). Does 10 = t?
False
Let z = 2 - -1. Suppose -r - 2 = -3*r, -z*s = 5*r - 23. Let i = 12 - 5. Is s >= i?
False
Let n = -1/28 + -53/84. Suppose 2*l - 32 = l. Suppose -36*v - 4 = -l*v. Do n and v have different values?
True
Suppose -5*u + a = 109, 4*u + u - 5*a = -105. Let k be (-4)/u + (-160)/(-88). Let o be k/4 + 4/8. Which is greater: o or 2/7?
o
Suppose -5*p = 0, 5*x + 2*p + 8 = 13. Let u be x - (-390)/(-12)*(-2 - -1). Which is greater: 33 or u?
u
Let p(x) = -2*x - 6. Let a(k) = -3*k - 7. Let f(o) = 3*a(o) - 4*p(o). Let w be f(2). Let r = 29/3 - 9. Which is smaller: r or w?
r
Let w = 91 - 91.41. Let c = -3.61 - w. Let i = -2.2 - c. Which is smaller: i or -5?
-5
Let c be 1/6 + (3 - (-387)/(-54)). Which is bigger: -38/11 or c?
-38/11
Let d(y) = 8*y - 29 + 10*y - 16*y. Let p be d(13). Is -3 > p?
False
Let j be (730/110)/(-1) + 5. Is j bigger than 11?
False
Let c = -152.3 - -69.5. Let n = 83 + c. Is n bigger than -9?
True
Let w = -43.6 - -48.1. Which is bigger: w or -7?
w
Let d = -70 + 70.2. Is 1.4 at most as big as d?
False
Let b be ((-26)/6)/(3/18). Let u(w) be the second derivative of w**5/10 - w**4/6 - w**3/6 - 2*w**2 - 35*w. Let t be u(-2). Is t less than b?
False
Let c = 15 + -40. Let k = c - -30. Is k greater than or equal to -0.1?
True
Suppose 32*n - 7*n = -25250. Is -1010 smaller than n?
False
Let l = -34.94 - 0.06. Let z = l - -49. Which is greater: z or 1?
z
Let l = -42 + 43. Let i = l - 2. Which is bigger: i or -0.1?
-0.1
Let y = -79.7109 + 0.0109. Let c = y - -77. Which is smaller: -1 or c?
c
Let b(f) = f**3 + 8*f**2 - 12*f - 9. Let x be b(-9). Suppose 3*d - 5*d = 38. Let i = x + d. Which is smaller: 2/15 or i?
i
Let w = -88 + 109. Let m be 14/(((-24)/w)/4). Do m and 1 have different values?
True
Let l be (9/(-204))/(((-966)/(-48))/(-7) - -3). Let p(a) = -a**2 + 2*a + 4. Let r be p(3). Let q = r - 0. Is q less than l?
False
Suppose 20 = 3*u + u - 2*i, 4*u - 16 = 4*i. Is u equal to 70/11?
False
Let r(o) = -o**2 + 3*o + 2 + 1 + 2. Let a be r(-3). Let q(h) = h**3 + 12*h**2 - 13*h. Let y be q(a). Which is bigger: 2/17 or y?
2/17
Let p be (-3)/1*-1 - -4. Suppose -43 = 5*x + p. Let s be ((-4)/x)/((-84)/60). Which is smaller: s or 2/3?
s
Let l = -5.906 + -10.094. Suppose -2*i = -5*i + 3*d, 0 = -3*i - 3*d + 18. Which is smaller: i or l?
l
Let y be (-2)/12 + (-8 - (-4506)/552). Is y < -2?
False
Suppose -8*k = -1311 + 1703. Are -49 and k unequal?
False
Suppose -3*n - 4*m = -m + 18, -m + 2 = -3*n. Let r be n - 3*(-1)/(-3). Let z = 9 + -8.8. Which is greater: z or r?
z
Suppose 0 = 6*r + 11 + 1. Let y be r + (-24)/(-11) - 0. Is y equal to 1?
False
Let k = -17 - -17. Let b = 53 + k. Is b at least as big as -2?
True
Suppose -2*g + g = -3*g. Let s = 32 - 31. Is g less than or equal to s?
True
Let g be 92*(-7)/(-112)*-4*13. Which is smaller: -298 or g?
g
Let s = -579 + 580. Is s at most as big as 2/137?
False
Let j(v) = 70*v - 5. Let n be j(-6). Let a(b) = -b**3 - 4*b**2 + 11*b - 5. Let i be a(-6). Let g be (4 + n/105)/i. Which is greater: 1 or g?
1
Let s be 6/(2 + (-28)/8). Let o = s + 9. Let d(b) = b - 10. Let i be d(o). Is -5 bigger than i?
False
Let r = 9949 - 7630885/767. Which is smaller: 1 or r?
r
Suppose -9*s + 4*s = 55. Let q be 1/(11/22)*9/(-2). Do s and q have the same value?
False
Let f = 0.24 + -18.24. Let a = 23 + f. Let y = a - 4.4. Which is smaller: y or -1/4?
-1/4
Let q = 1629/5 - 327. Let g = 14 - 15. Does q = g?
False
Let r be (0 + -4)*(-15)/12 + -35. Is -31 > r?
False
Let v = 330 - 40588/123. Which is bigger: v or 0.03?
0.03
Suppose 3*q = h + 9, -5*h - 3 = -5*q + 2. Suppose 0 = h*t - 21 + 60. Is t at least as big as -14?
True
Suppose -4*v = 5*y + 36, -3 - 1 = v. Let o be (10/4 + -5)*2. Is y < o?
False
Suppose y + 4*y = 0. Suppose -3*p - 2*p + 5 = y. Let l = -6837/88 - -639/8. Which is smaller: l or p?
p
Let d(n) = n**2 + n - 7. Let p be d(-5). Suppose -4*f + 3*i + p = -2*i, -4*f = 2*i - 34. Suppose -3*c + f = 4*j - 0, 0 = 2*c - 2. Is 3/4 at most as big as j?
True
Let s = -20 - -23. Suppose o + 5 = 0, -s*w + 0*o + 5 = -o. Which is smaller: w or -6/11?
-6/11
Suppose -18*f + 12 = -15*f. Suppose 0 = u - f*u. Let q = 2111/9 - 235. Is u <= q?
False
Let p = -25/53 + -2765/318. Let g(w) = -9*w**3 - w**2. Let y be g(1). Is y less than or equal to p?
True
Let m = 551 + -556. Let k = -167/2 - -479/6. Is k != m?
True
Let d = -521 + 520.9. Which is bigger: 274 or d?
274
Let f = 2727 + -635388/233. Which is smaller: f or 0?
0
Suppose 5*t + 18 = 7*t, 21 = -4*x + t. Let d(l) = 2*l + 3. Let a(b) = 5*b + 9. Let v(h) = 3*a(h) - 8*d(h). Let f be v(6). Is f at most as big as x?
True
Let i = -23 + 13. Let m = -61.27 - -1.27. Let h = m - -61. Which is smaller: i or h?
i
Let z(x) = -6*x + 21. Let p(u) = 5*u - 20. Let r(l) = -4*p(l) - 3*z(l). Let w be r(8). Which is bigger: w or -4/37?
w
Let x be (-8 - 208/(-20)) + -2. Suppose 0*i + 4*i = -4. Which is smaller: x or i?
i
Let w = -707/2 - -353. Is -157 < w?
True
Let a = -1150867/12030 - 1/4010. Let t = 2063/21 + a. Which is bigger: t or 3?
3
Suppose 76*d + 24 = 82*d. Are -0.3 and d nonequal?
True
Let p = -46 + 43.5. Let z = p + 2.7. Which is smaller: -11/5 or z?
-11/5
Let p(u) = -3*u**3 - 6*u**2 - 4*u + 11. Let t be p(5). Is t > -534?
False
Let o = 57 - 10. Let l = 67 - o. Suppose -w - w - 7 = 3*s, -5*s - l = 5*w. Is -1 < w?
False
Let a = -0.739 + -0.261. Is a at most 21/2?
True
Suppose 0 = 4*j - 3*o - 0 - 7, -o - 7 = j. Let i be j*(-3 - (-14)/4). Let s be ((-2)/33)/((-2)/(-6)). Is s greater than i?
True
Suppose 2*q = 3*r + 373 + 433, -3*r - q - 821 = 0. Which is bigger: r or -2