0). Is i > 431/3?
True
Let c = 126/37 - -613/222. Is c greater than -2/3?
True
Suppose -9*b + 10*b - 6*b = 0. Let y be 5 - (-12)/64*-34. Are b and y unequal?
True
Let b = -1852 - -1852.8. Is -28 > b?
False
Suppose 8*j = -12*j - 9*j. Suppose -5*a + 83 - 83 = j. Is -2/145 < a?
True
Let m be (15/30)/(4/1117). Suppose -3*x + 5*n - 415 = 0, -409 - 153 = 4*x + 2*n. Let c = m + x. Which is bigger: -1 or c?
c
Let u = 1085 - 1015. Which is smaller: 1.6 or u?
1.6
Suppose -14*j = 13*j - 351. Suppose -9*u + 13 = j. Which is greater: u or -17?
u
Suppose c + 4*c - 40 = 0. Let a = -6649/33 - -34499/165. Which is smaller: c or a?
a
Let h(z) = z. Let k(p) = 7*p - 31. Let u(j) = 4*h(j) - k(j). Let q be u(17). Suppose 2*g - 85 = 4*m + g, -35 = 2*m + g. Is m at most as big as q?
True
Let m(q) = q**3 - 23*q**2 + 32*q + 209. Let s be m(21). Is s not equal to -562?
True
Let x = 2252/165 + 71/33. Let q be 18/(-135)*(-466)/(-4). Let y = q + x. Is y less than -1?
False
Let z(j) = -j**2 - j - 7. Let n be z(7). Let p = n - -66. Suppose 2*s + p*h + 16 = 0, 4*s - 2*h + 12 = -3*h. Which is bigger: -5/2 or s?
s
Let m(p) = 2*p - 7. Let r be m(8). Let d be ((-6)/r)/((-2)/3). Let a = 2274/19 + -120. Which is greater: a or d?
d
Let b be (-132)/(-18) - (-2)/3. Let n be b/(-6)*(4 + (-34)/8). Which is smaller: n or -3/41?
-3/41
Let z(o) = 29*o + 43. Let y be z(-16). Let n = y - -472. Which is smaller: n or 49?
49
Let k(v) = v**3 + 5*v**2 - 6*v + 4. Let g be k(-6). Let h = g + -6. Let i = -1152 - -1155. Which is smaller: h or i?
h
Let q = 5608 + -4811. Which is smaller: q or 799?
q
Let g = -27.012 - -0.012. Let o = g - -22. Which is greater: o or 22?
22
Let w = 1 - 2. Let n = -1051352/1276683 + -2/75099. Is w at least n?
False
Suppose -2*v + 411 = 5*y, 4*v + 5*y - 255 = 532. Let n(z) = 2*z**2 + 11*z - 8. Let p be n(-13). Is v at most p?
False
Let s be -13 + -2542*741/(-144898). Which is smaller: 1 or s?
s
Let s = 4/555 - -503/7215. Are -13.7 and s equal?
False
Let q be ((-40)/(-192))/(((-12)/(-114))/2). Which is smaller: 3 or q?
3
Let n(w) = 4*w + 329. Let l be n(57). Is l at least 560?
False
Let m be (-16)/(-28) + 71/(-63). Let k = -103 + 102. Which is smaller: m or k?
k
Suppose 2*n + 7 = 5*r, -r + 4 = n + 4*r. Let x(k) = 214*k**2 - 4*k - 4. Let l be x(n). Let p be l/(-72) - (-5 + 2). Which is smaller: p or 0?
0
Let h be ((-90)/50 - -1)*(-75)/1410. Which is smaller: -4.04 or h?
-4.04
Let x be 2/(-2*1)*1. Let v = -96275/23 + 4186. Which is greater: v or x?
v
Let d(n) = -n**3 + 5*n**2 - 3*n - 1. Let w be d(4). Let x = -84 + -6. Let z be ((-10)/12)/(50/x). Are z and w non-equal?
True
Let f = -1483 - -1421. Suppose -38 = -5*h - 18. Suppose -4*b - 77 = m, -m + h*m + b + 187 = 0. Is m at most as big as f?
False
Let s be (-57)/(-532)*-4*(-273)/9. Which is smaller: s or 500/41?
500/41
Suppose 75 = 3*m + 3*b, -3*b + 4*b - 133 = -5*m. Let y = -17 + m. Let s be -4 + ((-4)/(-10) - (-36)/y). Is s bigger than 3/44?
False
Let x(r) = -14*r**3 - 2*r**2 - 11*r - 10. Let z be x(-1). Suppose z*h = -8*h. Which is smaller: 2/1841 or h?
h
Let s(d) = -d**2 - 8*d - 8. Let c be s(-6). Suppose -19 = -c*g - 15. Is g less than 6/13?
False
Let g = -9.36 + 406.36. Let m be 2/13 - (11223/(-754))/43. Is m at most g?
True
Let d be -10 + (-184)/(-18) + (-1486)/(-198). Let b = 995/143 - d. Let i(t) = t**2 - 6*t - 7. Let z be i(7). Which is bigger: b or z?
z
Let b be -9*(-10)/45 - -22. Suppose 3*a - 63 = b. Let l = 53 + -23. Is a >= l?
False
Let q = 0.0425 - -0.0175. Which is bigger: q or -1/1617?
q
Let i = 7740371/76 - 101851. Let w = 15/4 + i. Is -1/4 < w?
False
Let x be ((-7)/28)/((-1)/4)*3. Let q = 2 - x. Is -13/15 < q?
False
Let a be 2/(-5)*-5 + 2. Suppose s - 99 = a*s. Let k = -39 - s. Is -3 at least k?
True
Let p = 5 + -3. Let i(g) = 2*g**2 + 13*g + 9. Let k be i(-6). Suppose -5*s - 9 = k*q + 1, -24 = s + 5*q. Is s > p?
False
Let z = -234 - -325. Let f be 0 + 18/27 - z/(-3). Is f less than or equal to 185/6?
False
Suppose -4*s + 2 = -5*b, -5*s + b + 19 = 3*b. Suppose -2*a = 8, -25 = s*t - a + 5*a. Suppose 2*u + 3 = -u - 4*l, -4*u + l - 4 = 0. Which is smaller: t or u?
t
Suppose 0 = 3*i + 4*w - 158, 5*w - 6*w = -2*i + 109. Let h be (18/i)/((-1)/3). Suppose -3*q + 61 - 154 = 0. Is q not equal to h?
True
Let m be 234*6/42 - (-4)/(-14)*-2. Which is smaller: m or 1?
1
Suppose -2*v + 357 = -5*v. Let y be 4582/56 - (-68)/v. Let c = y - 81. Is c at least as big as -3?
True
Let p = -167606/11 + 15238. Is p greater than 0.96?
True
Suppose -6*d + 9 = -15. Let j be ((-2590)/1325 - -2)*(-10)/d. Is j > -1?
True
Let a(t) = 7*t**2 + 18*t + 127. Let f be a(-7). Suppose -z = w - 2*w - f, z = -w + 348. Are 346 and z equal?
True
Suppose -65*z = -100*z - 50190. Is -1435 bigger than z?
False
Let o = 953 - 1018.7. Let p = o - -67.7. Which is bigger: p or -192/7?
p
Let w be ((-189)/(-105))/((-2)/(-150)). Suppose w = -5*k - 5*n, -3*n = -2*k - 2 - 52. Is -5 less than k?
False
Let q = -69381/476 - -1020/7. Suppose -j = 3*j. Is q > j?
False
Let q be (-5848)/(-2838) + 4/(-66). Which is smaller: 139 or q?
q
Let a(c) = 24*c**2 - 7*c + 5. Suppose 4*n - 4*k + 4 = 0, 0 = 3*n - k - 0 - 1. Let d be a(n). Which is smaller: 19 or d?
19
Let b = 21653401213/221 - 97973906. Let d = b - 5285. Which is smaller: d or 0?
0
Let q(m) = -30*m + 10. Let l be q(-3). Suppose 8*h - 18*h = -l. Are 11 and h unequal?
True
Let y(j) = -6*j**3 - j**2 - 4*j - 4. Let a be y(-2). Let z be a/18 + 6/(-9). Which is smaller: 16/5 or z?
z
Let l be (-3)/(-123)*2/(-29). Let s(b) = b**2 + 2184*b - 26351. Let t be s(12). Is t greater than l?
True
Suppose -3 = 4*a - 15. Suppose 0 = 2*w - a*v - 122, 10*v - 11*v = 5*w - 339. Which is greater: w or 66?
w
Let k(p) = -p**2 + 15*p - 76. Let a be k(9). Let z = -28 - -26. Let g be 0 - 80/35 - z. Are a and g unequal?
True
Let h = 13 - 11.9. Let q be 1/(4*(-5)/(-40)). Let d be (3/(-18))/(q/(-8)). Is h smaller than d?
False
Let w = 90 + 8. Let l = w - 66. Is 1 at most l?
True
Let k = -48 + 12. Let u be (k/(-270) - 8/150)*-1. Suppose -2*i = i. Which is bigger: i or u?
i
Let v be (2 - 71105)*(-33)/1265. Let z = -1853 + v. Let m = -6/23 + z. Which is greater: m or 2?
2
Let t = -3.855 - -22.055. Which is bigger: -1/4 or t?
t
Let d = -0.00731 - -0.04731. Which is smaller: -17.1 or d?
-17.1
Suppose 167*r = 173*r + 342. Let w(d) = d**3 - 9*d**2 - 29*d + 19. Let a be w(11). Which is smaller: r or a?
a
Let m = -166787/128 - -1303. Let p(w) = w**3 - 50*w**2 + 129*w + 563. Let t be p(47). Is t >= m?
False
Suppose -4 = 5*y - 9. Suppose 4*s + 5*l = 741, -4*l + 8*l = -s + 177. Let r = 1322/7 - s. Is r at most y?
True
Let q(f) = -26*f - 1219. Let p be q(-47). Does 21/5 = p?
False
Let f = 240.3 - 157.3. Is f <= 23?
False
Let i be 2/(-8)*(-4)/2. Let o be ((-4846)/14 - 6) + (-5)/(-35). Let x = o - -3870/11. Which is smaller: i or x?
x
Let s = -5771 - -86563/15. Does s = -10/29?
False
Suppose -10*m - 96 + 16 = 0. Let y be (-6)/(-4)*1 - 4/m. Is y equal to 14?
False
Let k(j) = -j**2 - 8*j - 14. Let u be k(-9). Let h be (-214 - -187)/((2 - 1)/1). Is h < u?
True
Let y be (30/8)/((-1)/(-4)). Suppose 0 = 6*b - 4*b + 5*p - y, 5*p + 15 = 4*b. Suppose k + 6 = -b*k. Is k at most as big as -6/41?
True
Let s be (4*1/(-6))/((-6)/18). Suppose -s*o = 527 - 507. Is -10 greater than or equal to o?
True
Let b be (2520/(-96))/((-3)/2). Let j = -29 + b. Which is bigger: -13 or j?
j
Let p = -238.09 + 214. Let l = -24 - p. Let k = 1.09 - l. Which is smaller: k or -3.7?
-3.7
Let w = 219 - 377. Suppose -3464 = 15*g - 1109. Do g and w have different values?
True
Suppose 7*v = 4*v - 138. Let m = v - -57. Suppose 0 = m*s - s + 30. Is s != -3?
False
Suppose 0 = 3*w - 57 - 3. Let s be (w/6)/((-8)/(-12)). Let z(l) = -l**3 - 48*l**2 + 10*l + 476. Let c be z(-48). Is c < s?
True
Let n(d) = -d + 9. Suppose -3 = 2*m + g + 5, -4*m - 32 = -2*g. Let t be n(m). Suppose c + 3*b + 10 = -3*c, 0 = -5*c - 5*b - t. Is c smaller than -2/25?
True
Let k = -2472.9 - -2372. Let t = 100 + k. Which is bigger: 18 or t?
18
Let s = -52/1363 - -18/47. Which is smaller: s or 4/19?
4/19
Suppose -2*d - 1162 = -2*w, 2*w + 2*d - 1394 + 224 = 0. Which is smaller: w or 5?
5
Suppose 2*r + 12 = 4, -106 = 3*m - 2*r. Let k be 8/40 + 3/((-30)/m). Let g(y) = y**3 - y**2 - 1. Let j be g(2). Which is greater: j or k?
k
Supp