ppose -5*y + u + 16 = -0*u, -5*y + 19 = -4*u. Suppose -q + 12 = y*q. Suppose -q*x - 2 - 1 = 0. Which is smaller: x or -1/5?
x
Let k(p) = -3*p**2 - 5 + 13 - p + p**3 - 4 + 0*p. Suppose -w - 15 = -6*w. Let t be k(w). Is 1 smaller than t?
False
Let r be (-26)/(-8) + 30/8 + -4. Is -16/9 less than or equal to r?
True
Let k(j) = -2*j + 33. Let l be k(8). Is 19 bigger than l?
True
Let h(t) = t**3 + 10*t**2 - 11*t - 5. Let c be h(-11). Let d = c + 7. Let w be -2 + d + 36/(-66). Which is greater: w or -2?
w
Let w be 4/(-2*1/4). Suppose 23*j = 28*j + 50. Let y be 18/j*(-30)/(-9). Is w at most y?
True
Let j be 1852/(-3273) + 6/9. Let i = j + 803187/8728. Let d = -92 + i. Which is greater: d or 0.4?
0.4
Let b = -98 - -96. Let x be b + -3 - 7/(-4). Is -2 > x?
True
Let r(k) = -9*k**3 - 4*k**2 + 3*k + 1. Let u be r(1). Let q = -5 - 3. Which is smaller: q or u?
u
Let n be 39/6*(-4)/14. Are -1 and n non-equal?
True
Let n be ((-396)/242)/(2/(-11)). Let o be 9/6*(-4)/(-2). Suppose -25 = -o*t - 1. Is t < n?
True
Let h = -318.7 + 266.7. Is -3/4 at most h?
False
Let z be ((-24)/(-60))/((-4)/10). Do z and -15/17 have the same value?
False
Let z = -2739 - -2779. Is -2 greater than z?
False
Let n be -2 + 2 - (-4 + 1). Suppose 6*w = 4*w + 4. Let v = w + -1. Is v less than or equal to n?
True
Suppose -3*i = -3*a + 14 + 7, 3*a - 4*i - 23 = 0. Suppose -a*d = -d - 68. Which is smaller: d or 15?
15
Suppose -5*i + 108 = -3*l, 0*i - l = 2*i - 41. Let y = i - 7. Which is smaller: 12 or y?
12
Let z(h) = -10*h + 129. Let x be z(15). Which is smaller: x or -20?
x
Let j be 93/(-18)*(2 + (-32)/4). Which is smaller: 218/7 or j?
j
Let q = -354 + 1090/3. Which is smaller: q or 9?
9
Suppose -v + 5*i = -5 - 4, -3*i - 13 = -v. Let m = -14 - v. Let n be (-11)/m*(-3)/4. Which is greater: n or -2?
n
Let m = 10 + -7. Suppose -m*k = -2*k. Let v = k + -2. Which is bigger: -2/3 or v?
-2/3
Let h be -2*(-5)/(-10)*-91. Which is bigger: 87 or h?
h
Let h(k) = 39*k + 273. Let i be h(-7). Is i less than or equal to 49?
True
Suppose 4*m - 19 = 301. Let y = m - 64. Is y at least 17?
False
Let s = -210.8 - -211. Which is smaller: s or 16?
s
Suppose -4*p - 10 = -2. Let t = -204 + 199.04. Let g = -5 - t. Which is smaller: g or p?
p
Let u(c) = c**2 - 15*c - 94. Let b be u(30). Is b greater than 356?
False
Let o = -12 - 16. Let t = o + 27.9. Is t greater than 9?
False
Let x be (-6)/4 - 16/(-32). Let i = 6.83 + -0.33. Let q = -7 + i. Which is greater: q or x?
q
Let s = -141539/1295 - -765/7. Suppose -c = -4*c - 3. Which is bigger: s or c?
s
Suppose 294 + 250 = 32*t. Which is bigger: t or 16?
t
Let z = 6 + -15. Let t = 4399 + -4411. Are z and t equal?
False
Let g(d) = 11*d**2 - 3*d + 18. Let j be g(4). Which is bigger: 181 or j?
j
Let z = 1 + -1. Suppose 5*q + 0 = -3*w + 2, -3*q - 4*w = 1. Let b = 3 - q. Which is smaller: b or z?
z
Let t = 0.138 + 25.762. Let h = 26 - t. Let z = -3 - -3. Do z and h have the same value?
False
Let y = 697265/59 + -11817. Let k = y + 6705/413. Let i = 1205/77 - k. Is -3 less than or equal to i?
True
Let y = -412408/59 + 6990. Let p = -0.1 - -0.2. Which is bigger: y or p?
p
Let w = 31 - 21. Let r(t) = 83*t + 75*t + 44 - 153*t. Let o be r(-9). Is o at most as big as w?
True
Suppose 3 = u - n + 2*n, 2*n = -4*u + 6. Let c be ((-5)/180)/((-3)/(-8)). Which is smaller: u or c?
c
Let v be (3*4/18)/((-2)/(-279)). Do v and 92 have the same value?
False
Let u = -8602999/737 - -11673. Is u less than or equal to 1?
True
Suppose 0 = -11*p + 12*p - 3. Suppose 0 = -d + 2*n - 4*n + 4, 10 = p*d + 5*n. Which is smaller: 4/9 or d?
d
Let l = -205/3657 + 2/159. Suppose 0 = 2*w - 2*k + 12, -3*w + 6 + 1 = 2*k. Which is smaller: l or w?
w
Suppose 248 = -9*u + 752. Is u < 57?
True
Let t = 45 - 29. Let z = -14 + t. Let l(b) = -b**2 + 9*b - 7. Let j be l(8). Is z at most as big as j?
False
Let w be 37/(-148) + 13/20. Which is bigger: w or -51?
w
Let o be -4 + (4 - 2) + 1. Let j be (-1)/3*(-3)/o. Is j smaller than 2/7?
True
Suppose -1 = -4*w + 11. Suppose -f - 2 = 2*v - 13, 4*v - 23 = -3*f. Suppose -w*s - f = -4*s. Is 1 bigger than s?
False
Let c = 54004.007 - 54047. Let l = -43 - c. Are 1 and l equal?
False
Let y = 19 + -34. Let x = 16 + y. Is x less than -4/7?
False
Suppose -3*u + z = -14, 3*u = 8*u - 5*z - 20. Let r(c) = -c**3 + 2*c**2 + 19*c + 9. Let d be r(u). Is 29 greater than or equal to d?
True
Suppose -4*x + 8 = 4*q, -4 = 2*q - 4*q - 3*x. Suppose -q*i - i = -9. Let h be (i/2)/((-60)/(-16)). Which is smaller: h or 0?
0
Let y(u) = u**2 - 4*u - 1. Let m be y(3). Let d = -5 + m. Let k be 2/10 + (2 - (-56)/(-5)). Is k < d?
False
Let d = 128/3 - 42. Suppose 0 = 4*u - 3*u. Suppose u*x = 5*x. Which is greater: d or x?
d
Let h = 48 - 0. Let i be 8/h + 38/(-84). Let m be (-4)/(-13)*(-1)/4. Which is greater: i or m?
m
Suppose -738 = -4*p - b, -730 = -4*p - 12*b + 7*b. Which is bigger: p or -1/2?
p
Suppose -297 = 3*h - 2*d, -389 = 5*h - d + 99. Let w = h + 871/9. Let v = -15 + 21. Which is smaller: w or v?
w
Let q be (-2 + 0)*188/8. Suppose -826 = 23*p + 255. Is p less than or equal to q?
True
Let f(j) be the third derivative of j**5/60 - 3*j**3/2 + 11*j**2. Let i be f(-4). Suppose -2*q = -i*h + 2*h + 38, -h - 2 = 2*q. Is 8 <= h?
False
Let s(f) be the second derivative of f**3/3 + f**2 - 14*f. Let m be s(-2). Which is bigger: m or 0?
0
Let t be (-38)/(-1) - (6 - 3). Let a be (2 - (-18635)/t) + -2. Let v = -534 + a. Is v <= -1?
True
Let u(f) = f**2 - 11*f - 99. Let t be u(-5). Is t <= -9?
True
Suppose 21 = -4*y + y. Let a be 2 - ((-15312)/(-6328) + 3/y). Which is smaller: 1 or a?
a
Let c be (-12)/(-28) - (-1178)/(-2814). Let o be 6/(9*(-6)/(-9)). Are c and o equal?
False
Let a be 0*4/(-24)*1. Let u be (-18)/(-5) - 2/(-5). Suppose -4 = -u*p - a*p. Is p < -1/10?
False
Suppose -m = -0*m + 2*j + 1, -3*m - 4*j = 1. Let i = -208 - -215. Which is greater: i or m?
i
Suppose 18*v + 6 = 21*v. Suppose -v*i + 5*a + 30 = 0, i - 10 + 1 = 4*a. Which is bigger: 27 or i?
27
Let p = 669 + -654. Suppose 3*d - 5*y = 65, -5*d + y + 81 = 2. Do d and p have different values?
False
Suppose -2*d = -d. Suppose 2*h - v - 769 = d, -v - 744 = -2*h - 5*v. Let l = h + -6496/17. Do 0 and l have different values?
True
Let v = -0.0286 + 1154.0286. Which is smaller: v or -1/3?
-1/3
Let j(v) = 3*v + 6. Let h be j(5). Let f be (-2)/h*(-4)/(-2). Which is greater: 1 or f?
1
Suppose -4*s + 34 = -2*i - 32, -4*s + 31 = -i. Let a be (20/i)/(1 + 52). Let g = 5549/1484 - a. Which is bigger: g or 3?
g
Let o = -12.098 + 1.098. Which is bigger: 1/4 or o?
1/4
Let t be (8 - 1) + (-6180)/890. Is 1 <= t?
False
Let g = 15797 - 53125313/3363. Which is smaller: g or -1?
-1
Let n = 1106791/100 + -11068. Which is greater: n or 0?
0
Let g(r) = -r**2 - 5*r + 1. Let k be g(-4). Let f(p) = -p**2 + 4*p + 3. Let n be f(k). Are -1 and n non-equal?
True
Let m = -351 + 360. Let f = 24 + -40. Let d = f + m. Are -5 and d nonequal?
True
Suppose -5*i - 4*w = 21, -i - 3*w = 2 - 0. Let q be -4 + 25/i + 7. Which is bigger: 24 or q?
24
Let d(j) = -j**2 + j - 11. Let c be d(0). Suppose -5*x + 384 = 319. Let w = x + c. Which is bigger: w or -1/6?
w
Let u be (2242/304 - (-2)/(-4)) + 0. Is 7 smaller than u?
False
Let g = 52 + -31. Let w = g + -10. Are 10 and w unequal?
True
Let l(h) = h**3 - 8*h**2 + 7*h - 1. Let n be l(7). Suppose 0 = -4*x + 8, -3*p + x - 2*x = -8. Is p equal to n?
False
Let j = 4.68 - 4.78. Let a = 2 - 1.8. Let g = 0.19 - a. Which is smaller: g or j?
j
Let j = 430 - 431. Is -14/103 < j?
False
Suppose -2 - 2 = -a. Suppose u - 5 = -a. Suppose 0 = 5*z + 5*j, -4*z - 4*j = j + 3. Is z greater than or equal to u?
True
Suppose 12*d = -0*d + 120. Is 72/7 greater than d?
True
Let w be 64/110 - (-228)/(-1254). Is -63/4 greater than or equal to w?
False
Let u = -1700 + 1700. Let j be 1/26*2 - -1. Is u at least j?
False
Let d = -1309995/49 + 26736. Which is bigger: d or 1?
d
Suppose -1 = 2*g - 5. Suppose 4*h + 0*h - u = 3, 4*u = -g*h - 12. Are -1/16 and h equal?
False
Let p = -7339 - -256836/35. Let q = -3/7 - p. Are 22 and q nonequal?
True
Let z = 5 - 4.7. Let n(x) = -65*x + 322. Let u be n(5). Which is smaller: u or z?
u
Let s be ((-2)/106)/((-32)/384). Which is smaller: s or 1?
s
Let a = 19.4 + -19.1. Let z be (12/(-2))/(6/(-18)). Is a > z?
False
Suppose j - 196 + 301 = 0.