662)/(-4) - -1)/((-3)/2). Let r = -2063/2 - l. Let u = 247 - r. Is u greater than or equal to 2?
False
Let j be 6/(-10) + 1739/(-235) - -16. Is 1.38 smaller than j?
True
Suppose 0 = 12*x - 366 + 342. Let z be (3/(-9))/((-3)/(-18)). Is x < z?
False
Let d = -209 - -259. Let x = -25 - d. Which is bigger: x or -0.2?
-0.2
Let w(d) = -d**3 + 2*d**2 + d + 4. Let q be w(3). Suppose 0*u + 32 = 13*u - 7. Let p be (q/u)/((-38)/(-6)). Which is smaller: p or -1?
-1
Let s be 226/(-8) - (-2)/8. Let k = 33003 + -33035. Which is greater: s or k?
s
Let t be (3/6)/((-6)/216). Let z = -699 - -700. Is z at least as big as t?
True
Let q be 5 + (-12900)/2979 + (-6)/9. Let i = 15.9 + -16. Is q greater than i?
True
Let a = 107.72 - 22.72. Let v = 85.8 + -86. Which is bigger: v or a?
a
Let s(f) = -25*f - 650. Let z be s(-26). Which is smaller: z or 4/8581?
z
Let t(g) = -g**3 - 34*g**2 - 34*g + 28. Let m be 1*2*1353/(-82). Let y be t(m). Is y at most as big as 61?
True
Let h = 30409 - 28589. Are 1819 and h unequal?
True
Let x(z) = -57*z**3 + 2*z**2 + z. Let y be x(-1). Suppose c - 5*n + n = -y, 5*n = 25. Suppose 4*f - 4*d = -132, 0 = -2*f + 3*d + 2*d - 51. Are f and c unequal?
False
Let t(a) = -a**2 + 5*a + 131. Let x be t(14). Suppose 0 = -x*d + 29 - 14. Which is smaller: 4 or d?
d
Suppose -2*c = -c - 3*s - 46, 98 = 3*c - s. Suppose 15 = 5*i - 5*k, -i - i - 3*k = -c. Let o be (44/14)/(21/(-245)*-5). Which is smaller: o or i?
o
Let v be 2/((-1 - 0)*(-6)/12). Suppose -3*w - 18 = -5*z - 6, -v*w - z + 7 = 0. Which is bigger: w or -2/15?
w
Let j be (136/5 - (-10)/(-50))*22. Let m = j - 620. Which is smaller: m or -16?
m
Let w(z) = z**2 - z + 1. Let k(d) = -d**2 - d - 1. Let y(p) = k(p) + 2*w(p). Let o be y(3). Let h = -7215/4 - -1805. Is h less than or equal to o?
False
Suppose -2*s - 14 = 2*c, -s - 3*s = 3*c + 23. Let u be (-49)/245 - (-1054)/c. Which is smaller: u or -210?
u
Let j be 7/((-14)/(-6)) - 1. Suppose -c - 16 + j = 0. Let s(r) = r**3 + 14*r**2 - r - 5. Let p be s(c). Are p and 68/7 nonequal?
True
Let t be -129*(-2)/2*66/(-198). Is -34 less than t?
False
Let h be (1649/(-141) + (-1)/(-3))*568/568. Is -10 greater than h?
True
Let h(t) = -t**2 + 71*t + 71. Let l be h(-1). Which is bigger: l or 17/233?
17/233
Suppose 4*u - 14*u = -12*u. Suppose 4*t + 4 = -20. Let p be (-20)/t*36/(-150). Which is greater: u or p?
u
Let m = -247121/956 - 5/956. Is m greater than -258?
False
Let s be 543/(-51) - (-21 - (-120)/12). Let p(z) = -z + 3. Let x be p(3). Which is smaller: x or s?
x
Let y be (-64)/12 + 5 + 7/42. Which is greater: y or -232?
y
Let r be 3/((-18)/168*2). Let t be r + 18 + -4*1 + 0. Which is bigger: 14/57 or t?
14/57
Suppose -97*p + 2 = -96*p. Suppose -p*d + 3*o = -57, -4*o - 15 = -o. Which is smaller: 23 or d?
d
Let l be 4/(-12)*(-1 - -4). Let w be (18/(-4))/(l/(-2)). Let d = 3517 - 3516. Do d and w have the same value?
False
Let v(l) = 12*l + 228. Let g be v(-43). Let j = g + 283. Are j and -46/9 non-equal?
True
Let u(h) = -h**3 + 4*h**2 + 5*h - 2. Let p be u(4). Suppose -p = -w - 32. Let z be ((-6)/(-248))/(w/112). Which is smaller: 1 or z?
z
Let l = 0.1 + -0.02. Let q = -0.06 + l. Let p = -2954 + 2952. Which is smaller: p or q?
p
Let x = -0.755 + 0.015. Let t = 40.74 + x. Let h = 37 - t. Which is bigger: -6 or h?
h
Let x(w) = -11*w + 2. Let s be x(3). Suppose -4*q + 32 = 4*i - 0*q, 2*i + 2 = 4*q. Suppose i*y = 2*h + 40, 0 = -4*h - 21*y + 22*y - 116. Are h and s equal?
False
Let c be (72/(-216))/((-3)/54). Let x(u) = -2*u**2 + 15*u + 4 + 7 - u**2. Let f be x(c). Which is greater: -11/2 or f?
-11/2
Let h(r) = 9*r + 57. Let w be h(-6). Suppose 7*o + w*o = -20. Which is greater: -3 or o?
o
Suppose -103*z - 2275 = 5*z - 17*z. Which is bigger: z or 253?
253
Suppose -5*s - 278 - 991 = -2*a, 5*s = a - 622. Is a greater than 648?
False
Suppose -4*p = 16, -4*a - 6*p - 379 = -819. Which is smaller: a or 1611/14?
1611/14
Let m = -16908 - -16907. Which is smaller: m or 6/2077?
m
Suppose -6*c + 2*c = 0. Let i be (-1)/4 + 42*(-3219)/(-527800). Is c < i?
True
Suppose 4*m - 6 - 14 = 0. Suppose -3*s - 165 = -m*y, 0 = -3*s + y - 5*y - 165. Which is greater: s or -56?
s
Let s = -122/8525 - 3/775. Let j be 3 - (0 + 25*-32). Suppose -j*u = -808*u + 5. Which is bigger: u or s?
u
Let j = -168 + 166.52. Let c = j - -2.48. Do -2/69 and c have different values?
True
Suppose 6*r + 930 = r. Let z(o) = o**3 - 16*o**2 - 49*o + 775. Let j be z(15). Are r and j unequal?
True
Let c(f) = -42*f + 336. Let k be c(8). Suppose -4*r + 5*r + 3*p + 32 = k, -5*r + 2*p = 126. Is r greater than or equal to -28?
True
Let u = -0.1503 + 0.4503. Is -82 < u?
True
Let f = 689 + -682. Suppose -94 = -f*y - 262. Is y > -119/5?
False
Suppose -4*x = 3*a - 2*a - 111, 1 = -a. Suppose 15*j + x = 8*j. Which is smaller: 28 or j?
j
Let i = -90/13 + 27605/3978. Which is bigger: 1 or i?
1
Let x be (-2)/1644*(180/54 - 8). Which is greater: x or -1?
x
Suppose -14*c - 20*c = 15*c. Is 1/3097 at least as big as c?
True
Let x = 535 + -525. Let a be (-18)/(-405)*x + 67/(-117). Which is smaller: a or -1?
-1
Let y = 323.6 + -601.56. Let g = y - -278. Is g at least -7?
True
Let s be (-8)/((-400387)/(-21071) - 19). Which is greater: -22176/5 or s?
-22176/5
Suppose -3*z + 5*u = 2154 + 357, -2*z - u - 1687 = 0. Let n = -13467/16 - z. Let k be (-4)/(-14) - 10/(-14). Which is smaller: n or k?
n
Let z = -14 + 35. Let p = 40 - z. Suppose -p = 6*a - 67. Is a equal to 3?
False
Let n(u) = 2*u - 4*u + 13 - 2*u. Let s be n(0). Do 12 and s have the same value?
False
Suppose 2*a + 2794 = 4*p, 3*a + 4137 = 66*p - 69*p. Which is greater: a or -1386?
a
Let y be (-30 - 0) + 42/(-42). Let b(g) = g + 27. Let f be b(y). Is 2 greater than f?
True
Let h be (-1)/(-2)*1014/(-65). Let f(w) = 25 + 115*w + 92*w + 3*w**2 - 235*w. Let j be f(8). Which is greater: j or h?
j
Let b(c) be the second derivative of 11*c**3/6 - 7*c**2 + 8*c. Let h be b(5). Suppose 8*v + h = 9. Which is smaller: 0 or v?
v
Let x be (-42)/(-36)*13/(2184/1856). Suppose -57 - 15 = -6*i. Which is smaller: i or x?
i
Let z = -0.121 + -0.259. Let b = 0.38 + z. Do b and 0.98 have the same value?
False
Let z(g) = -2337*g - 2215. Let u be z(-1). Which is smaller: 125 or u?
u
Let k = 2775 + -2775.008. Which is greater: 19 or k?
19
Let l(q) = -230*q + 1296. Let m be l(6). Which is bigger: -83 or m?
-83
Let g = -3106.8 - -3772. Let o = -665 + g. Which is smaller: o or -0.235?
-0.235
Let x = -2853 - -2772. Which is smaller: -91 or x?
-91
Suppose -3*a = -4*a. Suppose -w = -4*z + 4 - a, -1 = -z + 3*w. Let v be (3 - 29/10)*(3 + z). Which is bigger: 1 or v?
1
Let l = -5733 - -5796. Which is smaller: 1064/17 or l?
1064/17
Let q be -1*12/(-92)*(3360/18 - 2). Are 23 and q unequal?
True
Let f = -10.694 - 32.706. Which is smaller: -0.09 or f?
f
Let i = -3 + 5. Suppose v - 4 = -i. Let d be ((-28042)/16024)/(2 + 10/(-12)). Are v and d nonequal?
True
Let f = 1889.06 - 1889. Let n = -5 + 7. Let u = n + -2.2. Is u at most as big as f?
True
Let n = -746.643 + 747. Let p = n + -0.177. Is p at least -4/7?
True
Suppose -6*b + 85 = 11*b. Let w(g) = g**3 + 5*g**2 + 3*g + 1. Let u be w(-3). Suppose b*o - 4*o + 3*s = -14, -2*s - u = 0. Which is smaller: 2/5 or o?
2/5
Suppose -11 = 2*z + 4*y + 9, 3*z + y + 5 = 0. Suppose 2 = -4*v - z*v - 2*g, 0 = 3*v - g - 6. Let w be (1/(-2))/(8/(-28)). Are w and v equal?
False
Let a = 1269 + 1402. Is a less than or equal to 0.1?
False
Let t = 411965/4 - 102256. Which is greater: t or 734?
t
Suppose 5*j - 4656*w - 28 = -4655*w, -3*j - w = -20. Let p be (-33)/(-14)*(-8)/(-3). Which is smaller: j or p?
j
Suppose 122 = 50*c - 2035 + 7. Do -16 and c have different values?
True
Let c(j) = -30*j**2 + 10*j - 15. Let q be c(4). Is -460 < q?
True
Let o = -1815 - -1814. Is -4/2009 < o?
False
Let r be ((-14)/35 + 0 + -2)/((-132)/2475). Is 40 >= r?
False
Let m be (5 - 2544/3)/1. Let t = m - -770. Are t and -74 equal?
False
Let q be ((-54)/(-30))/((-1)/(-5)). Let h = -509/15 + 43/5. Let w = -26 - h. Which is greater: w or q?
q
Let k be (-1 - 6)*(-3)/((-105)/(-10)). Suppose k*m = 9 - 1, -4*x - 5*m = -20. Let h be (2 - (-6)/(-4))*(6 + x). Which is smaller: h or 4?
h
Let h be (9/6)/((-6)/40). Let l be (0 - -5)*(-16)/h. Let r be 2/2 - (-10 - (-5 + (-11 - -8))). Which is bigger: l or r?
l
Let g = 4046 