 Let q(j) = -6*j + 5. Let d be q(b). Does -0.1 = d?
False
Let b(h) = h - 4. Let n be b(11). Suppose -f + n = -6. Let t = f - 12. Which is greater: t or 2?
2
Suppose -12*u - 150 = -6*u. Let c be -3 - 1*85/u. Which is smaller: c or -3/5?
-3/5
Let s be 6/15 - 0 - 1164/1560. Is s bigger than -1?
True
Suppose -10 = 113*g - 103*g. Do 264 and g have different values?
True
Let y be (-421)/917*(-2)/(-4). Let z = y + 2/131. Suppose 4*i + 29 = h, 714*h + 2*i + 11 = 711*h. Are z and h non-equal?
True
Suppose 25 = -3*t - 2*t, 16 = -3*b - 5*t. Let f be (1 - 18/b)*2. Let p be (-3)/15 - (-28)/f. Which is greater: p or -4?
p
Suppose 40 = 2*x + g - 9, 5*g - 25 = 0. Suppose -3*l + 4*w = 6*w + 20, -x = 3*l + w. Which is smaller: -7 or l?
l
Let l be -1*(-1)/1 - -2. Let h be (-10)/3 - l*-1. Let v = 3 - 3. Do h and v have different values?
True
Let c = 0.1532 + 0.0468. Which is smaller: c or -0.46?
-0.46
Let q = -2 - 0. Let l be (-15)/((-25)/(-5)) + 0. Let r be l + (1 - ((-9)/6 + 0)). Is q at least as big as r?
False
Let z be 11/(88/(-32)) + 5. Which is bigger: z or -8/83?
z
Suppose 0 = -6*a + 7*a - 10. Let q = a - 5. Suppose 3*d + d + 24 = -l, 4*l + q*d + 52 = 0. Which is bigger: l or -7?
-7
Suppose -3*q = 5*k + 19, 6*q - 4*k = q + 30. Suppose q*o - 16 = 6*o. Let g be (-6)/(-70) - o/20. Which is bigger: g or 2/33?
g
Let r be 1*(3 - 3) - -45. Suppose -c + 201 = -4*j + 4*c, j + 4*c + r = 0. Let o be (-72)/(-154)*j/(-14). Which is smaller: -2/5 or o?
-2/5
Suppose -2 = -6*g + 4. Let q be 23/5 + g + -5. Is -0.2 != q?
True
Let h = 185 + -55. Let k = h - 60. Is k <= 70?
True
Suppose -5*j + 1743 = 2*i - 6*i, -j - 5*i = -366. Let g = j - 504. Let h be (-4)/(-16) + g/(-12). Is h at most as big as 13?
True
Suppose 5*t - 62 = 2*y + y, 0 = -2*y + t - 46. Let d = y - -48. Let x = 6 - -19. Is x >= d?
True
Let g(k) be the second derivative of k**3/2 + 11*k**2 + 3*k. Let y be g(-13). Is -17 at least y?
True
Let f = 304 - 22191/73. Which is bigger: 1 or f?
1
Suppose -54*v - 210 = -64*v. Let c be (-4)/(-2)*42/4. Is c smaller than v?
False
Let l(k) = -k - 1. Let z(t) = -8*t - 12. Let b(v) = -6*l(v) + z(v). Suppose -13*g = -g + 48. Let a be b(g). Are 0.2 and a equal?
False
Let d(m) = -16*m + 11. Let r be d(2). Let h be (-8)/(-2) + 30/r + -2. Let w(p) = p**3 + 4*p**2 + 4*p + 4. Let b be w(-3). Is b != h?
True
Let v be (-10)/1 + 658/56. Let a = -23/105 - -2/105. Is v equal to a?
False
Let j = 19.1 - 25.1. Is -7 <= j?
True
Let q be (3/2)/((-63)/(-23163)*-1). Is q < -551?
True
Let v(g) = -g**3 + 4*g**2 - 2*g - 2. Let n be v(0). Let i be (1/(-4))/((-8)/(-72)). Is n != i?
True
Let l = 1983 + -1992. Is -114/13 greater than l?
True
Let l be ((-33)/((-1980)/48))/((-4)/(-6870)). Are 1375 and l unequal?
True
Let q = 107/100 - 33/25. Which is bigger: q or -3?
q
Suppose 13*x + 99 = 24*x. Let u = 298 + -611/2. Let q = u + x. Which is smaller: q or 1?
1
Let l be (-50)/10 - 662/(-7). Let n = -89 + l. Is -1 at most as big as n?
True
Suppose -107*t = -108*t. Are t and -7/54 unequal?
True
Let k = 786 - 207505/264. Which is smaller: -1 or k?
-1
Let d be (-4695)/(-4)*(-2)/5. Let u = -1397/3 - d. Let s = -4/3 + u. Which is bigger: s or 4?
4
Let a(s) = -s**2 - 10*s + 16. Let o be -2 + (1 - 1) + -10. Let d be a(o). Let p be 2 + d/(-6)*-3. Which is smaller: -9/4 or p?
-9/4
Let o = 598 - -342. Are o and 941 unequal?
True
Suppose -5*b = -10*b + 10. Suppose 3*l + 16 - 1 = 0, 24 = b*z - 4*l. Which is bigger: z or -0.06?
z
Let u = 6.83 - -0.17. Let q = u + -6. Which is smaller: q or -2/21?
-2/21
Let c = -1/5076 + 394661/10152. Which is bigger: 39 or c?
39
Let n(c) = -14*c - 39. Let o be n(-3). Suppose -2*x = k + 4, 3*k + x = 5*x + 28. Which is smaller: o or k?
o
Suppose 0 = -0*q + 2*q - 2*l - 546, 0 = 2*l + 2. Which is greater: q or 273?
273
Let h = -46 - -76. Let v = 29.8 - h. Are -16 and v non-equal?
True
Suppose -q = -3 + 11. Let y(z) = z**2 + 7*z - 5. Let f be y(q). Suppose 46 = -f*l + 16. Is -10 bigger than l?
False
Let y be (-82)/(-282) - (-11 - (-170)/15). Suppose 2*b - 3 = 5*b. Do y and b have different values?
True
Suppose -51*x + 754 = -22*x. Is 23 at least as big as x?
False
Suppose 2*k + 13 = 39. Suppose 12*f = 17*f - 80. Suppose -f*u = -k*u. Which is greater: u or 2/39?
2/39
Suppose 0 + 20 = 5*c, 2*f - 4*c = 24. Let d = 2/495 + 19301/990. Are d and f nonequal?
True
Let q = -1160.2 - -1161.2. Let n = -11283/31 - -364. Which is greater: n or q?
q
Let l be 18/(-72) + 4/16. Let k = 29116014/187 + -155700. Let i = k - 15/17. Which is smaller: i or l?
i
Suppose 0 = -3*j - 15, 2*j + 2*j = 2*o - 6. Suppose -3*y = -i + 9, -2*i - 25*y + 26*y - 7 = 0. Is o at most i?
True
Suppose -5 = -5*s, o - 5*s + 0 = -2. Let i be o/((-18)/3) + (-24)/(-112). Which is smaller: 0.6 or i?
i
Let t = 2122.83 - 2241.1. Let l = t + 118. Which is bigger: l or 1?
1
Let w(b) = -b**2 - 13*b + 69. Let v be w(4). Which is bigger: 1/15 or v?
v
Let r be (-6)/(-14) + (-14170)/(-763). Is r greater than 14?
True
Suppose 5*b + 5*p - 15 = 0, -5*p = 2*b + 2*b - 7. Suppose 0 = -b*g - 4 + 20. Let j be g - (4 + (-4)/2). Which is greater: 2 or j?
2
Suppose -5*i - o + 14 = 0, 4*i + o = -8 + 20. Suppose 4*k = i*w + 16, -3*k = -0*k + 4*w + 10. Suppose k*r = -2*r. Are 1/16 and r equal?
False
Suppose 2*r + 5*k - 10 = -3*r, -5*r - 3*k = -10. Let h = r + -2. Suppose -u + 3*u + 2 = h. Is 3/17 greater than u?
True
Let x = -45 + 43. Let y be ((-5)/(-2 + 7))/(x/(-2)). Are 2/43 and y unequal?
True
Let v = 758 - 3033/4. Let g = 1.6 - -0.4. Let t = g - 1.7. Does v = t?
False
Suppose 31 = j - 40. Suppose -35*l + 270 = -2215. Is j not equal to l?
False
Let c be 1/(-4) - (-5)/(-4). Let g = 6140 - 6146. Is c < g?
False
Suppose -5*t = -2*i - 10*t - 110, 0 = -4*i - 2*t - 236. Which is smaller: i or -63?
-63
Let b = -12 + 31. Suppose 4*i - 6 = 3*h, -4*h + 3*i - b = -4. Let x be 2 - 3/(-6)*h. Is 2/5 != x?
True
Suppose -3*s + 4*c - 17 = 0, 4*s - 2*c = s - 7. Which is smaller: s or -2/755?
-2/755
Let d(l) = l**3 + 11*l**2 + 14*l - 8. Let n be d(-7). Is 90 at most as big as n?
True
Let i be 2912/54 + (-70)/(-945). Which is smaller: i or 55?
i
Let r(j) = -j**2 + 4*j + 2. Let u be r(4). Let d = u - -14. Let a be (d/14 + -1)/1. Which is bigger: 0 or a?
a
Let d = -113 - -227/2. Let o be ((-11)/(-8) + -2)*2. Is o less than or equal to d?
True
Let n(p) = -p**2 - 6*p + 1. Let a be n(-3). Let z be a/(-55) - 63846/231. Let j = z - -277. Which is bigger: j or -1?
j
Let n be 1/(-5)*(-2)/(-14). Let j(s) = -s**3 + 5*s**2 + 9*s - 18. Let l be j(6). Suppose -w + l*w - 4*w = 0. Which is greater: w or n?
w
Let k = -318.8 - -318. Let z be 3/(-65) - (-2)/10. Is k >= z?
False
Let m = -9 + 8.9. Suppose -4*j = -5*a - 535, 7*j - 214 = 2*a + 3*j. Is a > m?
False
Let c(j) = j**2 + 3*j - 8. Let w be c(-6). Let a be (-8)/w*(-4)/32. Let l(d) = -d**2 + 2*d + 1. Let o be l(2). Which is smaller: o or a?
a
Suppose 2*k + l + 27 = 0, 5*k + 63 = -l - 3*l. Suppose -5*t - t = -30. Suppose -t*r = r + 96. Which is smaller: r or k?
r
Let w be -1 - 3/(-1 + -2). Suppose w = 5*x - 2 + 7. Suppose 3*u - 3 = -0*u. Is x less than u?
True
Suppose 2*n = 4*n - 8. Let w be n/10 + (-138)/12. Let o = w - -687/70. Which is greater: o or 0?
0
Let j be 6/(-16) + 1558/(-48). Let a = -32 - j. Which is bigger: a or -4?
a
Let z be (13/(-4))/((-11)/(-33)). Are z and -9 non-equal?
True
Let q = -1274 + 1275. Is q less than -0.0049?
False
Suppose -4*f + 48 = -0*f. Let n = -100 + 103. Suppose n*s = -3 + f. Which is smaller: s or 9/4?
9/4
Let x = 0.3 + -0.3. Let v = 1123 + -14597/13. Which is bigger: x or v?
v
Let o = -0.002 + -92.098. Let m = -83 - o. Let x = 9 - m. Which is bigger: -4 or x?
x
Suppose 3*q - 18 = w, 5*q + 3*w = 2*w + 22. Suppose 0 = -19*c - 182 + 1094. Suppose -148 = q*z - c. Is -19 > z?
True
Let s = -68 + 94.1. Let f = 26 - s. Is f > 2?
False
Let p = -5.14 + 5.14. Do 317 and p have the same value?
False
Let z(m) = -m**2 + 14*m - 15. Let h be z(11). Let r = h + -19. Which is smaller: r or -2?
-2
Let j = -23171401/1155996 - -17283/788. Let o = j - 18/163. Is o <= 3?
True
Let t = 606/7 + -87. Let z = -4.15 + 0.15. Let f = -3 - z. Which is greater: f or t?
f
Suppose 3*r = -3*p + 171, 177 = 5*r - 2*r - 3*p. Let y be (36/(-6))/(-12) - r/4. Which is smaller: y or -38/3?
y
Let d = 8243 + -41076/5. Is 27 > d?
False
Let k = -54