 Suppose 3*m + 15 = -j*l, 2*l - 4*l - 3*m - 15 = 0. Which is bigger: -2 or l?
l
Let s = -18 - -23.3. Let g = s + -9.3. Let q = 0.8 + -0.8. Which is bigger: q or g?
q
Let s(z) = 10*z**2 - 466*z + 46. Let h be s(46). Are h and 0.8 nonequal?
True
Let n = -645.1 - -645. Which is greater: n or 236?
236
Let f = 1.8 + 44.2. Let o = 40 - f. Let i = 20 + o. Which is bigger: i or 1/5?
i
Let m be (201308/177 - 16/(-6)) + -2. Are -9 and m non-equal?
True
Let y(l) = -l - 19. Let n be y(-19). Let w(k) = k**2 - 20*k - 2. Let m be w(n). Which is smaller: m or -9/16?
m
Let d = -145 + 147. Suppose -5*k + 3*k = -3*h - d, 3*k - 3 = h. Do h and -3/218 have the same value?
False
Let g(o) be the first derivative of o**3/3 + 8*o**2 - 20*o - 73. Let y be g(-17). Is y at most -3?
True
Let m = -677.1 + 677. Let q = 8.1 + -51.1. Is q != m?
True
Let r = 540959/65824 + -263/32. Let k = r - -8367/285923. Is k smaller than 0?
False
Let w = 942/3101 - 8/443. Let l = -300.49 + 298. Which is smaller: w or l?
l
Let x be 131 + -118 - 14/1. Let r be (-10)/45 + (-2)/(-36). Which is smaller: r or x?
x
Suppose 14*f - 5 = 107. Suppose -f*d + 13*d - 25 = 0. Suppose w + 53 = -3*o, -4*o = -d*w - 305 + 2. Which is greater: w or -57?
-57
Suppose -5*g + 2*m = -79, -g + 4*m - 24 + 47 = 0. Is 225/16 greater than g?
False
Suppose 2*x = -3*u + 618, 58 - 478 = -2*u - 4*x. Does -1 = u?
False
Let m(x) = 29*x + 118. Let o be m(-4). Is 218 at most o?
False
Let u be 177 + (-2 - -4) + -11 + 10. Let s(m) = 5*m**2 - 2. Let r be s(6). Are r and u nonequal?
False
Let d = 0.10014 - -39.89986. Are d and -3/11 nonequal?
True
Let l = -0.0263 + 0.2865. Is l > -2/5?
True
Let v(t) = t**2 + 7*t + 9. Let j be v(-6). Let i = -364 - -363.912. Let y = 0.788 + i. Which is smaller: y or j?
y
Let i(l) = -5*l - 30. Let s be i(10). Let x = 66 + s. Is x < 1?
True
Let t be (-760)/(-30)*9 + (1 - 3). Suppose -2*o - 6 = 0, 2*k + t = 2*o + 4. Which is bigger: -112 or k?
-112
Let m be (-121)/(-726)*(2 + 4). Is m smaller than 9?
True
Let m be -28 + (11 - -5) + 11. Suppose -60 = -3*p - 2*p. Let d be 3/p - 13/60. Which is smaller: m or d?
m
Let v be 2 - (4*(-36)/8 + -4). Suppose 4*y + 56 = v. Which is smaller: 2 or y?
y
Suppose -71036 = -8*h + 35*h + h. Which is greater: -2536 or h?
-2536
Suppose -24*s = 5*v - 25*s + 310, 3*v + 5*s = -214. Is -1070/17 greater than or equal to v?
True
Let f = 4025 - 4024. Which is bigger: f or -2/9?
f
Let y be (-2)/1 + (-8)/(-1 + 0). Let s be ((-2)/y)/((-357)/18). Which is greater: -1 or s?
s
Let s = 5 + -5. Let n = s - 0. Let o = -8868 + 248303/28. Which is smaller: o or n?
o
Let u = 18 - 15. Suppose -u*m = 5*g + 37, -4*g - 4*m = g + 41. Let v be 1/5 - (-29)/g*-1. Is v less than 2?
False
Let t(m) = -6*m - 41. Let p(w) = 4*w + 27. Let i(j) = -7*p(j) - 5*t(j). Let h be i(-8). Suppose h = -4*c - 0*c - 256. Is -65 less than or equal to c?
True
Let w = -4740 + 3069. Which is greater: w or -1669?
-1669
Let u = -654 - -990. Let x = u + -329. Which is smaller: x or -22?
-22
Suppose 0 = -270*b + 545*b - 280*b + 6210. Is b greater than or equal to 1241?
True
Let b be (2/8)/(12/96). Let l be (-138)/(-3*b - (6 - 14)). Is -71 <= l?
True
Let l be (-129)/86*20/6. Let o be (l + 6)*5 + 111/(-21). Which is smaller: 178 or o?
o
Let k = 393 - 704. Let y = k + 284. Which is bigger: 2/9 or y?
2/9
Let a = 3585 + -3584.9. Which is smaller: 595 or a?
a
Let y = 7900 - 1390415/176. Which is smaller: 1 or y?
y
Suppose -3*a = -4*m + 1528, -3*m = -2*a - 443 - 704. Which is smaller: m or 26?
26
Let c = -7357 + 7425. Let x = -37/26 + 12/13. Which is bigger: x or c?
c
Let o(r) = 2*r**2 - 2*r - 2. Let d be o(2). Suppose 6 - d = w - n, 3*n - 13 = -2*w. Suppose -4*l + s + 0 = 2, 0 = -l - w*s - 11. Which is smaller: -1/4 or l?
l
Let c = -98 - -17. Let p(b) = b**3 - 114*b**2 + 226*b - 303. Let k be p(112). Is k not equal to c?
True
Suppose 2672 = 5*z - 21*z. Let s(m) = 2*m**3 + 4*m**2 + 4*m + 2. Let j be s(-5). Which is smaller: j or z?
j
Let b = 1240 + 20. Suppose -2*a - 13*a = b. Which is greater: a or -82?
-82
Let c = 16 - 10. Suppose -z + 12 = -3*o, -5*z + 17 = -2*o - 4. Suppose -f - 7*i = -10*i - 8, 0 = z*f - i. Which is bigger: f or c?
c
Let o = -11 - -10. Suppose 0 = 5*z + 3*p - 148, -100 = 8*z - 11*z + p. Let i be z/(-2 + 0) + 0. Which is smaller: i or o?
i
Suppose -2*d = 4*b + 2, 2*b = -5 - 1. Let c(u) = u**2 - 26. Let k be c(d). Is k equal to -4/63?
False
Let s be (-26)/(-169) - (-22)/26. Let c be -12*(15/80)/(s/(-4)). Suppose 44 = 5*f - c*f. Is -11 less than or equal to f?
True
Let m be (-8)/(-44)*13/(-1469). Does 1 = m?
False
Let u(v) = 999*v - 33. Let w be u(1). Suppose 0 = -62*p + 65*p - w. Which is smaller: p or 324?
p
Suppose 0 = t - 5*h - 38, -24 = 522*t - 518*t + 2*h. Let m(x) = -x**3 - 7*x**2 - 4*x - 4. Let v be m(-8). Suppose -2*q + 6*q = -v. Which is bigger: t or q?
t
Let p(o) = 17*o**3 - 121*o**2 + 13*o + 6. Let b be p(7). Let c be (-231)/(-18) - 2/(-4). Which is smaller: b or c?
b
Suppose 46*i - 2574 = 24*i. Is 105 != i?
True
Let n = -12.7 + 64.7. Let f = n - 52.045. Let q = f - -0.035. Is q at most 3?
True
Let l = -63 + 36. Let z = 27.031 + l. Let o = 0.031 - z. Is 2.3 less than o?
False
Let u be (-24840)/828 + (0 - 1 - (-8 + 0)). Suppose 0 = 3*n + 82 - 412. Suppose 6*o + n = o. Are u and o unequal?
True
Suppose -18*s - 33*s = -293*s - 3996872. Are s and -16517 non-equal?
True
Let j be ((-14142)/(-8) + 2)/((-12)/16). Let n = j + 2447. Let w = 87 - n. Which is greater: -1 or w?
w
Let a be 17 + (132/(-154))/((-4)/14). Let j be 2/a*26/(-26). Which is greater: j or 1?
1
Let n(l) = 91*l + 1973. Let a be n(-61). Is a bigger than -3579?
True
Let r = -92339254/3657 + 25250. Is r at least as big as -1?
True
Suppose 2*w - 132 - 142 = 0. Suppose -47 = -4*j + w. Let v = 46 - j. Are v and 7 non-equal?
True
Let m(v) = v**3 + 9*v**2 + 2*v + 4. Let y be m(-9). Let s be 307 + ((-6)/7)/(4/y). Suppose s - 58 = -12*j. Is j at most as big as -21?
True
Let y be ((-3)/129)/(7/((-1225)/(-5))). Is -2 != y?
True
Let l(u) = -3167*u + 291406. Let c be l(92). Let n be (0 - (1 + -12))*4. Is c greater than n?
False
Let u = 10/457 - -437/914. Is u less than 0.0091?
False
Suppose -25 = 4*q + 27. Suppose 737*h - 742*h - 80 = 0. Let a(d) = 2*d + 17. Let l be a(h). Is l < q?
True
Suppose 0 = -4*k + 5*a - 20, 0 = 3*k - 55*a + 56*a - 4. Which is smaller: k or -2/35549?
-2/35549
Let x be (-1 + 5/(-3))*48/(-32). Suppose -g = -x*n - 152, 2*g - 298 = 4*n + n. Suppose -g = -0*b + 3*b. Is b less than -47?
True
Let q(f) = -7*f + 12*f**2 + 24*f - 27 - 17*f + f**3. Let h be q(-12). Are h and -26 non-equal?
True
Let k(a) = -a**3 + 28*a**2 - 95*a - 25. Let d be k(24). Let u be (-22*2/d)/(6/(-3)). Let g(o) = -2*o**2 + 7*o - 5. Let h be g(5). Which is smaller: h or u?
u
Let j = 18325 + -19730. Is j > -4?
False
Let k = 74 - 71. Suppose 15 = -3*a - 0*j + k*j, -5*j + 15 = 0. Let i be (1 - -1)/a*-1. Is -3/7 at least as big as i?
False
Suppose 0 = -4*d - 11 + 19. Suppose -174 + 16 = -d*f. Suppose 0 = z - f + 19. Which is smaller: z or 0?
0
Let f(b) = 196*b - 1564. Let v be f(67). Which is smaller: 11569 or v?
v
Let i = 0.2069 - 0.0194. Which is bigger: i or -0.1?
i
Let r be (-6738)/6890 + (-3624)/(-15704). Which is smaller: 0 or r?
r
Suppose m - r - 44 = 33, 0 = -4*r + 16. Let q be m/75 - 6/75. Which is smaller: q or 3/151?
3/151
Suppose 3*q + 2*o - 20 = 0, -2 = -4*q + o + 10. Suppose -f = q*i - 217 + 44, 62 = i + 4*f. Do 43 and i have different values?
True
Let h = 0.4 - 0.4. Let t = 3251 - 3330. Which is bigger: h or t?
h
Let z be (8 + -6)/(2/48). Suppose 304 = -64*t + z*t. Which is bigger: t or -17?
-17
Suppose 86 + 387 = h - 2*b, -3*h = 2*b - 1403. Which is smaller: h or 470?
h
Suppose 1221 + 1026 = -3*t. Let g = t - -14235/19. Which is smaller: g or 1/3?
g
Suppose 17*c = 19*c - 40. Suppose -14*o = -c*o. Is o greater than -36?
True
Let y be ((-24)/20)/((-14)/10). Which is greater: y or -10?
y
Suppose -4*j - 1072 = 5*a, -34*a + 227 = -35*a - 5*j. Is -212 greater than a?
False
Let r = 233/3 - 77. Let o = 31815 - 31823. Is o bigger than r?
False
Suppose d = -7 + 93. Suppose 0 = 6*f - 136 - d. Let v = f - 60. Is v greater than -23?
False
Let b = 1623491432/55 + -29517057. Let q = 969 - b. Let a = 42.1 - 42. Is a >= q?
True
Suppose 3*r + 3*x - 225 = 0, 4*r - 5*x 