/755?
True
Suppose 0 = i + 4*i. Suppose i - 2 = -k. Let b be ((-56)/7)/(k - 1). Is b bigger than -9?
True
Let q(h) = 4*h**2 - 3*h + 1. Let v be q(0). Is 2/311 less than or equal to v?
True
Let s(u) = u + 10. Let g be s(-10). Let c = 4867481/13379 + 53/787. Let d = -364 + c. Which is smaller: g or d?
d
Let d = 18 + -19. Let k be (-16 - -10)/(-1 + d). Suppose -4*t - 10 = 3*c, -k*c + 3*t + 1 = -17. Is c at least as big as 5/6?
True
Let h = 82 + -81. Is h greater than or equal to -3/38?
True
Let k = -52 - -53. Let j be 1*(-12 - -1)*k. Is j at least as big as -12?
True
Let r = 3 - 3.1. Let w = 221.07 - 221. Which is smaller: r or w?
r
Let o = 16.6 + -16.5. Let t be 46/(-84) - 2/7. Is o not equal to t?
True
Suppose -3*w = 11 + 4. Let n = 21 + w. Is n not equal to 16?
False
Let c = 439 + -435. Which is bigger: c or 0?
c
Suppose -4*v + 5*v - 24 = -4*p, -29 = -3*p + 2*v. Which is greater: 17 or p?
17
Let w be 33*((-2)/4)/(51/34). Let g = 0.5 - 0.1. Let s = 0.3 - g. Which is greater: s or w?
s
Let d = -0.09 + -3.91. Let q = d + 3. Let c = 1751 - 3499/2. Is c smaller than q?
False
Suppose 3*x + 3*b = 54 + 18, 0 = -2*x - 3*b + 49. Let n(u) = 3*u - 6*u + u + 15. Let r be n(-4). Is r at most x?
True
Let p = -53.6 - -3.6. Let g = p - -56. Is g less than 2?
False
Let w be (-63)/(-54) - 3/9. Which is bigger: w or -1/14?
w
Suppose 17*d - 934 = 18. Let w(j) = 3*j**2 - 3*j - 4. Let t be w(5). Is t < d?
False
Let d = -139/5 + 422/15. Is 74/5 less than or equal to d?
False
Let w = -111.94 + -0.06. Is w not equal to -1?
True
Let g(j) = 4*j**3 + 2*j + 1. Let x be g(-1). Let y be 3*3*(-6)/27. Let n = -2 + y. Is n bigger than x?
True
Let t = -184 - -104. Let k be 5 - -24*t/385. Is 1 less than or equal to k?
False
Let x = 25/39 - 1108/1911. Does x = -1?
False
Let m = -5 + 2. Let h be (0 + 4 + m)*0. Which is smaller: 1/17 or h?
h
Let o be -20*(3/(-6) + 0). Suppose o*z = 6*z. Which is smaller: z or 4?
z
Let x be (-1)/5 + 3/9. Which is smaller: -3 or x?
-3
Suppose 0 = 4*d - 0 - 4. Let z be d + (-1)/(-3)*-3. Let n = -169/240 + 3/80. Do n and z have different values?
True
Suppose 304 = 37*f + 8. Which is greater: f or 188/21?
188/21
Let s = 1039 + -1035. Is -0.322 less than or equal to s?
True
Let n = 325 - 325. Is -16/13 >= n?
False
Let k = -936.11 + 938. Are k and 0 non-equal?
True
Let z = -233 + 698/3. Which is smaller: -45/7 or z?
-45/7
Let g = -0.245 - -7.245. Are g and 7 equal?
True
Suppose 2*z - 6 + 1 = 3*p, 4*p + 4*z = 0. Suppose -2*h = 2*h. Are p and h non-equal?
True
Let k = -454 - -362. Is -1/3 bigger than k?
True
Let c = 9659 + -86785/9. Which is bigger: 17 or c?
17
Let x(y) = -26*y + 27. Let n be x(1). Is 8/5 smaller than n?
False
Let y = -1/2991 + -288131/5982. Let k = -155/3 - y. Let n be (6 - 20/6)/((-4)/6). Are n and k equal?
False
Suppose 2*z - 7 = 23. Let j be (12/(-9))/((-10)/z). Suppose -5*y = -w - 1, 2*w + 2 = 2*y + j*y. Are 2/27 and w unequal?
True
Suppose 0 = 9*d - 30 - 87. Let m(i) = -i**3 - 9*i**2 + 9*i - 6. Let o be m(-10). Let r be o/18 - (-106)/9. Which is bigger: d or r?
d
Let q be ((-12)/10)/((-4)/(-10)). Let r be q/(6/(-4)) + 11/(-4). Is r less than 0?
True
Let j = 34/3 - 172/15. Let u = 44 - 46.1. Let b = -1.9 - u. Is b bigger than j?
True
Let w = -5 - -6. Let r be 66/(-11)*(-2)/(-12)*-1. Is r at least w?
True
Let g = 51 - 49.6. Let r = -0.452 - -0.452. Is g greater than or equal to r?
True
Let r = 0 + 1. Let l be (-99243)/(-27531) - (-2)/14*-3. Let s = l + -62/19. Is r not equal to s?
True
Suppose -2*q + j + 45 = 0, -90 = -5*q - 2*j + 27. Suppose 0 = w - 5*p - q, -9 = -3*w + 2*p + 8. Let u be (-2 + w)*(-1)/1. Is u >= 2/21?
False
Let j = -0.012 + 0.212. Let o = -51 - -45.96. Let l = o + 5. Which is smaller: j or l?
l
Let d = 5 + -3. Let i = -1 + d. Let r be 49/(-90) - (10 + 42/(-4)). Is r < i?
True
Let o = -1553 + 1499. Is o smaller than 2/7?
True
Suppose 4*l - 4 = 4. Let g = -1.3 + -0.3. Let c = g - -1.6. Are c and l equal?
False
Suppose -2*k - 2 = -2*p, -2*p = -58*k + 61*k + 8. Which is bigger: -7/13 or p?
-7/13
Suppose -1432 = -4*a + 656. Let c be (-273)/a - 5/(-10). Is -1 greater than c?
False
Suppose 5*u - 1569 = -5*d + 1441, -4*d = 16. Is 604 >= u?
False
Let v(y) = y**2 - y - 6. Let i be v(5). Suppose -i = -t + 1. Let w(q) = -q**3 - 3*q**2 + q + 2. Let z be w(-4). Do z and t have the same value?
False
Let q = 358 + -353. Which is smaller: q or 40?
q
Let i be -5 - ((-88)/43 - (4 + -1)). Let l be -1*(1 - 0)/1. Is i bigger than l?
True
Let m = 18 - 16. Suppose -o + 0*o + 2 = 5*x, 4 = -x + m*o. Is x <= -12?
False
Suppose 125 = -0*w + 5*w. Let f be 2/(-3) - (3080/24)/(-5). Is w bigger than f?
False
Let z be ((-2)/6)/(1/(-9)). Let r be (-2 - 1)*(-18)/27. Suppose 2*q = 5*b - 1, -3*q + 6*b = r*b - 2. Which is greater: z or q?
z
Let f = 8 - 6. Let i(q) = -4*q - 11. Let p(k) = 5*k + 11. Let a(x) = -4*i(x) - 3*p(x). Let c be a(-10). Is c >= f?
False
Let p = 103 - 103. Suppose p*q - 162 = -3*q - 4*s, -q - 5*s = -43. Do q and -1 have the same value?
False
Let k = 262 + -262. Is k at least -29/26?
True
Suppose -3*x + 7*x - 4 = 0. Let i = 2 + x. Suppose -2*b + 9 + 5 = -4*o, -i*b + 17 = -2*o. Which is bigger: o or -2?
o
Let l be 4 + (-540)/138 + (-1839)/25116. Are 1 and l non-equal?
True
Let m(y) = 3*y - 10. Let c be m(10). Let i be (-4 - (-4 + 1 + -21)) + 0. Is i at least as big as c?
True
Let g = -14.09 - -14. Let u = -2.11 + g. Let i = 0.2 + u. Does -1 = i?
False
Let g = -2553 + 2473. Is g <= -6?
True
Let o = -0.78 - 0.17. Let f = 0.05 - o. Which is smaller: -1/3 or f?
-1/3
Let s be 6/(2 - 4) - (-115)/3. Let o = 35 - s. Which is smaller: -0.09 or o?
o
Let z(c) = 35*c - 111. Let v be z(4). Is v less than or equal to 29?
True
Let b be 3/9 - 411/(-9). Is b bigger than 45?
True
Let b = 72 - 70. Suppose 6*y + 81 = -4*l + 5*y, b*l = -2*y - 48. Which is smaller: -18 or l?
l
Let n(t) = t**2 + 0*t**2 + 10*t + 67 - 55. Let s be n(-7). Do -6 and s have different values?
True
Let x be (-25)/31 - 1*-1. Let u be (-12 - (6 - 3)) + 15. Is u greater than x?
False
Let j = -349 - -379.6. Let d = 29 - j. Let q = 0.3 + -0.4. Which is smaller: d or q?
d
Let c = -0.043 - -11.043. Let a = -13.22 + 0.22. Let o = c + a. Which is greater: 1/3 or o?
1/3
Let m(l) = l - 2. Let q be m(-5). Let g(d) = d**3 + 7*d**2 - d - 2. Let x be g(q). Suppose -4*s - 29 = y, 4*y = 4*s - x + 29. Which is smaller: s or 1/4?
s
Let i = -9.7 + -0.3. Let n = -10.32 - i. Let r = n - -0.31. Is r smaller than -2?
False
Let y = 132 - 132.1. Is 10 < y?
False
Suppose 0*i - 2*i + 201224 = 0. Let g be i/(-172)*(2 - 1). Let d = g + 585. Are -1 and d nonequal?
True
Let r be (14 + 4)/3*1. Let t(v) = 5*v - 3. Let c be t(r). Which is smaller: c or 28?
c
Let y = 52.21 - 1.21. Let i = -50 + y. Does -3/5 = i?
False
Let r be (-72)/396 + 3617/(-11). Is r less than or equal to -328?
True
Let s = -8276/7 + 1182. Let v = 0.1 - -0.6. Which is greater: s or v?
v
Let d = 82821/101 + -820. Which is smaller: d or 0?
0
Let a(n) = -4*n + 34. Let j be a(9). Suppose 0 = -t + 3*t + 6. Let y be (-1 - t)/(6/(-9)). Which is smaller: y or j?
y
Suppose 5*y - 4*y + 445 = 5*h, 178 = 2*h + 4*y. Do h and 439/5 have different values?
True
Let d = 76 - 76. Let g = -4 - -3.4. Let n = 0.3 + g. Which is greater: d or n?
d
Let n be -3 + -1 + 9/(-9). Let b(x) = -8*x - 12. Let l be b(n). Let y = l + -27. Is -1/49 at least as big as y?
False
Let g = 1062/17 - 298456/4777. Which is smaller: 0 or g?
g
Let y = -567917/11 + 51359. Let m(w) = -89*w + 3. Let k be m(-3). Let f = k + y. Do 0 and f have different values?
True
Suppose 0*h = -3*h - 6. Let m be h/(72/33) - -1. Let t(s) = -s**3 - 13*s**2 - 30*s - 1. Let d be t(-10). Which is bigger: m or d?
m
Let g = -19.3 + 19.381. Let u = -4.919 - g. Is u at most 1/2?
True
Let i = -1 + 2. Suppose -10*b - 4*y = -118, -2*b + 10 + 43 = 5*y. Is b bigger than i?
True
Let n = -468 - -734. Is 1 bigger than n?
False
Let p = 26.089 + -0.089. Let a = p + -29. Is a greater than or equal to -0.7?
False
Let s = 3441 + -3466.89. Let m = s + 26. Is 0.1 at least as big as m?
False
Let y = -9 + 6. Let g be 6*y*(-2)/6. Which is smaller: 7 or g?
g
Suppose -1 = 4*m + 4*x - 21, 5*x = 15. Suppose -1 = m*s + 11. Suppose -4*c = 4*p - 7*p + 1, 0 = -5*c + 3*p - 5. Is c smaller than s?
False
Let y be -210 + 204 - (-116)/18. Let g 