y equal to -1/7?
False
Let h be -2 - 3155/(-1470) - 1/6. Which is bigger: -0.5 or h?
h
Let w = -1 - 1. Let c(s) = -5 - 2*s + 916*s**2 + 4 - 917*s**2. Let y be c(w). Which is bigger: 2/21 or y?
2/21
Let p(g) = -g**2. Let i be p(0). Which is greater: i or 2/503?
2/503
Let g = 0.029 - 0.129. Let s(w) = -w**3 + 3*w**2 + 6*w + 5. Let r be s(5). Let c be (2/5)/((-3)/r). Is c less than or equal to g?
False
Let z be (-1 - -1)/((-3)/(-3)). Let l = -155 - -155.24. Which is bigger: l or z?
l
Let v be (1/(-2))/((-2)/20) - 2. Let s = 8 - 4. Suppose 2*z - 18 = -s*y, -z - 3 = 5*y - 24. Are y and v nonequal?
True
Let y = 101 + -141. Let c = -35 - y. Which is smaller: 0 or c?
0
Let f = 1 + -0.8. Let i = -807.8 + 810. Let r = i - f. Is -0.1 > r?
False
Suppose 9 = 5*n - 3*b, 5*b - 17 = -3*n + b. Let u = 11 - 6. Let m = u - 3. Is m at least as big as n?
False
Let l = 689 - 485. Are l and -1 unequal?
True
Let g = -9692/3 + 3312. Let z = g + -80. Is 6 less than or equal to z?
False
Let w = 15.4 + -8.3. Let i = 8 - w. Let g = i + -1.1. Is g greater than or equal to 0.2?
False
Let v = -24 + 23.65. Let x = v - -0.45. Do x and 3 have different values?
True
Let d = -7/5 - -213/145. Suppose 0 = 35*h - 36*h + 2. Suppose 3*p + h*p = -5. Which is bigger: p or d?
d
Suppose -16 = -4*l + 4*s, -l + 0*l = -5*s + 4. Let w(k) = -k**2 - 3*k + 1. Let d be w(-2). Suppose -d = -5*v + l*v. Is v != -5?
True
Let y = -120 - -106. Let m be 1 - (4/y + 80/35). Do m and -74 have the same value?
False
Let l(o) = 7*o - 7. Let d(b) = -8*b + 7. Let p(y) = -3*d(y) - 2*l(y). Let r be p(-2). Are -27 and r non-equal?
False
Let h be (-1 + 1)*(9/(-2) + 4). Is -1/878 smaller than h?
True
Let s = -47432/85 + 558. Suppose 4*z = 0, 4*j = 5*z - 17 + 13. Do s and j have the same value?
False
Let v = 1 - -1. Let m be v/5 + 1 - 1. Suppose 2*s - 128 = -126. Which is smaller: s or m?
m
Let i be 18/30 - 4344/(-135). Let h = i - 33. Is h at least as big as 0.1?
False
Suppose -q = -5*q + 72. Let c be 20/(-5) - (-68)/q. Let f(m) = m**3 - 3*m**2 + 4*m - 3. Let z be f(2). Which is smaller: z or c?
c
Suppose -2*t - t + 36 = 0. Let s = 191/10 - 69/10. Which is greater: s or t?
s
Let i = -403/4 - -101. Is i smaller than -405?
False
Let o = -0.24 + 0.04. Let m = -2.9 + -0.1. Which is greater: o or m?
o
Let i = 3 - -16.4. Let m = -2.4 + i. Let b = 17.1 - m. Is -21 at least b?
False
Let g be 4 + 90/(-23) - 2568/27945. Which is greater: g or 0?
0
Let b(c) = 178*c**3 + 10*c**2 - 12*c + 1. Let h be b(1). Is 175 < h?
True
Let c be 63/(-5)*(-682)/(-93). Let o = c - -92. Is o bigger than -23?
True
Suppose -26 = -u - 5*w, -1 - 9 = -2*w. Let k be (-12)/60*10/8. Is k < u?
True
Let b(z) = -z**3 - 3*z**2 - 3*z - 3. Let a be b(-2). Let f be (-3 + 1315/195 - 4)*3. Is a at least f?
False
Let t = 54 - 35. Let s = -2068 + 2048.98. Let p = t + s. Which is bigger: -2 or p?
p
Let c = -136 - -149. Suppose -4*g + 3*z = -2*g + c, 2*g - 17 = -3*z. Let n = -10151/15 - -677. Which is smaller: n or g?
n
Let l(w) = 7*w**2 + 1. Let p be l(1). Suppose 5*i - 28 = -4*u, 3*i - p = -2*u + 8. Which is bigger: u or -10/9?
u
Let b = -4790/801 + 18/89. Is -6 less than or equal to b?
True
Let c(v) = v + 18. Let a be c(-18). Let h be -1*4*(-3)/(-198). Do a and h have the same value?
False
Let w be ((-38)/(-8) + -5)/(26/464). Which is smaller: w or -3?
w
Let v = 2125/3 + -715. Let g(i) = -i**3 - 5*i**2 + 5*i. Let z be g(-6). Let n be 9/((-15)/z + 1). Which is greater: v or n?
n
Let i = 4371 - 4372. Let o = -7/150 - 1/50. Which is smaller: i or o?
i
Let y = 10.7 - 18.7. Which is greater: -0.04 or y?
-0.04
Let k be 3 + 72 - ((-2)/2 + 1). Let g = k - 72. Which is smaller: g or -2?
-2
Let j(b) = -b**3 - 7*b**2 + b + 3. Let y be j(-7). Let k be y*(4 + (-63)/12). Which is smaller: k or 3?
3
Let p be ((-30)/(-9))/5 + 105/(-9). Which is smaller: -150/13 or p?
-150/13
Let k be -5258*(-1)/7032 - 90/120. Do k and -1 have different values?
True
Let o = 9125/78 - 117. Which is smaller: 0 or o?
o
Let d = 47/44 - 9/11. Let f = -32 + 36. Suppose -f*a - 17 = 3*s, s - 5*s + 5*a + 29 = 0. Which is smaller: d or s?
d
Let x(u) = -u + 14. Let y be x(15). Let c = -510 + 222872/437. Let z = -2169/3496 - c. Is z greater than or equal to y?
True
Let l = 435 + -435. Which is bigger: l or 7/8?
7/8
Let x(p) = 9*p - 6. Let u be x(2). Let q = u - 5. Which is smaller: q or 5?
5
Let t be ((24/9)/(-2))/((-2)/(-3)). Let m be ((-2)/24)/((-1)/t*1). Is -0.1 at most as big as m?
False
Let z be (49431/(-8))/((-1161)/30). Let f = -1/172 - z. Let q = f + 2446/15. Which is smaller: q or 2?
2
Suppose -3*n + 18 = -2*n. Suppose 4*k - n = 10. Which is greater: 4 or k?
k
Let r = 648 - 646. Let f be ((-4)/3)/((-14)/6). Are r and f unequal?
True
Suppose -w = -3*c + 18, -2*w - 2*w - 2 = 2*c. Suppose 0 = -5*q - 4*b - 3, c*q + 9 = 3*b - 5*b. Let y = -0.2 + 0.3. Which is smaller: q or y?
q
Let s = -4/273 - -449/12012. Which is bigger: 2 or s?
2
Let x = -7 - -5. Let g = x + 4. Suppose -n + 18 = 5*n. Is n smaller than g?
False
Let f = -146 - -127. Let z = f - -20. Is z less than 2/21?
False
Let n(y) = -203*y**3 + 2*y**2 - y. Let d be n(1). Let x be (-8)/(-14) + (-22420)/(-112). Let r = d + x. Which is bigger: 0 or r?
0
Let a be (25/(-6))/(4/8). Let k = -9 - a. Is 0 smaller than k?
False
Let c = -151940437/798 + 1333030/7. Let j = -94/3 + c. Which is bigger: 0 or j?
0
Let s(k) = -k**2 + 2*k - 3. Let n be s(6). Let f = n - -26. Do f and 0.3 have the same value?
False
Let o be ((-15)/5 + 3)/2. Suppose -4*b + 5*b = o. Which is greater: b or 18/13?
18/13
Let l = 36.35 + -36.3. Which is greater: 1/2 or l?
1/2
Let v(a) = 11*a**3 + 4*a - 10*a**3 + 0 - 1 - 3*a. Let d(o) = 2*o - 23. Let j be d(12). Let x be v(j). Do x and 1/8 have different values?
True
Let j be -2 + (-3 + -1)/(-1). Suppose 3*c = 3*a + 9, 0*c - 2*c + 18 = 2*a. Suppose -c - j = -4*q. Which is smaller: 0 or q?
0
Let o = 4 + -1. Suppose -24 = -3*z + o*a, 3*z - 33 = 4*a - 6. Suppose -4*v = 5*g - 3 + 20, -z*g - 15 = 5*v. Which is smaller: 1 or v?
1
Let x be 30/(-12)*(-10 - -392). Are -956 and x nonequal?
True
Let z(b) = -b**2 - 7*b - 9*b - 2 - 5*b + 3*b. Let u be z(-18). Which is smaller: 0 or u?
u
Suppose 4*p = 5*p - 2. Let o(c) = 2 + 6 + 10*c - 8*c + 1 - 7*c**p - c**3. Let x be o(-7). Is x less than or equal to 0?
True
Let d(b) = -23*b + 250. Let m be d(23). Is -283 > m?
False
Let d = 2669/2 + -1281. Let k = -54 + d. Suppose -5*v - 4*x = -2*x + 3, -5*v + 5*x = 10. Which is smaller: k or v?
v
Suppose -k + 20 = 3*k. Suppose -2*q = -5*n - 5*q - 47, 5 = 5*q. Let l be (n/25)/((-1)/k). Is l > 3?
False
Let l = 0.067 + 0.023. Let a = 13 - 12.9. Is a >= l?
True
Let t = -67 + 12. Let q be (-44)/t - 7/(-10). Suppose 5*w = 4*y + 11, 4*y - 5 = w - 4. Which is smaller: w or q?
q
Let d = -1403 - -1406. Which is greater: 206 or d?
206
Let v be (-6)/(-4) + ((-175)/98 - 0). Which is smaller: v or 16?
v
Suppose -3*q - 3*j - 3 = 0, -3*q + 2*j + 0 = -2. Let u = -59 + 34. Let t be u/30*(-18)/20. Which is greater: q or t?
t
Let m = -1030 + 1049. Which is smaller: m or 41?
m
Suppose 4*z + 2*t = -353 + 361, 2*z - t = 0. Let a = 5 + -3. Suppose a*x - 3*x = -4. Which is smaller: z or x?
z
Let z(h) = 4*h**2 - h - 2. Let s be (3/(-9))/((-2)/(-6)). Let q be z(s). Suppose -2*t - 5*b + 22 = 0, 5*t - 9 = 2*b - q*b. Are t and 2/3 unequal?
True
Let n = -6/7 + 11/7. Which is smaller: n or 2?
n
Let h = 2 - -3. Suppose -3*a + 60 = -h*k, 0 = -5*k + 5*a - 0*a - 50. Let o be (k/(-12))/((-1)/4). Which is smaller: o or -16/3?
-16/3
Let s(u) = -u**2 + 11*u - 22. Let a be 5/(-15)*6/(-1). Let n be s(a). Which is smaller: n or -26/5?
-26/5
Suppose -2*x + 4 = -2*n, 0 = -2*n - 0*n - 2. Let b = 546 + -266. Let i = b - 1391/5. Are x and i equal?
False
Let d be (-5)/15*-9 + -4. Let s be ((d + 2)*1)/(-7). Is 1 < s?
False
Let o = -9 + 15. Let l = -358 + 364. Let z = o - l. Which is smaller: -4 or z?
-4
Suppose 0 = 5*b + x - 1281 - 377, -b = 3*x - 340. Is 331 > b?
False
Let j(p) = -p**3 - 2*p - 8 - p + 11. Let b be j(2). Let r = b + 8. Which is smaller: r or -5/3?
r
Let b be (2/4)/(66/(-24) + 3). Let l be (-195)/3*(8/5 - b). Is 25 <= l?
True
Let k = 263 + -262.8. Which is smaller: k or 0.016?
0.016
Let u = -34 - -37. Suppose u + 4 = 7*n. Let d = -90664/73 - -1242. Which is smaller: n or d?
d
Let n = 837 - 4576/5.