*l - 258. Let c be n(-14). Is 1437 <= c?
False
Suppose d = 5*m - 116, -5*m + 10*m - 128 = -2*d. Suppose -5*t + 5*z - 225 = 0, 0*t + 135 = -3*t - 5*z. Let h = 67 + t. Which is smaller: m or h?
h
Let b = 7/76 + -1573/15428. Suppose 15*k - 294 = -6*k. Suppose -38*c - k - 24 = 0. Which is greater: c or b?
b
Let g = -27 + 29. Suppose 0 = -r + 17 + g. Is 2 < r?
True
Suppose -1681 + 481 = 24*a. Let y be (-680)/a*2/(-8). Is -3 > y?
True
Let i = 5205 + -6712. Do -1506 and i have the same value?
False
Suppose 5*u - 4*n = -26, -3*u + 0 + 10 = 4*n. Let h(w) = -11*w - 12. Let g be h(u). Suppose 52 = -3*k + g. Is -14 smaller than k?
False
Suppose 17*p - 16*p + 4*k - 107 = 0, -214 = -2*p + 4*k. Let s = 106 - p. Is 3/247 < s?
False
Let j be (-2)/(-6) - 94/286. Let x = -96 - -95. Do x and j have different values?
True
Let v = -136/25 - -263/200. Suppose 5*o = 2*l - 22, 0*l - 6 = -2*l + o. Does l = v?
False
Let v be (-10)/55 - 1976/385. Let o = v + -2/5. Suppose 1180 = 9*x + 1225. Is o less than x?
True
Let i be 5/(-7) + (1440/70)/(-16). Is 7.144 at least as big as i?
True
Let n be -9*(-14)/945 + (-136)/120. Is -1/2222 at least n?
True
Let i be ((-294)/(-76))/(4/32). Let q = i - 101762/3287. Suppose -h + 5*h + h = 0. Is h != q?
True
Let m be 14632/(-6) - 10/30. Let a be -1*m/6 - 6/(-4). Which is smaller: 409 or a?
a
Let v = -19 + 81. Suppose 4*z + w - 96 = 0, 5*z - 58 = -5*w + v. Suppose -3*a - 16 = -a - 5*j, -z = 3*a - 4*j. Is -10 greater than a?
False
Let j = 19771 + -18088. Which is greater: j or 5045/3?
j
Let w = -1873 - -1873. Let p be 2 + (18/105 - 2/(-5)). Which is bigger: w or p?
p
Suppose -8*q = -1420 - 5540. Suppose -q = 35*h - 6*h. Let j(m) = m - 28. Let i be j(0). Which is greater: h or i?
i
Let n(m) = m**3 - 30*m**2 + 29*m + 155. Let c be n(29). Is c less than or equal to -5?
False
Suppose -b + 3*h = 2*b - 6087, 2*b - 4058 = -5*h. Suppose 17*c = b - 363. Are 99 and c non-equal?
True
Suppose 60*d + 71*d - 43492 = 0. Is 333 less than or equal to d?
False
Let j = -0.955 + -0.045. Which is greater: j or 185/19?
185/19
Suppose -41 = -r + 5*y, -10*r + 5*y = -6*r - 44. Which is smaller: -6/17251 or r?
-6/17251
Let m(z) = z**3 - 17*z**2 + 33*z - 34. Let b be m(15). Suppose 42 + 58 = 5*f. Suppose 3*h = h + f. Which is bigger: b or h?
b
Let s = 5588 + -39114/7. Which is smaller: s or -3.56?
-3.56
Let m be (-1 + 2)*2/(-2). Suppose 3*f + 15 = 3*z, 11*f - 8*f + 50 = -4*z. Which is greater: m or f?
m
Suppose -4*o + 2*o + 58 = 0. Let h(d) = -d + 22. Let k be h(10). Let g = 42 - k. Are g and o non-equal?
True
Let b = -1516 - -2829. Which is bigger: 1312 or b?
b
Let h be (-25900)/49 + (-24)/(-42). Which is greater: h or 1?
1
Let q(a) = 2*a**2 - 10*a + 2. Let r(h) = h**3 + 5*h**2 + 2*h - 3. Let x be r(-4). Let k be q(x). Let n = 5/94 - -811/658. Is k at most as big as n?
False
Let j(b) = b + 27. Let f be j(20). Let t = f - 85. Which is smaller: t or 0?
t
Let m be (-11 - (-1603)/147) + ((-7267)/2730)/(-43). Let s = 0 - 0. Is s smaller than m?
False
Let c be (502/(-10))/(478/11950). Are c and -10 equal?
False
Let z = 1300 - 1952. Let t = z + 651. Let y = 19.033 + -19. Which is bigger: t or y?
y
Let g = -716.1 + 807. Let v = 7.9 - g. Let a = 83.2 + v. Which is smaller: a or -0.01?
-0.01
Let p = 50.5 - 50.51. Which is smaller: p or 174?
p
Let d be (8*2/40)/(2/20). Let o be 9/(-4) - d/(-16)*1. Let b be (-203)/(-14) + (-3)/o. Is 2/7 at least as big as b?
False
Let z(t) = 182*t**2 + 331*t + 1633. Let g be z(-5). Which is bigger: g or 4527?
g
Let s(d) = 7*d**3 + 4*d**2 - 18*d - 110. Let o be s(-6). Which is smaller: o or -1369?
o
Let i = 275 - -139. Let h = 403 - i. Do 2 and h have the same value?
False
Suppose -u - 2*h = 3*u + 8, -2*u = 3*h + 12. Suppose 4*k - 2 = 2*v, -19 + 84 = 5*v + 4*k. Let x be -13*(u + 3)/(v/3). Which is bigger: -15 or x?
x
Let n = -3334 + 3333.7416. Is n at least as big as 2?
False
Let x(y) = y**3 - 43*y**2 - 262*y + 2. Let j be x(39). Is j equal to -16301?
False
Suppose 0 = 324*d - 348*d - 1728. Which is greater: d or -285/4?
-285/4
Let i(o) = -308*o - 5932. Let l be i(-19). Is l < -78?
True
Let v = -10620 - -10620.04. Which is smaller: v or 0.089?
v
Suppose 4*p + 0*p = 388. Let d be ((4/6 + -1)*-3)/((-186)/(-18042)). Is p < d?
False
Let i = 0.596 + 416.204. Let c = -417 + i. Which is bigger: 84 or c?
84
Suppose -3*u = -2*b - 5, b - 3*u + 1 = -9. Let x be b/(-71 + 11)*8/(-239). Is x bigger than 0?
True
Let o(w) = -1300*w - 1005. Let p be o(-3). Which is smaller: p or 2894?
2894
Let j = 13638 + -13639. Is j bigger than -1/6620?
False
Let o(z) = 7*z - 32. Let r be 10/(-2) - -9 - (-4 - -3). Let i be o(r). Which is bigger: i or 2?
i
Let d = 10866 + -271614/25. Which is bigger: 1/4 or d?
d
Suppose -w + 219 = 7*l, 12*l - 114 = 8*l + 5*w. Does 25 = l?
False
Suppose 16*f - 3 = 15*f - x, -3 = 5*f - x. Is 2/7239 less than or equal to f?
False
Let a = 11325.41 - 11325. Which is bigger: 21.1 or a?
21.1
Let u = 23 + -17. Suppose -2*v - 4*r = 0, 3*v = -r + u*r + 11. Let x = 1230 - 7363/6. Which is greater: x or v?
x
Let y be ((-456)/(-190))/((-6)/(-10)) - (-2 + 7). Which is smaller: -21/425 or y?
y
Suppose 17 - 141 = -l. Let w = -440 + 439.8. Do w and l have different values?
True
Let t = -22 - -40. Suppose -15*d + 6*d = -t. Suppose -o - d*u + 36 = -6*o, 0 = -3*o - 4*u - 32. Are -6 and o unequal?
True
Let p = 8890 - 52913/6. Let u = p - 717/10. Which is bigger: u or -2?
u
Let r = 6/31 + -169/713. Let q = 56 + -51. Suppose -1 = s, 0 = -q*v - s + 2*s - 4. Which is bigger: r or v?
r
Let d(q) = 19*q**2 + 9*q. Let z be d(1). Suppose 3*a + 30 - 2 = 2*y, 3*y = a + z. Suppose -3*s - 5*t + 14 + 20 = 0, -5*s + t = -10. Which is greater: y or s?
y
Let c be ((1656/294)/(-23))/(81/(-42)). Are c and -3 equal?
False
Suppose 576 = 19*o - 1476. Let b be 6/o*9*62. Let q be ((-8)/(-1))/((-2)/(-8)). Which is bigger: q or b?
q
Suppose -6*f = -4*k + 28190, -k + 9869 = 2*f + 2832. Is k at least as big as 7043?
True
Suppose -5*z + 0*a + 16 = -2*a, -2*a = 2*z - 12. Suppose 5*f - z*f = 3. Suppose l = l + f*l. Which is bigger: l or 4?
4
Let m = 1330 + -1872. Let h = 686 + m. Is h < 142?
False
Let f be (-61766)/13377 + (6 - (3 + -1)). Let b = -2/1029 - f. Let p = 1 + 1. Is p at least b?
True
Let x = -11923490553/21389 + 557459. Is x smaller than 0?
True
Suppose 0 = -5*a + 2*l + 19, 4*l + 146 - 113 = 5*a. Is a > 1/12376?
True
Suppose 8*u - 4*u + 108 = 0. Let h = -22 + 22. Suppose h = 2*d - 0 - 2. Is u != d?
True
Let t be ((-21)/(-49)*-1)/(0 + 9/6). Which is smaller: 0 or t?
t
Suppose 5*p + 1 = 2*y + 73, -5*p + 74 = -4*y. Suppose -8*d = -p*d + 264. Is d <= 46?
True
Let n = 92.5 - 92.6. Let o = 83 + -88.04. Let i = o + 0.04. Which is smaller: i or n?
i
Let d be (-3)/9*36/(-8). Let y = -96 + 96.07. Is d at least y?
True
Let c = 40 + -235/6. Let m be ((-2)/6)/(3/(-72)). Let o = m + -6. Which is smaller: o or c?
c
Let u = -22755/4 + 5727. Which is smaller: u or 38?
38
Suppose l = -l - 4. Let n be 4*(-4)/104 - -2*1211/(-4368). Is l < n?
True
Suppose -7*t - 1 = -22. Suppose -2*w = -5*w - t. Let b be (w/2)/(4/(-24)). Which is greater: -7 or b?
b
Suppose 2*v - 2337 = 3*b, -908*v + 912*v + 2*b - 4666 = 0. Which is smaller: v or 1169?
v
Let i = -8334 - -8325. Is i at most as big as 350?
True
Let m be (3 - (1 + 1))*0. Let s be 1 - m - (-116)/(-96). Let y = s + 61/408. Is 1 equal to y?
False
Let k be ((-16824)/(-39))/4 - (-12)/78. Is k != 109?
True
Suppose i = 0, 2*f - i - 18 = -5*i. Suppose 0 = -4*y + 51 + f. Suppose 5*z = -3*h + 2*h - 27, 5*h - 5*z + y = 0. Which is smaller: -8 or h?
-8
Let i = -372 - -389. Suppose -y = 2*s + 2, 2*y + 3*y + i = -3*s. Which is greater: s or -3?
s
Let p = 1/67800 - -334519/303811800. Which is greater: 0 or p?
p
Suppose -5*j = -4*l + 644, -5*j - 640 = -0*l - 5*l. Which is greater: -129 or j?
-129
Let u = -188 + 155. Let w = -15 - u. Which is smaller: 17 or w?
17
Let t = -24611/7 + 3483. Let w(y) = 7*y - 159. Let n be w(18). Is t less than n?
False
Suppose -122*t = -161*t. Do -5/792 and t have the same value?
False
Let w = 8972 - 8911. Let q(l) = -15*l**2. Let f be q(2). Let b = w + f. Which is smaller: -2.5 or b?
-2.5
Suppose -r = -2*a - 390, -482 = -4*r + 3*a + 1063. Which is bigger: 1922/5 or r?
1922/5
Suppose 719*a + 389448 = 71*a. Let u be (1 - 41)/(3/45). Which