-310)) - (-134)/15. Is 1/91 less than or equal to p?
False
Suppose -139*x + 37*x = -2856. Which is smaller: x or 2?
2
Suppose 4*y + 12 = -5*h, -18 = -3*y + 2*h + h. Let o be (3 - 2) + ((-45784)/18)/(-4). Let k = o - 638. Which is smaller: y or k?
k
Let f = 339 + -319. Suppose f*c = 4*c + 11*c. Which is bigger: c or -1/85?
c
Let y(j) = 333*j - 8996. Let n be y(27). Are n and -7 nonequal?
True
Let c = -1769 - -1876. Which is smaller: c or 1.1?
1.1
Let h be (-4)/(-3 - 1) - 603. Let u be 224/h*22/(-28). Let o = u - -12/43. Which is bigger: 4/3 or o?
4/3
Let b = -3824384/14046285 + -2/65945. Which is smaller: b or 0?
b
Let o = 3963 - 3904.9. Which is smaller: 0.4 or o?
0.4
Let u(z) = 20*z + 352. Let s be u(-21). Suppose -50*y = -44*y + 408. Is y > s?
False
Let l be 3/(-2 - (-1 - 4)) + (9 - 719). Is l < -708?
True
Suppose 42*l - 24 = 38*l. Let d = 1774 + -1755. Which is greater: d or l?
d
Let t = 72014/23 + -3133. Which is smaller: -1 or t?
t
Let d be (-2403)/54 + 9/(-6). Is -189/4 bigger than d?
False
Suppose -10*a = 1001 + 805 + 334. Do a and -216 have different values?
True
Suppose 46 = 503*v - 549*v. Which is smaller: 3/502 or v?
v
Let h = 0.487 + -0.5066. Which is smaller: h or 0.04?
h
Let t(a) = -5*a - 41. Let j be t(-6). Suppose 7*w = 4*w + 123. Suppose 2*s + 2*o = -3*o - w, -s = 4*o + 25. Which is smaller: j or s?
s
Let n be (-2 - 0)/(1 - (-3)/(-2)). Suppose -9*s = -7*s - n. Suppose -8*x + s*x = -6. Which is smaller: 3/65 or x?
3/65
Let z be (18/18)/(-4 - (-5)/10). Which is smaller: z or 4.16?
z
Suppose -5*t + 4*q + 87 = 0, 4*t - 4*q - 31 - 41 = 0. Suppose -5*c = v + 25, -3*c - 6*v + v - t = 0. Let p = -21955 - -21954. Which is bigger: c or p?
p
Let c be (1002/(-4))/(21*(-17)/238). Which is bigger: c or -7?
c
Let f = -0.06 + 576.06. Let r = f - 573. Is 0.18 bigger than r?
False
Let x = -243/17 + 29705/136. Are 203 and x unequal?
True
Let s(u) be the first derivative of -7*u**2/2 + 49*u - 1. Let p(q) = -49*q + 154. Let f be p(3). Let n be s(f). Are 0.046 and n equal?
False
Let o = -3 - -10. Let r = -7.03 + o. Let i = r + 0.03. Is 15 less than or equal to i?
False
Suppose -3*q - 584 = -4*p + 188, 5*p = -q + 946. Suppose 5*x = 5*g + 485, -2*g - x - 19 = p. Is g <= -101?
True
Let o(z) = 8*z**2 + 10*z + 21. Let f be o(-3). Let m = f - 85. Which is smaller: m or -13?
m
Suppose 12*r + z = 10*r + 8, 4*z = 4*r - 16. Let f be r + 7/2 + -7. Are 282 and f equal?
False
Let i = -3 + 12. Let u = -241 + 241. Which is smaller: u or i?
u
Let y = -6 - -136. Suppose 25*q - 30*q + y = 0. Suppose -8*v + 2 = q. Is v < 13?
True
Let w(q) = -q**2 - q - 2. Let z be w(-2). Let b be (-2)/z*4 - 6. Let i(x) = 68*x + 744. Let h be i(-11). Is b at most as big as h?
True
Suppose -5*u = -64 - 11. Suppose 4*a - u = 1. Suppose 5*s = r - 1, 0 = -a*s - s + 10. Which is smaller: r or 10?
10
Let k be 946/(-903)*(-13)/(-4). Let b = k + 4/7. Is -4 > b?
False
Suppose 2*b + t = -3*t - 18, -2*b - 24 = t. Let k = -1307531/96854 + 1/48427. Is k smaller than b?
True
Let v = 27.93 - 278.53. Let p = v - -251. Which is greater: p or 0?
p
Let h be (10/4 - -2)*10. Suppose o - h = -z, 0 = -5*o - 3*z + 234 + 1. Suppose 73*f - 400 = 65*f. Are o and f nonequal?
False
Suppose -w - l = 2*l - 11, -3*l + 17 = -5*w. Let p be (-14)/((-3)/2 - w). Is p at most 27?
False
Let l be ((-66)/(-55))/((-5898)/15). Which is smaller: -1 or l?
-1
Suppose -3*p - 16 = -3*c - 241, 4*p = 3*c + 297. Which is smaller: p or 59?
59
Let r(l) = -2*l**3 + 18*l**2 + 7*l - 179. Let h be r(8). Suppose 5*c - 3*y = -y + 115, c - 4*y = 23. Let u = -16 + c. Is u less than h?
False
Let y = 9 - -18. Let r = -332 + 542. Suppose 5*j + 80 - r = 0. Is y less than j?
False
Let c be 9/((-18)/(-80)) + -3*1. Let y = -35 + c. Suppose -16 = -4*x, -y*u - 36 = -2*x - 140. Which is smaller: 55 or u?
55
Let p be ((-567)/108)/((-3)/144*(-81)/18). Is -33 greater than p?
True
Let f = -1494 + 1546. Is -1 less than f?
True
Let q = -162.02 + -358.98. Is q less than -6?
True
Suppose 2*b - 29 - 1951 = 5*y, 0 = -2*b + y + 1980. Suppose 0 = -112*h + 117*h - b. Which is bigger: 197 or h?
h
Let h be (-744 - -256)*((-51)/24 + 2). Which is smaller: h or 56?
56
Suppose -2*k = 3*k. Let i = 1919651/19770 - -45/1318. Let t = -97 + i. Is k at least as big as t?
False
Let d be 2*((-108)/(-16))/9*-120. Let s be (-1)/(-2) + 1210/d. Is -6 < s?
False
Suppose 32*w + 3480 = 22*w. Let x = 346 + w. Which is smaller: -49 or x?
-49
Let x = 9536 - 638914/67. Let h = 1545343 - 1138917970/737. Let p = x + h. Which is smaller: 0.4 or p?
p
Let a(d) = 3*d**2 + 95*d + 199. Let n be a(-23). Is -401 < n?
True
Let b be ((-1)/((-27)/(-69)))/((-20)/168). Let r = b + -3616/195. Is r bigger than 2?
True
Let y be (-422)/(-424) + 1 + -2. Suppose -k - 15 = -3*t, 131*k - 126*k + 75 = -3*t. Which is bigger: y or t?
t
Let b be (5 - -4) + (-1 - -3). Suppose b*t = 2*t - 135. Is t != -0.04?
True
Let j(y) = -y**3 - 2*y**2 + y - 2. Let o be j(-2). Let r be (-40033)/(-21) - 1/3. Let d = -13364/7 + r. Is d >= o?
True
Let d(b) = 17 - 2 - 719*b + 721*b - b**2. Let k be d(0). Is 14 bigger than k?
False
Let d = -8126 - -8127. Let p = 23277/44 + -529. Which is smaller: d or p?
p
Let p = -9.3 - -15.6. Let c = p - 0.3. Let n = 0.5 + -0.9. Which is bigger: c or n?
c
Let j = 14330 + -11564308/807. Let y(q) = 2*q + 2. Let c be y(-1). Which is smaller: j or c?
c
Let c = 320 - 253. Let h = c + -70. Which is bigger: -33/13 or h?
-33/13
Let j be -1*(-6 + 8) + 262. Let u be (-12)/7 - (4 + j/(-70)). Which is smaller: u or -17/6?
-17/6
Suppose 120*d - 47 = 121*d. Suppose 0 = r, 5*n = -3*r + 246 - 16. Let j = d + n. Which is smaller: j or -3/28?
j
Suppose 5*d - 10 + 0 = 4*k, -50 = -5*d - 4*k. Suppose -4*m = -i + d, -i - 12 = 2*i + 3*m. Let n = 52/7 - 58/7. Which is greater: i or n?
n
Suppose 4*i + 0*i - 60 = 0. Let g = 53 + -25. Suppose -5*v = g - 118. Is i less than or equal to v?
True
Suppose -4*t - 6*t + 0 = -0. Is -3/359 <= t?
True
Let i(b) = 14*b - 4. Let f be i(-3). Let a be 3/7*(-7630)/(-1308) + (-299)/6. Does a = f?
False
Let z = 16026 + -80987/5. Which is greater: -1/4 or z?
-1/4
Suppose b = -3*b. Let x(w) = 117*w**2 + 9*w - 6. Let l be x(1). Let m be -8*(-10)/l - 14/(-6). Is b greater than m?
False
Let r = 133 + -127. Suppose 4*y + 3*s - 9 = 0, -3*y - r = -0*y - 2*s. Suppose 0 = u + 2, -4*u = -l + 3*l + 10. Which is bigger: y or l?
y
Let x = -287336 + 287334. Let d = 0.3 + 0. Let p = 0 - d. Is p != x?
True
Let k be (-3 + -4*(-1)/4)/(-1). Let b be 0 - (k - 36/16). Let g = 105/412 - b. Is g less than -1?
False
Let r be -7 + (84 - 4 - (-2 + (-10)/(-5))). Is 506/7 > r?
False
Suppose -3*q = -q + 3*k - 19, k - 9 = 2*q. Which is greater: q or -122/85?
q
Let z = 36 + -65. Let n = -8476/11 - -772. Let m = n + -26/33. Is m at most z?
False
Suppose -16179*q + 16116*q - 13230 = 0. Which is greater: q or -199?
-199
Suppose 0 = 19*b - 53*b - 1462. Are -48 and b equal?
False
Suppose -282*o + 81*o = -44*o - 4*o. Which is smaller: 7/17 or o?
o
Let s be (25 + -19)*2/12. Is s < 1/2240?
False
Let v = -35 - -20. Let h = 109.9551 + -110. Let c = 0.0449 + h. Which is smaller: v or c?
v
Let p be (174 + -8)*(-5)/2. Let w be (-4)/10 - p/(-150). Suppose 9525 = 10*a + 9545. Is a bigger than w?
True
Let p be 6/4 + 3/14 + (-2128)/784. Which is smaller: p or 335/19?
p
Suppose -4*d + 3*d + 2*a = -5, 4*a - 25 = -3*d. Suppose -74 = -8*g + d*g. Is 72 >= g?
False
Let q be (-20095)/(-7) - 60/(-210). Is q <= 2871?
True
Let k(c) = -8*c + 2. Let t be k(-1). Let q = t + -21. Let o be ((-2)/q)/(-1) + 174/110. Which is smaller: o or -2?
-2
Suppose 6*w = -0*w + 30. Suppose 0 = w*q - 18 - 2. Suppose -4*r - u = -q*u - 91, r = u + 22. Is r < 24?
False
Let g = -61 + 64.8. Let h = 0.1 + g. Let j = h + -4. Do j and -3.4 have the same value?
False
Suppose -3*i - 9 = -12. Suppose -3*z - 2*x = 299, 2*z - 6*x + x = -212. Which is bigger: z or i?
i
Let g(p) = -p - 8. Let a(x) = 3*x + 17. Let q be a(6). Suppose q = -17*c + 12*c. Let k be g(c). Are k and -2 unequal?
True
Let y be (-12 - -7)/(-3300)*12/(-15). Which is bigger: 6 or y?
6
Let x be (-1 + -4)/((-1)/3). Suppose x = 5*s + 5*i, 3*s + i + 5 = 4*s. Let g be 13/2 + 2/s. Is g greater than 8?
False
Let y = 1029 + -727. Let t = 435 - y. Let g = -133.21 + t. Does g = 0.2?
False
Suppose -2*n + 53 = 4*v - 127, 0 = 2