e o(-11). Let u be 6*c*(-3)/(-9). Is u bigger than 0?
False
Let j be 78/(-12)*(-2)/(-6). Is -2 not equal to j?
True
Let b(m) = 12*m. Let f be b(0). Is f < 1/237?
True
Let r = 4.589 - -0.011. Is 0.4 smaller than r?
True
Let t = -4 - -24. Let z = -46 + 57. Let l = z - t. Is l equal to -8?
False
Let v = -20/133 + 3233/2926. Is 1 less than or equal to v?
False
Let b = 1485/2 + -743. Are 3.2 and b nonequal?
True
Let h(d) be the first derivative of 3*d**2 + 12*d + 60. Let b be h(-5). Is b not equal to 3?
True
Let f = -21.954 + -0.046. Let i = 36 + f. Let o = i + -15. Which is bigger: o or -3?
o
Let o = 0.04 - 30.04. Let l = 411 - 410. Which is greater: o or l?
l
Let i be 174/45 + (-10)/(-75). Suppose 0*z - i*y - 184 = -3*z, -z + 56 = -4*y. Let v be ((-4)/z)/((-3)/30). Is v less than or equal to 0?
False
Let f = -13 + 41. Let w be 7/f + 1969/(-4). Let k = w - -2451/5. Does -3 = k?
False
Let u = -463 - -494. Which is bigger: u or -8?
u
Let q = 0.614 + 0.086. Let d = 0.12 - -0.58. Let k = d - q. Are 0.01 and k equal?
False
Let k = -465425/234 - -1989. Is -1 less than or equal to k?
True
Let u be -67 - (3 + (-10)/(-5)). Let t = u + 70. Is -26/11 >= t?
False
Suppose -17*v + 13*v = 32. Let y be ((-9)/12)/(87/v). Is y at most 1?
True
Suppose 45*w - 4269 = 1176. Is w at most 120?
False
Let p = 5323/2695 + -69/35. Is -1 greater than or equal to p?
False
Let z = -100 - -101. Let t be -1*((-4)/(-2))/(-1). Suppose -2*p + 0*p = -t. Is p smaller than z?
False
Let m = -0.08 + 0.18. Let l be (-3 + 66/16)/(456/(-32)). Are l and m unequal?
True
Let n = 166.55 + -163. Let s = 0.45 + n. Is s bigger than -0.6?
True
Let x be ((-21)/(-35))/(9/2745). Which is greater: 908/5 or x?
x
Let a = -4.41 - 1.32. Let r = -0.43 - a. Let v = -5 + r. Which is greater: -1 or v?
v
Let c = 1 + -1. Let l = -9 - -1. Let j = 10 + l. Which is greater: c or j?
j
Let c = 32 + -38. Let g be c/11 + 3/(-12)*0. Which is greater: g or 0?
0
Let m be (-2 + 55/10)*(-4)/11. Is -1 < m?
False
Let t = -1 + -7. Let v(h) = 11*h - 51. Let a be v(5). Suppose 3*r + 2*b + 23 = 0, 51 - 21 = -a*r - 2*b. Which is greater: t or r?
r
Let s = 2 - 4. Let y = s + -9. Let l = -27.352 - -26.352. Which is bigger: y or l?
l
Suppose 5*d - 2*d - 4*h - 8 = 0, 4 = -2*d + 5*h. Is -73 smaller than d?
True
Let d = 2/1169 - 50277/5845. Which is smaller: -9 or d?
-9
Let o(y) = y**2 - 6*y - 23. Suppose -7*p + 28 = -3*p. Let z be o(p). Which is smaller: -2 or z?
z
Suppose -98*g + 104*g = 0. Is g at least as big as -99?
True
Let u = 70/33 + -92/33. Are -622/7 and u nonequal?
True
Let z(n) = -n**3 - 18*n**2 - 18*n - 28. Let o be z(-17). Let p be (-11)/o*2/(-2). Is -2/255 greater than p?
True
Suppose 0*m + 5*m + 5*j = -50, 2*m = 2*j. Is m at least -6?
True
Let b be (-10)/(-4 + 3 - -3). Suppose 2*u + 8 = -0*u. Is u bigger than b?
True
Let d = -877 - -877.1. Which is smaller: d or -312?
-312
Let q = 25 - 89/3. Which is smaller: q or 6?
q
Let a = 12.1 - 12. Let k = a + -13. Let h = k - -13. Which is smaller: -0.01 or h?
-0.01
Let g = -28.4 + 40.4. Is 0.4 not equal to g?
True
Let c = -85 + 110. Let n be (0 + 1)/(c/175). Which is smaller: n or 20/3?
20/3
Let r = 24 - 14. Let k be (-6)/r*6/(-9). Is k < 2.4?
True
Let h be 26/70*-1 - (-2)/(-10). Do -2 and h have the same value?
False
Let o = 300 + -350. Which is greater: o or -53?
o
Let d(q) = -4*q**2 - 5*q - 4. Let h be d(-3). Let k = 71 + -46. Let v = h + k. Which is greater: -4/13 or v?
v
Suppose 3*z - 2*z + 20 = 0. Let q be ((-58)/z + -1)/(32/240). Which is greater: 15 or q?
15
Let l = -125 + 124. Are l and 6/25 equal?
False
Let i = -602 - -642. Which is smaller: 36 or i?
36
Let r = 1.733 - 1.233. Is r < -8?
False
Let q = -47 - -5. Let p be 20/14 - 24/q. Suppose -4*i + 3*t = -0*t, p*t = -5*i. Which is greater: -1/4 or i?
i
Let x be (-10)/12 + 3/(-18). Suppose 5*b - b - 452 = 2*k, -232 = -2*b + 4*k. Let z = 2131/19 - b. Is x smaller than z?
True
Suppose 0*q - 2*a = -3*q - 263, 1 = a. Which is greater: q or -84?
-84
Suppose -5*m = -2 + 12. Let w = 5539 + -5541.7. Do w and m have the same value?
False
Let v = 17551/130 + -135. Let f = v - -253/910. Which is greater: f or 27?
27
Let a = -225 + 242. Is a at least -0.3?
True
Let g(n) = n**2 + 6*n - 27. Let y be g(-9). Is 3/98 at most as big as y?
False
Let n = 85.9 - 86. Which is greater: n or 2/355?
2/355
Let q be 14/18 + 12/54. Let o = 17 - 124/3. Let w = 24 + o. Is q at most as big as w?
False
Let p be (5/(-20))/(-1) + (-3204)/16. Is p greater than -200?
False
Let x be (-39860)/(-47400) - (-5)/(-6). Is x at most as big as -1?
False
Suppose 2*l = 6*l - 996. Let i = l - 2741/11. Which is smaller: i or 1?
i
Let y = 0.4 - 1.45. Let t = 1.2 + y. Let g = t - 0.05. Which is smaller: g or -7?
-7
Let x be 6/2 - ((-60)/(-6) - -16). Is 4/3 bigger than x?
True
Let v = -142 + 153. Which is bigger: v or 7?
v
Suppose -16 = -4*l, -8*v + 2*l = -5*v - 13. Is 45/8 smaller than v?
True
Let u be (-6622)/833 - 32/(-4). Which is greater: -1 or u?
u
Let b be (-32)/(-1584)*6/4. Let z(h) = -h**3 - 4*h**2 + 5*h. Let j be z(-5). Are j and b non-equal?
True
Let o be (-85)/(-10) + -4 + (-2)/(-4). Suppose 4 = -2*f - 4*g, -o*f - 2*g - 10 = g. Let w be (-4)/(-2*(-1)/2). Is f less than or equal to w?
False
Let o = 19.22 - 22.8. Is o > 2/5?
False
Let p = 13 + -13. Let b be 3/((-738)/(-24) - 0). Is b >= p?
True
Let u(x) = -x + 14. Let n be u(10). Suppose -8 = -n*r - 4. Suppose 0 = -5*w + 4*w - 1. Is w equal to r?
False
Suppose -4*f = -5*m - 35, -44*f + 42*f + 45 = -5*m. Is m greater than or equal to -11?
True
Suppose 80*i + 136 = 12*i. Suppose -4*s - 4*x + 32 = 0, 11 = -2*s - s + 4*x. Let q = i + s. Is q at most as big as 1/2?
False
Suppose -4*b + 43 = -u - 337, -4*u - 4*b = 1420. Is -360 at least as big as u?
True
Suppose 0 = 2*x - 3*z - 53, 5*x - 4*z - 70 = -9*z. Suppose x*u - 15*u = 40. Let p be 5/u*6/20. Is p equal to 1?
False
Let q = -27828/5899 + 80/17. Which is greater: 0 or q?
0
Let d = 0.04 - -0.02. Let k = d - -0.34. Let x = -1/8 + -3/8. Is k != x?
True
Let x be (2/(-60))/(1/(-4)). Suppose 0 = -n + 4 - 2. Suppose 0*o - n*o = -3*m + 11, -4*m + 4*o = -20. Do x and m have different values?
True
Suppose 2*y - 3*y = -c - 34, -28 = c + 2*y. Let z = c + 34. Suppose -t - t = -5*p + 18, -4*t = z*p - 12. Is -5/14 at most t?
True
Let f(g) = g**2 - 6*g + 8. Let r be f(4). Suppose 23*d - 20*d = r. Which is smaller: d or 1/48?
d
Let q be 87/21 - 1/7. Suppose -3*b - 3*y + 18 = 0, -y = q*b + y - 20. Suppose -2*l - b*x + 6 = 0, 3*l + x = -0*x - 6. Is l >= 0?
False
Let h(u) = -u + 3. Let s be h(6). Let a be s - (-6 - (0 + -2)). Let w = a + -7. Is w at least -5?
False
Suppose j - 5*j + 60 = 0. Suppose -x = -4*x + j. Suppose c + 12 = x*c. Is c equal to 0?
False
Suppose 10*w - 36 = 4*w. Let i be (6/(-10))/(w/(-20)). Suppose a + 3*a + 19 = j, 5 = -a. Is j equal to i?
False
Let b be -8*(0/2 + 1). Suppose -4*x = a + 37, -11*x - 2*a + 43 = -16*x. Is x less than b?
True
Suppose 0 = -5*c + o - 45 + 9, -c + 3*o - 10 = 0. Let a be (-1)/c - 628/(-14). Let g be 0 - ((-141)/a + 3). Which is smaller: 0.1 or g?
0.1
Let g(o) = o**2 + 21*o + 37. Let q be g(-20). Is q less than 2?
False
Let f = 346 + -317. Which is smaller: 30 or f?
f
Suppose 27 = 20*w + 7. Are w and 1/11 equal?
False
Let w = -47 + 11. Let o = -48 - w. Which is smaller: -10 or o?
o
Suppose 0 = 3*l + 3*m - 114, 2*l - 2*m = 3*l - 33. Let h = l - 42. Which is greater: -1 or h?
h
Let c(j) = j**2 + 19*j - 6. Let b be c(-9). Let h be b/192 + (38/36 - 1). Let x(k) = -k**2 + 3*k - 1. Let g be x(3). Which is smaller: g or h?
g
Let a be (-2)/(-7) - 220/(-14). Suppose -51 = -5*n + u + 23, 79 = 5*n + 4*u. Is a at most as big as n?
False
Suppose -1 = -b - 0. Let t = -3 - b. Let h be (1 - (-2)/4)*-2. Which is smaller: h or t?
t
Suppose 2*a + 4*x - 9 + 5 = 0, -5*a + 3*x = -23. Suppose -z + 5*z = a*i - 12, -4*z - 30 = 5*i. Is i <= -5?
False
Suppose 3*n - 17 + 8 = 0. Let h be 4/12 + 107/n. Suppose 3*y = h - 9. Are y and 8 equal?
False
Let k(q) = -6*q**2 + 11*q + 18. Let s be k(-5). Which is bigger: -186 or s?
-186
Let k be ((-28)/12)/(5/(-15) - 0). Suppose -p = -3*p + 4*h - 24, -p - k = 3*h. Are p and -6 equal?
False
Let o(t) = 11*t**3 - t**2 + t - 1. Let p be o(-2). Let i = -80 - p. Which is smaller: 16 or i?
i
Suppose -2*t - 4*a + 36 = 0, 126 = 4*t 