*p + 4, 0 = -0*p - 2*p + 4. Suppose q = 3*v - 4*v + 4. Which is smaller: 3 or v?
3
Let t be (25/(-20))/(-1 - 377/(-376)). Let n be (-8)/14 + t/35. Which is smaller: n or -17?
-17
Let u(z) = -z**3 + z**2 - z - 2. Let i be u(0). Let b = -96 - 41. Let f = -138 - b. Do f and i have different values?
True
Let j(t) be the third derivative of -7*t**2 + 1/60*t**5 - 1/2*t**3 + 0*t - 1/8*t**4 + 0. Let k be j(4). Which is smaller: 1/8 or k?
1/8
Let z = -3.914 - -3.814. Let i be (-6)/(-26)*20/(-6). Which is bigger: z or i?
z
Let z(m) = -2*m**2 - 28*m + 20. Let v be z(-18). Is -123 > v?
True
Suppose 68 = 5*s + 4*c, 0 = s + 2*c - 11 + 1. Suppose -2*o + 5*o - 31 = -h, 20 = 4*o. Is h <= s?
True
Let o = 136/11 - 1223/66. Which is smaller: o or -7?
-7
Let m be 4*(14 + (-11490)/820). Let z = 10 + -6. Suppose 3*v + 0*k = -z*k + 15, -2*v - 2*k + 8 = 0. Are v and m unequal?
True
Let f = 40 - 276. Which is smaller: f or -237?
-237
Let c = -276 + 276.04. Which is smaller: -2 or c?
-2
Let p(a) = -3*a**2 - 12*a - 6. Let u be p(-11). Let x = u - -2598/11. Is -1 <= x?
True
Let n be (-73818)/(-30) + -2*6/20. Let m be (-7 - n/(-275)) + (0 - 2). Which is smaller: 0 or m?
m
Suppose 0 = 4*t + 3*c - 383, t = -3*t + 3*c + 401. Suppose 0 = 4*q + 46 + t. Is -35 equal to q?
False
Suppose 18*z - 20 = 14*z. Suppose 0 = 2*p - 0*p + 5*g + 45, 3*p - 5*g = -z. Let v = p + 10. Is 0 > v?
False
Suppose -3*r - 109 + 1306 = 0. Let y = -713 + r. Let t = 8791/28 + y. Which is greater: t or 0?
0
Let i be (9/(-4398))/((-12)/32). Is i at most -1?
False
Let o be ((-1)/3)/((-9)/(-27))*6. Let v be 1/((-2)/21) + (-5 - -9). Is o != v?
True
Let j(d) = 2*d**3 - 5*d**2 - 2*d - 2. Let v be j(3). Is v < -4/23?
False
Let l = -35 - -48. Let a = l - 13. Are a and -2/65 nonequal?
True
Let h be (3/(-2988))/((-12)/(-21921)). Let r = h - -1/1328. Which is greater: -1 or r?
-1
Let f be (-2)/(-3) + 22/(-33). Let y = -0.05 + 4.05. Which is bigger: f or y?
y
Let a be (1 - 13)/(-4) - 1. Let b be 6*a/(-6)*2. Which is bigger: 0 or b?
0
Let x(p) = 22*p + 214. Let t be x(-8). Which is smaller: t or 34?
34
Let o = 833 - 810. Is o smaller than 21?
False
Let o = 42 + -18. Let r be ((-1)/4)/((-30)/o). Is r > -1?
True
Suppose -88 = -5*h + h. Let j be (-33)/(-15)*4*12/(-24)*-5. Is h smaller than j?
False
Let j = 213 + -4685/22. Let m = j - -39/110. Which is bigger: m or 5?
5
Suppose -3*m = -5*r - 21, 2*m + 2*r = -0*m - 2. Suppose v + 33 = 3*u, -m*v = 2*u + 7 - 37. Let l be (3/18)/(2/u). Which is smaller: -1/21 or l?
-1/21
Let v be 124/24*(3/(-3) - -6). Are v and 26 unequal?
True
Let m = -0.3 + 0.3. Let p = 889 - 888.3. Is m at most p?
True
Let g(m) = 5 + 5*m + 48*m**3 + 4*m**2 - 2*m**2 - 47*m**3. Let l be g(-2). Which is bigger: -1 or l?
-1
Suppose -4*w = r + 4, 2*r + w + 3 = -2*w. Which is smaller: r or 10?
r
Suppose -x - 177 = 5*g, -4*g - 4*x - 24 = -3*g. Let l be 2/g - (-4)/(-18). Let w = 1/36 + l. Which is bigger: w or 1/2?
1/2
Let n(g) be the third derivative of 6*g**2 + 0 + 0*g + 2/15*g**5 + 3/8*g**4 + 1/6*g**3 - 1/120*g**6. Let q be n(9). Is 1 smaller than q?
False
Let q(y) = 2*y. Let d be q(-1). Let t be (-1)/(d/4*-2). Let f = 172/5 - 35. Is t less than f?
True
Let x be (-175)/435 + 1/3. Suppose 0 = i - 6*i + 25. Suppose p = i*p. Which is smaller: p or x?
x
Let a = -28.71 - -26.7. Let h = a + 0.73. Let z = h - -0.28. Are 5 and z equal?
False
Let w be (-5)/5 - (-24)/15. Let d = 28 + -26. Is w greater than or equal to d?
False
Let q be ((-624548)/(-1326))/(((-3)/(-18))/(-1)). Let c = q + 2826. Which is greater: -1 or c?
c
Let m = -117.57 + 116. Let y = -0.43 + m. Is y greater than -2/5?
False
Let n = -23 - -58. Suppose 222 = -27*o + 33*o. Which is bigger: o or n?
o
Let a be (-22 - -1) + 4/4 + -5. Which is smaller: a or -17?
a
Let m(l) = -9*l - 396. Let n be m(-44). Are n and -14/11 non-equal?
True
Let j = 65695 + -204902707/3119. Which is bigger: -0.1 or j?
j
Let t = -0.0224 + 0.3224. Which is bigger: -33 or t?
t
Let k = 0.01 + -29.01. Let a = -34 - k. Is 0.2 at least a?
True
Let n = -8 - -14. Let g(r) = -2*r**2 - r + 4. Let t be g(-2). Which is smaller: t or n?
t
Let v be (1 - -3) + -2 + (0 - -1). Suppose 10 = 5*u - 4*a, a = 4*u + v*a - 34. Which is smaller: u or 7?
u
Let g = 975093/769 + -1268. Which is smaller: g or 0?
0
Suppose -2*k + 2*s + 6 = 0, -5 + 0 = s. Let m = 1 + -2. Which is greater: m or k?
m
Let p = 2.66 - 5.244. Let k = p + -21.396. Let r = k + 24. Is -1 != r?
True
Suppose 101*w + 110 = 112*w. Is 32/3 less than w?
False
Let z be ((-28)/(-3))/((-200)/300). Which is greater: z or -29?
z
Let l = -85 - -90. Suppose m + 0*m + 349 = -3*f, 459 = -4*f + l*m. Is -116 less than or equal to f?
True
Let l = -6/103 - -466/927. Is 22 bigger than l?
True
Suppose 0 = 3*k - 4*h - 222, -225 = -2*k - k + 3*h. Let y be k/69 + (-8)/8. Let r(b) = -b**2 - 7*b + 8. Let s be r(-8). Do s and y have different values?
True
Let f be 2/6*(-6)/4. Suppose -c - t - t + 21 = 0, -2*c = -4*t - 82. Let o = c - 33. Is o equal to f?
False
Let z = -1181/31067 + -3/661. Which is smaller: 0.1 or z?
z
Let t = 285 - 481. Is t != -191?
True
Let c = 478 + -479. Let i be 348/777 - (-4)/(-14). Is c less than or equal to i?
True
Let a = -1114 + 1016. Is -92 greater than a?
True
Let u = -20/689 + -102461/6890. Let g = -15 - u. Which is greater: g or 2/11?
2/11
Let f = -2706 - -2631. Which is smaller: 12 or f?
f
Let f = 15 - 10. Suppose s = 2*q + f*s - 12, 1 = s. Suppose -5*h - 10 = -3*h - q*o, 4*h - 19 = -5*o. Is 5 at most as big as h?
False
Let q = -21 + -59. Let s = -79 - q. Is s at least -8?
True
Suppose 0 = -6*b + 13 + 11. Suppose -2*d = b*d + 18. Which is greater: d or 0?
0
Let v = 0.3 - 0.4. Let z = 5.8 + 23.2. Let r = z - 35. Is r at least as big as v?
False
Let z be ((-3)/3 + -510)/((-50)/(-100)). Is -1/3 greater than z?
True
Let h = 184 + -849. Is h smaller than -667?
False
Suppose 7*z = 2*d + 2*z + 63, 4*d = 2*z - 118. Let g = d + 9. Let l be -3*(25/(-5))/g. Which is smaller: 0 or l?
l
Let w = -3 + 2. Let g = -0.035 - -0.935. Let b = w + g. Which is greater: b or 1.4?
1.4
Let x be 2/(10/15) + -4 + 0. Do -2/1167 and x have different values?
True
Let v be (-5 - 13/(-3))*6/(-4). Let l be 2/(-318)*-319 + -2. Do l and v have the same value?
False
Let g = 8/5159 - 1387819/30954. Suppose 4*h + 368 = -4*h. Let j = g - h. Which is bigger: 0 or j?
j
Let b = 3.998 - 4. Let q = b + -0.998. Which is greater: q or 2.4?
2.4
Let t(i) = i**3 + 20*i**2 + 37*i + 17. Let y be t(-18). Let d be -45*((-69)/(-51) - 0). Let k = 61 + d. Which is greater: k or y?
k
Let c = 1 + -23. Let n = 24 + c. Let u be (-24)/84 + n/7. Is 0 smaller than u?
False
Let s = 187 + -194. Which is smaller: s or -9?
-9
Let c = 1388/9 + -154. Let d(h) = -h - 16. Let j be d(-20). Suppose j*w - 14 = 2*o, 6*o + 24 = -w + o. Which is smaller: c or w?
c
Let p = 566 - 588. Does p = -23?
False
Suppose 0 = -1898*q + 1891*q + 21. Which is greater: q or -8?
q
Let n(l) = -l**3 - l - 1. Let x be n(-1). Which is bigger: x or -63?
x
Let r = 11 + -21. Let l be 351/130 - (-2)/r. Which is smaller: l or 2?
2
Let i = -17 + 25. Let u be (168/i)/((-3)/(3 + 0)). Are -20 and u non-equal?
True
Suppose 0 = -v + 5*v + k, 0 = 4*k + 16. Let f(u) = -u + 3. Let g be f(11). Let n be (60/g)/(-2*(-7)/(-4)). Which is smaller: v or n?
v
Let f = 2383693/35 - 68089. Let l = -84/5 + f. Which is smaller: 0.2 or l?
l
Suppose -4*q - q = 0. Suppose 5*r - 5*u - 16 = 4, 5*r = -4*u - 7. Let c be r/(-11)*(q + -2). Which is smaller: 0 or c?
0
Let x = 174 + -174. Which is smaller: x or 22.1?
x
Suppose 17*x = x + 2272. Is 149 smaller than x?
False
Let z = -358 - -151. Let r be z/184*(-2)/(-3). Suppose 0*j = -j. Which is smaller: j or r?
r
Let h = 366124 + -165121800/451. Let k = 26/41 + h. Let m(t) = -t**2 + 7*t + 8. Let l be m(8). Is k equal to l?
False
Suppose 2*u - 1456 = -5*w + 237, -w = u - 341. Is 338 less than w?
False
Suppose -9*j = -6*j + 15. Let r(b) = b**3 + 8*b**2 + 7*b + 1. Let c be r(j). Which is greater: c or 42?
42
Let f = 726 + -669. Is 223/4 <= f?
True
Let z = -2412 - -1166. Is -1247 at most as big as z?
True
Suppose -70 = 2*n + 3*n. Suppose 4*u = -16, -j = -4*j - 3*u - 27. Let x(q) = -q**3 - 4*q**2 + 7*q - 5. Let w be x(j). Is n smaller than w?
False
Let g be 5 + -3 + (69/(-78) - 1). Let c = 11/39 - g. Is c at least as