Do z and j have the same value?
False
Let m(u) = -20*u**2 - 36*u + 25. Let a be m(-15). Are -3935 and a non-equal?
False
Suppose -4*s = 3*j - 123, -s + 663 - 623 = j. Which is smaller: -205 or j?
-205
Let m be (-330)/(-59)*((-57)/144 - 24/(-384)). Which is greater: -1 or m?
-1
Let s(f) be the third derivative of -f**5/30 + f**4/12 + 2*f**3 - 76*f**2 + 2*f. Let t be s(-5). Is t < -48?
False
Let j = 0.4 - 0.1. Let g be ((57/(-76))/((-3)/4))/(69/15). Is g greater than j?
False
Let b = -68/3 + 1627/60. Are 4 and b unequal?
True
Let q(n) = -n**3 + 7*n**2 + 5*n + 2. Let d be q(-6). Let g be 2630/d + (-18)/3. Is g bigger than 1?
False
Let m = -671 + 1274. Let p(w) = -396*w + 20799. Let q be p(51). Is q smaller than m?
False
Let u(m) = -m**3 + 7*m + 4. Let d be u(-3). Let a(f) be the third derivative of f**5/60 + f**4/3 - 3*f**3/2 - 2*f**2. Let i be a(-10). Which is greater: d or i?
i
Let w be -906*10/12*(-24)/(-90). Let a be (-1*(-23)/(-9))/((-112)/8826). Let j = w + a. Which is greater: -1 or j?
j
Let r = -101 - -239. Let y = 2322 + -2322. Is y at least as big as r?
False
Let l be ((-2)/12)/((-9)/36*60/3576). Which is greater: l or -0.1?
l
Let g = -12307 - -10538. Is g < -5303/3?
True
Let k = 0.966 - 0.766. Is k less than 415?
True
Let r be ((-42)/12 + 2)*-2. Suppose 6*z - 10*z = r*d + 24, 5*d = 2*z + 38. Which is smaller: z or -5?
z
Let l = -6 + 5. Let w be ((-2826)/162)/(2/(-3)). Let a = -787/30 + w. Which is smaller: a or l?
l
Let o = -0.307 + -5.093. Let i = 0.2 - o. Is i less than 0.1?
False
Let m(x) = 2*x**2 - 27*x - 16. Let l be m(14). Let y be -5 + 9 + l - 6. Let h = y - -26. Is 22 > h?
False
Let o(i) = 3*i**2 + 4*i - 107. Let p(g) = 5*g - 19. Let u be p(5). Let b be o(u). Are b and 290/11 equal?
False
Let p(z) = -z**2 + 0*z**2 + 0*z + 8 - z + 0*z**2. Let v be p(4). Let s be -2*v/(-8) - (-12)/3. Is s equal to 1/112?
False
Suppose 62*o + 22 = 61*o - 3*p, 4*o + p + 11 = 0. Is -7/1207 not equal to o?
True
Suppose -2*s + 9*r - 7 = 10*r, 2*s = 2*r + 8. Suppose 0 = -3*n - 4*a + 15 - 36, 0 = 2*n + 5*a + 21. Let j be ((-10)/n)/(2/(7 + s)). Is j smaller than -3?
False
Let n = -1.271 - -0.011. Let p = -0.14 + n. Do p and 0.09 have different values?
True
Let o be (-30 + (-15 - -41))/(1/(-6)). Suppose 3*q = 7*q - 76. Are q and o unequal?
True
Let q be (-126)/(-24) + -6 + 2106/(-8). Let y be (-81)/q + (-14)/77. Which is smaller: y or 1?
y
Suppose -r - 4*r = 2*z - 122, -3*z + 4*r + 183 = 0. Let i = -47 + z. Suppose 5*v = -4*o - i, 0 = -5*o + 2*v + v + 1. Do o and -5/4 have the same value?
False
Let w(j) = j**2 - 24*j + 8. Let x be (180/(-42))/(-1)*14/3. Let m be w(x). Do m and -73 have different values?
True
Let b = 0.0657 + 0.1343. Let m = -17/194 + -54429/970. Let r = m - -56. Which is greater: b or r?
b
Let g = -20969.9 + 20970. Which is smaller: g or -38.83?
-38.83
Let c(a) = 3*a**3 - 515*a**2 - 173*a + 304. Let l be c(172). Which is smaller: l or 26?
26
Let k = 65 + -61. Suppose 4*w - 14 - 661 = -5*u, 5*w + k*u = 855. Let l be (w/14)/(1/2). Is l at most 0?
False
Suppose -513*d = -24*d. Which is greater: d or -31/165?
d
Suppose -4*p = -2*p + 28. Let d(g) = 3*g**2 + 16*g - 57. Let s be d(-8). Let i be (-30)/(-4) + 1/(p/s). Which is bigger: 8 or i?
8
Let r be 5/(30/6) + 5/(-1). Let t be (r - 1970/8)*4. Let l be t/308 + (1 + -4)/(-1). Is 4.7 less than or equal to l?
False
Let g(f) = -f - 20. Let o be g(-9). Let l be (9/(-1))/(o/(-77)). Let c be (-1305)/l - 2/(-7). Which is smaller: 22 or c?
c
Let q = 849/23 + -11221/299. Suppose 5*t - 2 = -4*h + 4, -t = -4*h - 6. Which is smaller: h or q?
h
Let s(n) = n**2 + 4*n + 4. Let g be s(-1). Let b be (-174)/46 - (-9)/(4 - g). Which is smaller: 0 or b?
b
Suppose 0 = -10*l - 9*l + 76. Suppose 0 = -2*c + 5*d - 209, -2*c - 91 = l*d + 73. Which is smaller: c or -91?
c
Suppose 4*v + 25*g - 5245 = 30*g, 0 = 5*v + g - 6549. Is 1310 equal to v?
True
Let f = 225.6 - 0.6. Let o = -225.1 + f. Let a = 1807/10 - 180. Which is smaller: o or a?
o
Let r be (-104142)/565760 - (-28)/(-910). Which is bigger: r or 1?
1
Let w = -9 - -25. Let m = -522/13 - -3559/65. Which is bigger: m or w?
w
Let c = 5 + 0. Suppose 10*q - c*q - 25 = 0. Let p(r) = -r**3 + 4*r**2 + 7*r + 1. Let b be p(q). Is 11 smaller than b?
False
Let j(y) = -y**2 - 26*y + 91. Let m be j(3). Let h(l) = -4*l**3 - 5*l + 6*l**3 - l**3 - 3*l**2 + 3. Let g be h(m). Which is smaller: 4/3 or g?
g
Suppose -t = 5*u + 393, -t - 44*u - 401 = -47*u. Let i = t - -349. Which is bigger: 0 or i?
0
Let c = -13.36 + 14. Let q = c + 31.36. Let h be (-4)/(-40)*24/(-6)*-5. Which is bigger: q or h?
q
Suppose 122636 = -36*i - 288520. Do i and -11422 have the same value?
False
Let r = -263 - -271. Let w be -5 - -8 - r/(-4). Which is smaller: 0 or w?
0
Suppose 45 = -4*u - 3*j, 41 = -4*u + 4*j - 39. Let p = 635 - 648. Which is smaller: p or u?
u
Let w(j) = 3*j - 43. Let d(x) = 6*x - 87. Let h(o) = -3*d(o) + 5*w(o). Let k be h(15). Let i be (-2 - -2)/(-2 + k + -1). Which is smaller: 1 or i?
i
Suppose 164 = -7*p + 2*p - z, -2*p = -3*z + 52. Suppose -5*f + v - 175 = -16, -5*f = -3*v + 167. Is f < p?
False
Let g be 20823/(-5) - 5*(-27)/225. Is g < -4165?
False
Suppose -4*u - 23 = -t, 3*t + 3*u - 60 = -6. Let z = -11 + 1. Let f = z - -30. Does t = f?
False
Let d = -732 - -733. Which is greater: d or -581?
d
Let v(j) = j - 8. Suppose -4*g - 22 = 14. Let m be ((-3)/g)/((-2)/(-66)). Let n be v(m). Is -9 equal to n?
False
Let z(m) = -m**3 + 13*m**2 + 16*m - 18. Let c be z(14). Suppose 8*s - 2 = -c. Let l = -164.02 + 164. Which is bigger: s or l?
l
Let t(x) = -x**3 - 7*x**2 - 4*x + 6. Let j be t(-7). Let f = j + -32. Suppose 5*i + 2*c + 118 = 0, 2*i + i + f*c + 70 = 0. Do i and -25 have different values?
True
Let t = -25.9 + 26. Let a = -374.88 + 397. Let z = -22 + a. Which is bigger: z or t?
z
Suppose -290 = -503*z + 498*z. Let v be 10/(-45) + (-2 - (-128)/z). Which is smaller: v or -1?
-1
Let r be 8 - 6 - 39775/19950. Is r less than -1?
False
Let x(f) = -f**3 + 5*f**2 - f - 6. Let q be x(5). Suppose -1305*n - 6 = -1307*n. Suppose n = -5*h + 2*u, 0 = h + u - 9 + 11. Which is bigger: h or q?
h
Let g = -6804.2 + 6804. Is g <= 3.294?
True
Suppose -4*w + 2*z + 464 = 0, 2*z + 0*z + 579 = 5*w. Suppose 0 = 22*y + 83 - 61. Is w greater than y?
True
Let t = 2630 - 2635.72. Which is greater: 0.1 or t?
0.1
Let m = -3717 - -4069. Which is greater: m or 348?
m
Let c be 1334/(-203)*(-35)/2. Do 109 and c have the same value?
False
Let w(h) = -19*h**2 - 56*h + 4. Let p be w(-3). Let n(f) = 3*f**2 - f + 3. Let j be n(3). Let k be j/(-504)*(-2)/(-3). Is p != k?
True
Let v be 15/(-24)*-2 - (-6850)/(-360). Is 2 bigger than v?
True
Suppose -14 - 21 = -7*m. Suppose -m*t + t = -16. Suppose -11 = 5*u - 4*f - 0*f, t*f = -u + 17. Which is bigger: u or 2/39?
u
Let n(k) = 22*k + 118. Suppose 65*o - 84 = 69*o. Let v be n(o). Are -344 and v nonequal?
False
Let h = 204 + -191. Let k be (6/97)/(h + -15). Which is smaller: k or 0?
k
Let k = 7.1 + -22. Let o = 16 + k. Let d = -3 + 1. Which is greater: d or o?
o
Let x = 4944 + -4944.051. Which is smaller: x or -9?
-9
Suppose 4*j = -2*n - 3737 + 12871, 5*n - 5*j = 22820. Is n <= 4566?
True
Let q be 12/((121/(-9) - -13)*(-1)/48). Is 6476/5 <= q?
True
Let p be (-417)/(-9) + (-3)/9. Suppose 2*s - p = 4*w, -5*w + s - 2*s = 61. Which is smaller: w or -13?
-13
Let h be ((-30)/35)/(9/(-28)). Let y be 270/40*2/(-1)*2. Let s be (-3 - 1)/(y/27). Is s less than h?
False
Suppose -z - 798 = -3*z - t, 5*t - 1183 = -3*z. Suppose 3*a + 105 = -b - 502, -2*a = -3*b + z. Is -201 greater than or equal to a?
True
Let w(m) = -80*m - 4503. Let a be w(-60). Which is greater: 295 or a?
a
Suppose 15 = b - 4*s, 3*b - 4 = -s + 2. Let y = -73 + 73. Which is greater: b or y?
b
Let i(a) = a**3 - 12*a**2 - 18*a - 4. Let b be i(-1). Suppose 7 - 26 = l. Let f be 2 + 70/l + 2. Is b at least f?
True
Let w(m) = -m**2 + 7*m - 8. Let u be w(5). Suppose u*x - 69 + 83 = 0. Which is greater: -22/3 or x?
x
Suppose -9 = 3*i - 3*r, -2*i + 25*r = 29*r - 12. Suppose -4*t = 3*c - 16, -6*t = -5*c - 2*t + 16. Let w be (-8)/78*6/c. Are i and w non-equal?
True
Let s be (-1 - -1) + (-3 - -3). Suppose s*q = -2*q. Suppose -c + 6 + 10 = q. Is c greater than 17?
False
Let h = -370230/17 + 21788. Which is bigger: 11 or h?
11
Let t = -24048/