v) = v + 34. Let j be p(-15). Suppose j = -2*k - 21. Is k < -22?
False
Let v = 0.044 - 0.044. Is 1/136 at most as big as v?
False
Let j(s) = 11*s + 1. Let o be j(2). Suppose -l - 4*a = -18, -2*l + 9*a = 4*a - o. Let g be 12 - ((3 - 3) + -2). Is g > l?
False
Let j be 30/225 + (-182)/15. Let f be (-26)/(-8) - (-3)/j. Are f and 3 unequal?
False
Let r(v) be the first derivative of -v**4/4 - 13*v**3/3 - 25*v**2/2 - 24*v + 29. Let w be r(-11). Is 7 not equal to w?
True
Suppose 12*g - 15*g + 5*s + 15 = 0, 5*g - s = 3. Suppose 1 = -0*a - a. Which is smaller: a or g?
a
Let n be 7/(-2)*2*-2. Let j = 8 - n. Let d = -8 - j. Do d and -7/3 have the same value?
False
Let w be (-28)/10 + (-1 - -3). Let s = -10 + 15. Suppose s = -3*a + 2. Is a smaller than w?
True
Let q be 3 - (4 + -2) - 20. Let c = q - -9. Let v be 6/(-30)*c/(-4). Which is bigger: v or -1?
v
Let k = 30.8 - 30.5. Is -3.5 at most k?
True
Let h = 462 + -396. Which is smaller: h or 592/9?
592/9
Let f = 6.15 + -6.01. Which is smaller: 4 or f?
f
Let p be 2/6*0*(-106)/(-530). Is -5/21 greater than p?
False
Let v be (-1)/4 - 66/24. Suppose 0*h = h. Is h at least v?
True
Let d be -12 + 5 + -112 + -4. Are -122 and d equal?
False
Let s(t) = 4*t - 43. Let i be s(11). Let n be (-33 - -3) + i - 1. Which is smaller: n or -0.1?
n
Let z = -1194 + 1193. Is z > 3/895?
False
Let h(t) be the third derivative of -t**6/120 - t**5/15 - t**4/8 - t**3/2 + 10*t**2. Let a be h(-4). Let v(p) = -p + 7. Let b be v(a). Is b not equal to -1/2?
True
Let h = 29 + -29.08. Let i = -4 - -5.08. Let d = h + i. Which is smaller: -0.5 or d?
-0.5
Suppose 5*k - 5 - 10 = 0. Suppose x + 6 = k*g, -4*x = -x - g - 6. Suppose x = l + 2. Is l greater than or equal to 21?
False
Suppose 5*i + 343 + 472 = 0. Let v = i + 229. Which is smaller: 68 or v?
v
Suppose 12*k = 17*k + 1395. Which is bigger: -280 or k?
k
Suppose -4*y - r = -67 - 96, -4*r = -12. Which is greater: y or 42?
42
Let l = -275 - -296. Which is bigger: l or 8?
l
Let h be -1 + (-40)/18 + 3. Let v(f) = f + 2. Let j be v(-1). Let a be (1/(-5))/((-1)/5*j). Which is smaller: h or a?
h
Suppose -4*j + j = -n - 83, 91 = 3*j - 5*n. Suppose -4*c + j = -3*z, 4*z + 36 = -c + 2*c. Let r be 2/(1/8*-2). Which is smaller: r or z?
z
Let v be (8/60)/(3/(-3930)). Let q = 15202/87 + v. Is -1 <= q?
True
Suppose -2*j - z - 2*z = -13, j - 11 = 3*z. Suppose j = -5*h - r - r, -2*r - 8 = h. Suppose a + h = -1. Which is smaller: -3/8 or a?
a
Let y = -560837/309 - -1815. Do 1 and y have the same value?
False
Let l = -28771 - -38812076/1349. Which is greater: l or 1?
1
Suppose -3*f + 6 = 5*u, -f + 3 = -2*f. Suppose d = u*d - 20. Suppose 0 = 3*l + d - 7. Do 0 and l have different values?
True
Let p be (5 - 0)*-1 + 1. Let h = 90 + -84. Let w(o) = o**3 - 4*o**2 - 14*o + 7. Let r be w(h). Which is greater: r or p?
p
Let w(n) = 528*n - 29. Let i be w(15). Let x be (i/26)/((-6)/4). Let m = -204 - x. Which is greater: m or -1?
-1
Let c = -655 - -17683/27. Which is smaller: 3 or c?
c
Let u be (-10)/(-10) + (-4312469)/(-5681). Let y = -3138/437 + u. Let a = -752 + y. Is a at most as big as 2?
True
Let r(n) = -n**2 - 8*n - 9. Let o be r(-2). Let p = o + -4. Which is greater: p or -5/7?
-5/7
Let s(m) = -m**3 - 2*m**2 + 13*m + 60. Let w be s(-4). Let y be (-19)/(-4) - (-2)/8. Let o be 82/w + (y - 7). Which is bigger: o or -1?
o
Suppose -876*r + 450 = -861*r. Which is smaller: r or 25?
25
Let a be ((-66)/605)/((-366)/15). Is a at most as big as -0.1?
False
Let t = 6 + -2.9. Let m = -2.1 + t. Let d = -3.5 - 0.5. Is m at least d?
True
Let d be (-112)/(-12)*21/2. Let n = d + -99. Which is smaller: n or 1/41?
n
Let v(y) = y**3 + 24*y**2 - 25*y + 1. Let x be v(-25). Let i = 15885/13 - 1221. Which is smaller: x or i?
i
Let s = 386 - 296. Is 90 at most as big as s?
True
Let m = -381/2 + 187. Let k = 112 + -92. Let t = -21 + k. Which is smaller: t or m?
m
Suppose b = 5*b + 3*o + 19, -3*b + 5*o - 36 = 0. Let u(x) be the first derivative of -7*x**2/2 + 6. Let w be u(1). Is b >= w?
True
Let f = -27 + 223/10. Let j = 21/5 + f. Is j greater than 0?
False
Suppose 28 = -5*o + p, 8*o + 40 = 3*o - 5*p. Let f be o - (-4)/(-1 - 1). Which is smaller: -9 or f?
-9
Let c = -566 - -571. Do c and -139 have the same value?
False
Let v be 0/(-1) - 1*-5. Suppose 5*a - 10 = -2*d + 11, 3*d = 3*a. Which is bigger: a or v?
v
Let y = -72 - -73. Is y smaller than 0.007?
False
Let o(b) = 2*b + 15. Let y be o(-17). Let p = y + 18. Let d = p + 4. Which is greater: 2 or d?
d
Let g = 32 - 14. Suppose -12*i = -14*i + 10. Suppose 3*q - 93 = -i*d, 0 = -2*d - 4*q - 0 + 40. Is d at least g?
True
Let u = -1.78 - 6.22. Are u and -0.3 equal?
False
Let r = -400 - -404. Let c = 3.05 - 3. Is c at least r?
False
Let d(t) = 10*t - 8. Let k be d(3). Which is greater: 9 or k?
k
Let d = 150.94 + 0.06. Does d = -1?
False
Suppose 3*g - 22 = -o - o, 2 = -2*g + 2*o. Let x(i) = -i**3 - 7*i**2 - 6*i + 3. Let f(w) = -2*w**2 + 8*w - 6. Let t be f(4). Let u be x(t). Is u not equal to g?
True
Let p = 1/286 + -487/16588. Does p = -3?
False
Let b(w) = 16*w**2 + 23*w - 50. Let j be b(2). Is j bigger than 60?
False
Suppose 0 = 5*n + l + 4*l - 5, 3*n - 2*l = 13. Let w(s) = s**2 - 3*s. Let m be w(n). Which is bigger: m or -1/8?
m
Let z be (3/6 - 0)*-10. Let m(a) = 5*a**2 - 22*a - 4. Let u(q) = -2*q**2 + 7*q + 1. Let b(i) = -4*m(i) - 11*u(i). Let s be b(z). Which is greater: s or 3/4?
3/4
Let m = -2.3 + 2.52. Let r = -0.78 - m. Is 9 equal to r?
False
Let y be 44 - ((-12 - -11) + 3). Let c be (-2 + 3 + -44)*-1. Which is bigger: y or c?
c
Let g be 2*(5 - 52/8). Let l be (-2 + -3 - g)/((-5)/(-20)). Which is smaller: -4 or l?
l
Suppose 17*o + 2374 = 19*o. Is 1187 greater than o?
False
Let k(p) = -p**3 + 4*p**2 + 14*p + 43. Let x be k(7). Which is greater: -10 or x?
x
Suppose 0 = -2*j - j + 3*q - 15, 0 = -4*j - q - 15. Let r be (j/78)/((-10)/45). Suppose 3*p = -2*p + 15, 0 = k + 5*p - 16. Is r less than k?
True
Let q = -82.019 - -82. Let d = q + 0.019. Do -6.5 and d have the same value?
False
Let y = -40.7 + 38.7. Is 3/20 bigger than y?
True
Let d be 3 - 39*(-15)/(-198). Let a(n) = -n**2 - 2*n + 3. Let w(v) = v**3 + 5*v**2 + 4*v - 3. Let c be w(-4). Let u be a(c). Which is greater: d or u?
d
Suppose -6*g - g = 0. Suppose 3*t + h - 3 = -g, -2*t + 3*h - 9 = 0. Which is smaller: 3/8 or t?
t
Let c(f) = f + 23. Let y be c(-16). Suppose y*o - 5*o + 4 = 0. Which is greater: o or -5/6?
-5/6
Suppose 219*g - 224*g = 205. Does -2 = g?
False
Let d be 0/((-2)/2 - -3) - -5. Which is bigger: d or -4?
d
Let n(z) = z**3 - 31*z**2 + 25*z + 81. Let i be n(30). Which is greater: -55 or i?
-55
Let c = 1764 - 1740. Which is smaller: c or 177/7?
c
Let r be (-2)/(-10) - (-192)/15. Suppose 66 = 9*t - 3*t. Which is greater: t or r?
r
Let r = -54 + 592/11. Let i(y) = -y**2 + 6*y. Let o be i(5). Suppose 5*l = -0 - o. Is l greater than r?
False
Suppose 0 = 2*p, 3*x - 17*p + 19*p = 2874. Which is greater: x or 959?
959
Let c(w) = -2*w - 13. Let v be c(-7). Let d(u) = -u**2 + u + 70. Let g be d(0). Let o be 1 + (-1)/g*74. Which is bigger: v or o?
v
Let w = -83 - -128. Let j be 9/42*6/w. Are j and 1 non-equal?
True
Let y be (-10)/(-45) - 21/(-27). Let x = 1/1775 - 3639/157975. Is x smaller than y?
True
Let m = -10 - -12. Suppose -18 + 3 = -5*a. Let l be 0 + a - (-8)/(-2). Which is greater: l or m?
m
Suppose 2*c + 1 = -9. Suppose 0 = 9*j - 6*j - 60. Suppose 4*l = -j - 0. Are c and l unequal?
False
Let n = 25 - 32. Let f be (-8)/(-28) - (-261)/n. Which is smaller: f or -1?
f
Let n be (3/(-9)*4)/((-6)/(-567)). Let r be (-7)/(n/(-24)) + 2/6. Is -1 greater than or equal to r?
True
Suppose -133*x + 119*x - 154 = 0. Which is smaller: x or 53?
x
Suppose 4*m = -l, -2*m + 3*l - l = 0. Suppose 3 = 3*n - m. Let j be (n - 0)*3/(-27). Are -1 and j nonequal?
True
Suppose -8 = -4*h - 0. Suppose 5*j + 2*t = h*j - 9, -11 = -j + 4*t. Let a be (-1)/5 - j/(-5). Is -0.05 at least a?
True
Let i = 111 - 111.2. Do i and -2/5 have the same value?
False
Let r be -2*(-2)/40*3. Suppose -a = -4*b, -3*a = 4*b - 2 - 14. Which is smaller: r or b?
r
Suppose 3*g - 24 - 13 = -j, -2*g + 172 = 5*j. Let f be -1 - j/(-4) - (-8)/8. Which is smaller: 9 or f?
f
Suppose 5*y = -5*p - 15, 4*y - 73 = -2*p - 81. Which is bigger: -2/533 or y?
-2/533
Let u be (-86)/(-3)*(6