 to n?
True
Suppose 2*d = 6*d - 12. Let k be (d/14)/((-12)/16). Is -2/11 at least as big as k?
True
Let x be ((-6)/2)/(3/(-4)). Let q = 14 - 11.7. Let a = -2.4 + q. Which is smaller: a or x?
a
Let m(a) = -a**2 - 5*a + 16. Let p be m(-7). Suppose -d + 5 = p. Which is smaller: 7/3 or d?
7/3
Let u = -20 + 38.6. Is u less than 4?
False
Suppose 0 = 18*h - 394 - 362. Is h > -4?
True
Let o be (14 + -12)*(-1 + -65). Is o not equal to -134?
True
Let y = 23 - 18. Suppose 171*h - y = 166*h. Which is smaller: h or 12/17?
12/17
Suppose 17 = -5*s + 62. Let z = -15 + s. Let c be z/(-16)*(-1 - 3). Are c and -2 unequal?
True
Let t(h) = h**3 - 8*h**2 + 9*h - 15. Let g be t(7). Which is greater: 152 or g?
152
Let h(a) = -a**2 + 8*a - 20. Let n be h(10). Let l be (-94)/20 - n/(-50). Which is bigger: l or -7?
l
Let d be ((-2)/(-6))/(22/(-198)). Let v be d/(-18)*(-1 + -1). Let g = -1.1 - -0.1. Which is smaller: v or g?
g
Let q = -676805/10087 - 78/917. Let p = 67 + q. Let v(x) = -x**3 + x + 1. Let h be v(-1). Which is greater: h or p?
h
Let n = 3965/62 + -64. Which is smaller: n or 0?
n
Let m = -327 + 316.7. Which is smaller: 0.1 or m?
m
Let m be 354/10 - -3*6/(-45). Let j = -35 + m. Is j greater than or equal to -1/22?
True
Suppose 0 = -l - 13 + 14. Let x be 4/(l/((-8)/4)). Is x greater than or equal to -1?
False
Suppose -48 = -5*p + 367. Which is greater: p or 82?
p
Suppose -104*z + 107*z - 12 = 0. Let w be (-60)/(-70) - 6/z. Which is bigger: w or -2?
w
Let n be 72/33 - ((-4)/(-22) + 0). Let c = -4 + 6. Is n less than or equal to c?
True
Let a be ((-34)/102)/((-2)/(-6)). Which is smaller: a or 2/305?
a
Suppose 3*m - v + 2 = -6*v, 3*v = -12. Suppose -5*n = 36 - m. Let h be 0 - (-1 + 2) - 6. Which is smaller: n or h?
h
Let p = 307/730 - 3/146. Let o be (-2 - -3) + (0 - -3). Let r be (-2 - -2)/(1 - o). Which is bigger: r or p?
p
Suppose -11*k + 485 = -6*k. Let r = 150 - k. Are 52 and r non-equal?
True
Let i(c) = 19*c**2 + 6*c - 4. Let y be 3*1*7/(126/12). Let p be i(y). Is p at least 84?
True
Let n be 1/(3 + (-11)/4). Suppose 0 = 2*d - n*d - 4. Suppose z = 2*z + 4. Which is smaller: z or d?
z
Let v = 2.348 + -2.3. Let r = -0.452 - v. Which is greater: -5 or r?
r
Let c = -7 + 5.8. Let n = -5.6 + 57.6. Let z = -52 + n. Which is bigger: z or c?
z
Let a = -0.52 - 0.48. Is a at least as big as 0.076?
False
Let s(l) = -l. Let h(t) = -2*t - 6. Let m(x) = h(x) - 3*s(x). Let a be m(3). Which is smaller: a or -5?
-5
Let b = -133 + 131. Suppose -8 = -h - 3*h + 2*z, 2*z = -2*h + 4. Which is smaller: h or b?
b
Let d = 1580 + 1391. Which is greater: -1 or d?
d
Let r = -6 + 49. Let z(i) = i**3 + 9*i**2 + 14*i + 92. Let c be z(-8). Which is smaller: r or c?
r
Let q be -3 + 390/40 - (-12)/(-2). Is 237 >= q?
True
Suppose 1746*f - 1754*f - 576 = 0. Is f less than -70?
True
Suppose -3 = -d - 4. Let w = 18907/46 - 411. Is d > w?
False
Let y be 413/(-14) - (-1 - 4). Suppose -3*g = 2*i + 51, 0 = 4*i - 2*i + 5*g + 53. Are i and y equal?
False
Suppose -3*n - 2*x = 159, -5*n - 119 - 146 = -3*x. Is -53 less than n?
False
Suppose 0 = -3*h - 4*t - 35 - 39, 0 = -2*h + 4*t - 76. Let q = -6 + 12. Let v be (-16)/h*q/(-4). Which is bigger: 0 or v?
0
Let c(o) = -20*o + 592. Let g be c(55). Is g smaller than -508?
False
Let i = 7 - 4. Suppose -j - 5*f = -5, -25 = -2*j - i*j - 4*f. Let x be 3*((-320)/48 + 4)*(-1)/2. Which is smaller: j or x?
x
Let q(o) = -12*o - 22. Let r be q(-10). Let s be 18820/r - (-8)/(-4). Let j = 190 - s. Is 1 smaller than j?
False
Suppose 4*k - c = 601, 0 = 5*k - c - 22 - 730. Which is bigger: 152 or k?
152
Let y(l) = l**2 + 36*l - 124. Let n be y(-39). Is n greater than -7?
False
Let m be 51/(-153) - (-71)/6*-2. Is -1 > m?
True
Let v be 6/8 + 9/12. Suppose -23 - 5 = 2*u. Let m = u + 57/4. Is m > v?
False
Suppose c + 48 = -3*c. Let t(p) = -2*p**3 - 37*p**2 - 81*p - 24. Let f be t(-16). Is c equal to f?
False
Suppose -2*g = -2*w - 36, -3*g - 2*w + 54 = -7*w. Is g > 0?
True
Let n = -7.4 + 16. Let i = n - 7.6. Which is smaller: 0.16 or i?
0.16
Let u = 4 - 3. Suppose u + 13 = -j. Let m be ((-13)/91)/((-12)/j). Is m at most as big as -0.02?
True
Let k = 3 - 2.91. Let a = -4731 + 4728. Which is smaller: k or a?
a
Let v(u) = -2*u - 5. Let p be v(-4). Suppose -p*a - 2*n = 11, a + n = -0*a - 5. Let o = 39/5 - 151/20. Is a <= o?
True
Let q be (161/(-2037))/((-1)/(-3)). Let c = 427374/1261 - q. Let y = c - 339. Which is greater: -1 or y?
y
Suppose -40 = 6*r - 46. Which is smaller: r or 9/155?
9/155
Let j be 11 + (-153)/9 - -7. Is j greater than or equal to 22/159?
True
Let f = 25 + 22. Let t = 35 - f. Are -10 and t unequal?
True
Suppose 15 = -3*f, 3*f = -4*h + 7*f + 20. Let a be (-2)/(-13) - 472/364. Which is smaller: h or a?
a
Let d = -3797919/220 - -17263. Let n = d - -1/55. Is n less than or equal to -3?
False
Let z = 0 - -0.08. Let o = z - -0.02. Let t = -0.8 + 3.8. Which is bigger: t or o?
t
Let y = -81 - -74.9. Which is smaller: -1 or y?
y
Suppose 2*o = o - 4. Let h be (1/o)/(91/104). Suppose -w + 3 = 4. Does h = w?
False
Let h = 0.7 - 0.536. Let l = h - -0.036. Let w = -0.4 - 2.6. Is l at most w?
False
Let o = 72.2 - 42.24. Let y = -30 + o. Which is greater: 0 or y?
0
Suppose 12 = 3*r - 0. Suppose 42 = -r*w + 46. Which is greater: w or -1/85?
w
Let q be (2/7)/(((-360)/(-28))/6). Let c be (-2)/(-12) + 107/6. Let l be 10/35 - c/14. Which is bigger: l or q?
q
Suppose -50 = 4*v - 3*h, -h + 12 = -2*v - 6*h. Let t = 16 + v. Let p = -1 - t. Which is bigger: -4 or p?
-4
Let m be -2 + (-3)/((-3)/7). Suppose 24 - 12 = 4*g. Suppose 4*d = m*j + g, -7 = 3*j - 6*d + d. Is j at least as big as 1/10?
True
Let w(j) = j**2 - 10*j - 11. Let v be (18/27)/(4/54). Let d be w(v). Let y be (-2)/d + (-7)/14. Is y bigger than 1?
False
Let m be -1 - (0 - 4) - -46. Let o be -15 + (14/m - 18/14). Let a = 16 + -33. Which is smaller: a or o?
a
Let b be ((-4370)/1035)/((-2)/54). Suppose 159 + 67 = 2*n. Which is smaller: n or b?
n
Let z = 0.383 + -0.183. Are z and 115 nonequal?
True
Let u = 22.8 + 18.2. Which is smaller: 1 or u?
1
Let r = -0.009 + -0.074. Let d = r + -6.517. Let p = d - -1.6. Which is smaller: p or -1?
p
Let d be 3/(-18) + -1*(-4038)/(-396). Let n(t) = 2*t**3 + 2*t**2 + t + 1. Let a be n(-2). Is d at least a?
False
Suppose 0*r + 7 = -r. Let j be (-2)/r + 64/(-7). Let a = j - -489/56. Is a less than or equal to 1?
True
Let d be 26 - (4 + (-7 - -2)). Suppose h = -p - 16, 4*h - 17 - d = 2*p. Which is smaller: 0 or p?
p
Let t be (-48)/(-27) + 2/9. Suppose 5*j - 22 - 4 = -4*l, 0 = -2*j + l + 13. Suppose 0*o = -t*o - j. Which is greater: -7/3 or o?
-7/3
Suppose r - 1212 = -5*r. Is r <= 202?
True
Suppose 870 = 45*u - 15*u. Is u at most -0.08?
False
Suppose x + 5*z + 16 = 0, 5*x + 22 = -z - 10. Let a be x/(-9) + (-2)/3. Suppose a = -2*r + 6 - 0. Which is greater: 1 or r?
r
Let m = 259 - 256. Is 27/13 at least m?
False
Let n = 95/22098 + -492587753/287274. Let f = n + 1713. Which is greater: f or -1?
-1
Let k = 164.2 - 164. Which is smaller: k or 27?
k
Suppose 5*r = -2*h + 57, -2*h + 51 = -2*r + 1. Suppose -5*x + 201 = h. Let y be (3/6)/(x/(-14)). Is -1 <= y?
True
Let b be (14/(-28))/(((-2)/(-3))/1). Are b and 0 unequal?
True
Let l be 40 - 36 - (0 + 0 + 2). Suppose -4*k + l*h = -k - 21, 3*k - 30 = -h. Is k bigger than 41/4?
False
Let t be (-5)/(-20) - (-113)/(-4). Let l be 1/3 - 0/(t/4). Let x(h) = -h - 2. Let f be x(-2). Which is smaller: f or l?
f
Suppose p - t + 3 = 0, -p - 9 = -0*p - 4*t. Let l = -1/6 + 5/138. Which is bigger: l or p?
l
Let k be (-19938)/27 - (-3 - 22/(-6)). Let c = 740 + k. Which is bigger: c or 2?
2
Let k(s) = s**2 - 121*s + 664. Let t be k(6). Is -28 bigger than t?
False
Suppose 15*t = -2175 + 330. Is t >= -118?
False
Let m = -7 - -30. Suppose -3*q + 7 = -m. Suppose -w + 2*d + q = -2*d, 5 = -4*w + d. Which is greater: w or -17/6?
w
Let x = -48489086/5 + 9666314. Let h = -30899 - x. Let c = -602 + h. Which is greater: 2 or c?
c
Suppose 16*s - 12*s = 32. Let o be (1 - s/6) + 22/(-6). Which is greater: o or -2?
-2
Let k be (-64)/20 + (-4)/(-20). Let p = 7 + -6. Let j = -0.9 + p. Is j greater than k?
True
Let a be 8/(4 + -5) + 14. Is a smaller than 98/19?
False
Suppose 0*k + 40 = -4*k. Let c be (8/(-6))/(k/(-135)). Let x be (-2)/3 - 8/c. Is 1 greater than x?
True
Let u be ((-1)/2)/