4*m + 7, -5*j + 3*m + 7 = -11. Suppose 3 = 3*s + q, s - 4*s = 4*q + 6. Suppose -j*r = -s*y + 18, -2*r - y = 2*y - 1. Is -3 bigger than r?
True
Suppose 16 = -2*p + 3*r, 3*p = -0*p - 5*r + 14. Let s be 2 + -3 - p - 0. Suppose -s - 2 = -3*g. Which is smaller: g or -1/9?
-1/9
Let z = 122797/18 - 6822. Let l be -3*3/((-9)/(-2)). Let j be l/(-3) + 2/6. Is j at least z?
True
Let x = 2.7 - 2.727. Let u = x - -14.027. Which is smaller: -1 or u?
-1
Suppose -7*i - 839 = 365. Is -172 bigger than i?
False
Suppose 2*k = 4*c + 296, -4*c - 2*k + k = 290. Let i = c - -37. Which is greater: -38 or i?
i
Let d = 99 + -78. Suppose 5*u - 4*w = -d, -5*w = -u - u - 22. Which is greater: u or -2/11?
-2/11
Let j = -14 - -73. Let k = -58.9 + j. Which is smaller: -2/11 or k?
-2/11
Let v = -34 + 18. Let z(b) = 2*b - 18. Let d(k) = k - 1. Let r(u) = -3*d(u) + z(u). Let f be r(v). Is f less than or equal to 1?
True
Let s = 40 + -21. Let m = 14 - -69. Suppose -4*u + w = -m, -46 = -5*u + 3*u + 2*w. Which is smaller: u or s?
s
Let q be (((-48)/6155)/12)/(4/10). Is 1 at most q?
False
Let k be 90/(-27) - (-4 - 0). Let o = -0.08 + -0.42. Let q = o + 0.7. Is k less than q?
False
Suppose -3*u = -5*t + 29, 2*t - 95 = 5*u + 3*t. Suppose 655 = -51*j - 510 + 298. Is j less than u?
False
Let f(o) = -o. Let l be f(-6). Suppose 5*v - l = -1. Which is smaller: -1/12 or v?
-1/12
Let o(s) = -2 - 6 + s + 6*s**2 - s**3 + 0. Let i be o(6). Let z = -19 - -19. Which is bigger: i or z?
z
Let u be (-35)/238*24/(-10). Which is bigger: 1 or u?
1
Let o = -0.01 + 0.01. Let v be -2*(8/4)/(-4)*-337. Let c = v - -6401/19. Which is smaller: c or o?
c
Suppose 0*o - 78 = -2*o - 5*a, 0 = -2*o + 2*a + 64. Let n = o - 37. Suppose 32 = -5*y + 7. Is n < y?
False
Let n = 1417.8 + -1418. Is -0.496 <= n?
True
Let a = -185 + 183. Which is greater: -13 or a?
a
Let x = 3.05 - 0.05. Let b be 2/3 - 589/(-930) - 1. Which is greater: b or x?
x
Let a = 1115 - 1116. Is -3/640 smaller than a?
False
Let u = -5 + -62. Is -0.04 at most u?
False
Let c = -10.04 + 13. Let w = -3 + c. Let n = w - 0.46. Which is smaller: -2/9 or n?
n
Suppose 83 = -2*t - 5*a - 6, -5*t - 3*a = 270. Let j = -57 - t. Which is greater: j or -10/7?
j
Let j = 696 + -2785/4. Which is greater: 2.2 or j?
2.2
Let m(u) = 2*u**2 - 2*u + 1. Let s be m(1). Let c = -27 + 32. Let l be 3/15*c/6. Are l and s equal?
False
Let v be ((-9)/(-18))/((3 + -1)/556). Are 140 and v nonequal?
True
Suppose 22 = 2*o - 4*o. Which is greater: o or -9?
-9
Let r(x) = 3*x**2 + 66*x - 69. Let o be r(-27). Which is bigger: o or 338?
338
Suppose -4 = s - b, 4 = -5*s + 4*s - 5*b. Let l = 11 + s. Let u(o) = -7*o**3 - o - 2. Let i be u(-1). Which is bigger: l or i?
l
Let g(t) = -105*t + 7. Let s(o) = -o**2 - 9*o - 8. Let f be s(-7). Let k be g(f). Let m be k/49 + (-4)/14. Is -12 greater than or equal to m?
True
Let q = 1.01 + -6.01. Let l = -4.8 - q. Is -0.008 != l?
True
Let m = 42.75 - -0.25. Let x = -30 + m. Is 0 not equal to x?
True
Let v = 173.5 - 173.7. Which is bigger: v or -0.117?
-0.117
Let i = 2 - 2. Let y = 3 + i. Let l = 3.05 - y. Which is bigger: -1 or l?
l
Let d = 2.2 + -8.2. Let w = -30 + 27. Is d > w?
False
Let a = -0.452 - 13.548. Is -19 at most as big as a?
True
Suppose -2*x - 1 = -11. Let o = x + -3. Which is smaller: -4/5 or o?
-4/5
Suppose -2*y + 4*h + 92 = 4, y - h = 45. Suppose 6*a + y = -152. Which is greater: -32 or a?
-32
Let o be 0 + (-2 - (-3)/3). Let d be (-12)/(30/(-5)) + 3/o. Are d and -4/31 equal?
False
Let l = 16.2 + -18.2. Do 22 and l have the same value?
False
Suppose 5*w + 10 = -i, 4 - 2 = -4*i - w. Let l be i - (0 - (2 - 2)). Let t be 7 - (4 - 1270/(-430)). Is l less than or equal to t?
True
Let u be 2 - 4/(-7) - -1. Let m be 10 + (11/44 - (-42)/(-8)). Which is smaller: u or m?
u
Let r = -22.4 - -22.3. Which is smaller: r or 0.1?
r
Let q be ((-36)/(-8))/(-1 - (-7)/4). Let z be (102/(-12))/(3/q). Which is smaller: z or -16?
z
Let u = 6550/160229 + -4/983. Let v = u - -5693/326. Which is smaller: 19 or v?
v
Let g = -71 + 641/9. Let s = 15 - 14.58. Let q = s - 0.4. Which is smaller: g or q?
q
Let c = 2.2 + -7.2. Is c smaller than 0.19?
True
Let u = -5 + 3. Let p be (-2)/(-13) - (-4 + (-11202)/26). Let l be u/(-3) + (-320)/p. Which is smaller: l or 0?
l
Suppose 0 = 3*i + 6*i - 18. Is i bigger than 7?
False
Let l = -99 - -92. Is -8 greater than or equal to l?
False
Let r(i) = -i**2 - 2*i. Suppose 0 = -2*x - 4. Let m be r(x). Which is smaller: 1/4 or m?
m
Let k(s) = -s**3 - 17*s**2 - 31*s + 13. Let t be k(-15). Let w be (-2 + 0 - (-49)/t)/(-2). Is 0 less than w?
True
Suppose 0 = -3*h - 2*j - 3*j - 74, 4*h - 5*j = -122. Let g = h - -40. Do g and 11 have different values?
True
Let d(a) = 5*a + 0*a - 5 - 8*a + 2*a. Let s be d(-7). Let q be (s/16)/(4/8). Which is bigger: -1 or q?
q
Let h = -9.4 + 9. Let r = h - -0.6. Let k = -42.02 + 42. Is k > r?
False
Let y be ((-6)/4)/(8 + 315/(-36)). Let k = 1 - 0.4. Which is greater: y or k?
y
Let p = 1/267 - -622/267. Let m(t) = -t**3 - 6*t**2 - 5*t + 2. Let c be m(-5). Is c greater than p?
False
Let o = 209.41 + -211. Let x = -0.39 - o. Which is smaller: -3 or x?
-3
Let j be (4/55)/(2/5). Is 12 bigger than j?
True
Suppose 4*q + 40 = 2*w, 6 + 6 = 4*q. Let o = w - 38. Which is greater: o or -14?
o
Let s(l) = -l**3 + l**2 + 3*l + 2. Let k be s(0). Suppose g = 1, i + k*g = g. Which is greater: i or -7/3?
i
Suppose 42*t - 46*t + 8 = 0. Suppose 3*m + 3 = 2*a, 5*m + 0*m - t*a + 5 = 0. Which is greater: -2 or m?
m
Suppose -n - 3 = 4*f + 19, 4*n - 12 = 4*f. Let t be (-35)/42 + n/12 + 26. Is 26 bigger than t?
True
Let z(u) = 2*u + 2. Let l(j) = -j - 1. Let w(v) = -7*l(v) - 4*z(v). Suppose -5*c - 13 + 41 = -2*i, -4*c = 5*i + 70. Let m be w(i). Which is smaller: 12 or m?
12
Let y(j) = j**3 - 2*j**2 + 7*j - 30. Let u be y(3). Is u < -1/131?
False
Suppose 0 = 904*g - 906*g - 898. Which is smaller: -448 or g?
g
Let v be -1 + 1 + -4 + 3. Let t be (57/(-380))/((-3)/4). Which is bigger: v or t?
t
Suppose 0 = 12*s - 16*s - 172. Let o = s + 36. Are -4 and o equal?
False
Let c = -1418 - -2490. Is c bigger than 1?
True
Let o = 0.74 + -0.76. Let d = -0.252 + 0.152. Is o greater than d?
True
Let z(i) = -i**3 - 13*i**2 + 8*i - 22. Let b be z(-13). Does b = -128?
False
Let o be (-117)/(-104) + (-1)/8. Let s = -12 - -24. Let y be ((66/s)/11)/((-58)/4). Which is bigger: o or y?
o
Let j be 6/1 - (3 + 3). Is j at most 461?
True
Let d = 15349292 - 13338554678/869. Let q = 252/11 + d. Is q at most -1?
False
Let u = -0.06 + 54.06. Let k = -53.9 + u. Which is greater: -27 or k?
k
Let l = 37 + -16. Let f = -43 - -23. Let w = f + l. Which is smaller: w or 2?
w
Let o(k) = 6*k + 2. Let q be o(0). Suppose 32 - 2 = q*j. Which is smaller: 14 or j?
14
Let c = -1202/3 - -406. Let t = -1190 - -1195. Is c <= t?
False
Let i = -48/85 - -30/17. Let y(h) = h**3 + 3*h**2. Let v be y(-3). Suppose 5*b - 3*l - 11 = v, 2*l + l + 4 = -2*b. Is i at most b?
False
Let a = 498 - 360. Which is greater: a or 133?
a
Let b be -8 + 13 + -7 - 25/(-11). Suppose -5*d + 3*d + 4*a + 10 = 0, 4*d = -2*a. Which is smaller: b or d?
b
Let r be (0 - (-6)/(-15))/((-184)/10). Let g = -59/598 + r. Suppose 5*t - 4 = -2*o, -5*t + 3*o - 8 = -o. Is g <= t?
True
Let p = 12 + -24. Are p and -64/5 equal?
False
Let v(m) = m**3 - 6*m**2 - m + 3. Let z be v(6). Let o be 1 - 2*z*(-15)/60. Suppose -3*g = -9, -2*a + g = 6*g - 11. Which is smaller: a or o?
a
Suppose 0 = -4*g - 8 + 12. Do g and -2/275 have different values?
True
Let r(f) = -f**2 + 13*f + 319. Let o be r(28). Which is smaller: o or -104?
-104
Let y = -679/45384 + 1/248. Let s = y + -301/366. Let a = -3 - -3. Which is smaller: a or s?
s
Let n be (-5)/(-1) - (-5 - -7). Suppose 2*z - 91 = n*s, -263 = 5*s + 4*z - 82. Which is greater: -34 or s?
s
Let g = -158 + 183. Is 24 less than g?
True
Let i(m) = 6*m + 5. Let k be i(17). Let r = k + -107. Is r < -12/11?
False
Let r = -5 + 8. Let s = -19 + 17. Let w = r + s. Which is bigger: w or -5?
w
Let f(u) = u**2 + 7*u. Let r be f(-8). Is r less than or equal to 7?
False
Let g(l) = l**2 - 10*l - 39. Let i be g(13). Suppose -7*a - 2 - 33 = i. Is -6 less than a?
True
Let l = -0.083 + -0.817. Let j = 4.066 + 0.034. Let x = l - j. Is x greater than -1/4?
False
Let d be 96/9 + 4/(-6). Let m be d/(-85) - 1396/(-17).