 2*u + b. Which is smaller: 8 or i?
i
Let n = 13200 - 13205. Which is smaller: -1465 or n?
-1465
Let a = 4217754860/16827 + -250654. Is -1 greater than a?
False
Suppose 3 = 3*y, 0 = 48*g - 44*g - 5*y + 13197. Is -0.1 at most as big as g?
False
Let l be (-24)/84 + (-116)/(-14). Let n be 8/((-288)/(-356)) - l. Does 3 = n?
False
Let s = 79 + -115. Let r be (-25903)/(-42) - (-6)/s. Let t = 620 - r. Which is smaller: t or 1?
1
Let m(i) = -18*i - 415. Let p be m(-22). Is 43 < p?
False
Suppose 5*p = -5*d + 740, 0 = -13*p + 16*p - 2*d - 434. Is 142 greater than p?
False
Let u = -9547 - -9547. Is -1/11573 less than or equal to u?
True
Let f(z) = 2*z + 8. Let k be f(-2). Suppose i = -4*u - 14, -3*u - 15 = k*i - 11. Which is bigger: u or -62/19?
-62/19
Let f = -0.4243 - 10.7757. Are -5 and f equal?
False
Let g(q) = -44*q - 5. Let m be g(0). Let n be (-1 - (-26)/10)/(m/25). Let x be -6*1*(-1)/(-1). Are n and x equal?
False
Let t = 33171/100 - 1327/4. Suppose j - 3*g + 13 = 0, -g = 5*j - 6*g + 35. Let n be ((-6)/9)/(j/(-6)). Which is greater: t or n?
t
Let s be 0 + -1 + 693/11. Suppose -s*p + 57*p + 15 = 0. Is 10 not equal to p?
True
Let l be (-207)/(-11) + (-14)/(-77). Let d = 18 - l. Let g be d - (135/(-10) + -3). Is g less than 15?
False
Let t be (-18)/(-27) + ((-4)/6 - -2). Let h be 2/(-4) + (-1 - (-44)/8). Suppose -h*a = -31 + 19. Are t and a equal?
False
Suppose 2*k + 7 = 115. Let c be -69*3/(k/(-60)). Which is bigger: -1 or c?
c
Let m = 245 - 275. Let g be ((-2)/m)/(10/725) - -2. Is 7 >= g?
True
Suppose -2*f = -5*l - 65, -3*f + 39 = -3*l - 0*f. Let b be 3 - l/(65/30). Suppose q + 4*v = -0*v - b, 5*v = 5*q + 70. Is q greater than or equal to -13?
True
Let n = 4345 + -17379/4. Are n and 4502 equal?
False
Let k = -421.09 - -420. Is 102 greater than or equal to k?
True
Let b = 576 - 976. Let w = -396.97 - b. Let q = w + -0.03. Which is greater: 0.8 or q?
q
Let t(l) = 39*l + 224. Let y be t(-6). Let i = -86 + 70. Is y bigger than i?
True
Let b be (-16)/(-34)*54/8. Let o be (-90)/(-70) + 24/(2352/266). Which is bigger: b or o?
o
Suppose -949*c - 31 = -952*c - 142. Which is bigger: -38 or c?
c
Let b = -13.53 + 13.73. Suppose 13 = -4*z - 31. Let a = z - -5. Which is smaller: a or b?
a
Let c be 279/186 + 3/2 - 42/12. Which is smaller: -41/137 or c?
c
Suppose -d = -f + d + 13, 2*f + 5*d = 17. Suppose -f*l = -7*l - 20. Suppose 0 = -r - l*c - 16, 4*c - 2 + 9 = 5*r. Does 9 = r?
False
Let y be (9 + (-57)/4)/((-6)/272). Let k = -1 + y. Is k > 236?
True
Let l = -39028 - -39027.99. Let z = -10 + 6. Does l = z?
False
Let q = -0.11 - -0.01. Let m(d) = d**3 + 3*d**2 - 20*d - 13. Let k be m(-9). Let z = -4787/15 - k. Are q and z non-equal?
True
Suppose -187*z - 188448 = 202*z - 87*z. Is -597 smaller than z?
False
Let g be (-1 - 0)/(1/14). Let a = 55 - 155. Let y be a/7 + (-6)/(-21). Is y greater than g?
False
Let z = -10.1 - -11.14. Let f = 0.84 - z. Is 0.48 equal to f?
False
Let a = -0.16049 + 57.16049. Is a greater than or equal to -49?
True
Suppose o + 5 = 6*b, -36*o - 8 = -5*b - 39*o. Let h be (-1)/(-2)*4/(-29). Are h and b nonequal?
True
Let n be (-424)/(-954) - (-5630)/(-12546). Are n and -1 unequal?
True
Let y be 3/(-3*(-2)/4). Suppose -y*m - 60 = -5*m. Suppose -44*p + 81*p = 703. Which is smaller: m or p?
p
Let u(y) = -3*y + 39. Let k be u(-27). Suppose -15*g - k = 5*g. Is g > -21/4?
False
Suppose -130 = 29*w + 36*w. Let u = -149/96 + -1/96. Is w greater than or equal to u?
False
Suppose 581*b + 12 = 577*b, -2*b + 61814 = -5*m. Does -12363 = m?
False
Let y = -55 + 56.06. Let q = y + -2.27. Let s = -1.11 - q. Is s > -47?
True
Let b = -3114.4 + 3114.4. Is b at least as big as 176/87?
False
Let r be ((-6848)/1862)/((-5152)/49 + -2). Let f = r + 2/2625. Suppose -3*g - 5*c = -c - 12, -5*g + 2*c - 6 = 0. Does f = g?
False
Let u = 9376 + -9304. Do 31 and u have different values?
True
Let n = 458 - 81. Let j = 442 - n. Is j <= 66?
True
Let o be (-14 - 11168/(-792)) + (-6)/27. Are -0.4 and o nonequal?
True
Let m = -943 + 942.9. Let v = 42 - 62. Let t = v + 20.29. Which is smaller: t or m?
m
Suppose o - 2*p + 6 = 4*o, -o + 2 = 4*p. Suppose -133 = o*c - 7. Is c greater than or equal to -62?
False
Let u = -932 + 1232. Which is bigger: u or 302?
302
Suppose 86 = 3*h - q, 3*q + 78 = -43*h + 46*h. Let o be (-12 - -7)*(-4)/10. Suppose o*i - 58 = y, -3*i + 5*y = -100 + 13. Are i and h equal?
False
Let z = -301/741 + -8380/247. Suppose -x + 4*x + 99 = 0. Which is bigger: x or z?
x
Let u be ((-2)/6)/(-8 - 75775/(-9471)). Let o be 10/(-35) - u/(-77). Are o and 1 unequal?
True
Let v = 17 + -3. Let p = -39 - v. Let y = p - -52.9. Which is smaller: 21 or y?
y
Let z be (-2)/(-2) - (7 - 9). Let s be (-7 + z)/((-2)/(-5)). Let i be s/(-4)*54/45. Which is smaller: -2/11 or i?
-2/11
Let t = -249 - -234. Let z(w) = w + 60. Let j be z(t). Is 46 greater than j?
True
Let v = 8 + -6. Let l be ((-52)/5)/(13/(244140/(-216))). Let t = -908 + l. Is v <= t?
False
Suppose 46*z + 2348 = -5*u + 47*z, 3*u + 4*z = -1418. Do -462 and u have the same value?
False
Let x = -25416 - -25416. Which is smaller: x or 12/3409?
x
Let q = 192 + -334. Let t = q + 141. Which is smaller: -3/100 or t?
t
Suppose o + 5*x + 5346 = -2*o, 2*o + 5*x + 3554 = 0. Is o < -1796?
False
Let f = -2561.215 - -2561. Is -1/3 less than or equal to f?
True
Let f = -10664/3 + 3553. Which is bigger: f or -1?
-1
Suppose -10 = -2*p - j - 3, -4*p + 3*j = -19. Suppose 4*i + 4*f - 8*f = -20, -p*i + 4 = 2*f. Let z be (1 + (-184)/188)/(-2). Is i != z?
True
Suppose d - 2*g = 36, 7*g + 51 = d + 2*g. Let o(f) = -2*f**3 + 12*f**2 - 2*f + 2. Let p be o(6). Let h = p - -34. Which is smaller: d or h?
h
Suppose -3*h = 3*d + 11526, 4*h - 2*d + 8224 + 7132 = 0. Is h at most as big as -3839?
True
Suppose -4*w - 224 = 204. Let y = -59 - w. Suppose p - 4 = -z, -5*z - p = -3*p - y. Which is greater: z or 7?
z
Suppose -301 - 263 = 4*y + 2*h, -5*y - 3*h - 707 = 0. Which is smaller: y or 18?
y
Let z = 1241.2 + -1241. Which is greater: z or 3.25?
3.25
Let p = -10132 - -91190/9. Which is smaller: -2396 or p?
-2396
Let s = 72.36 + -81.379. Let a = 9 + s. Let d = a + 1.019. Which is greater: d or 21?
21
Suppose -4*c = -d - 2614, -4*d - c + 2611 = -5*d. Which is bigger: -2609 or d?
-2609
Suppose 1120 = 12*h - 19*h. Let f be h/60 - (-998)/363. Which is smaller: f or -1?
-1
Suppose 161*i = 167*i + 18. Let n(r) = -4*r**2 + 7*r + 24. Let h be n(i). Which is greater: h or -5?
-5
Let t(p) = -p**3 - 11*p**2 - 18*p + 48. Let y be t(-9). Is 97/2 >= y?
True
Let g be ((-18)/(-16005))/(909/(-1515)). Which is greater: g or 0?
0
Let y(h) = 10*h - 34. Let b be y(6). Let a be 0 + 4/b + 25590/130. Which is smaller: a or 198?
a
Suppose -3 = -m - r, 3*r + 331 - 335 = 2*m. Do -2/24807 and m have the same value?
False
Let q be 1056/21 + (-4)/14. Suppose -5*c = w - q, -3*w - 40 = -6*c + 2*c. Let m = 1953/181 - -9/905. Which is greater: c or m?
m
Let n(s) = 4*s**2 + 2*s - 37. Let f(i) = 6*i**2 + 3*i - 38. Let m(a) = -3*f(a) + 4*n(a). Let y be m(-7). Is -125 != y?
False
Let a(g) = 3*g + 42. Let c(o) = 10*o + 126. Let j(m) = -16*a(m) + 5*c(m). Let x be j(11). Let p = -18 - 1. Which is smaller: x or p?
x
Let n be ((-30)/8)/(1/(-40)). Let c be n/(-35)*(1 + -8). Let r = -44 + c. Is -14 >= r?
True
Let u = -153 + 287. Let z = u - 134.114. Let r = z + -5.986. Which is smaller: 1 or r?
r
Let f be 3 + (-4)/((-812)/(-603)). Let x(y) = y**3 - 43*y**2 + 80*y + 83. Let h be x(41). Is h at least f?
True
Let k be ((-30)/12)/((-3)/6). Suppose d = -3*p + 3*d + 105, d + 182 = k*p. Is p at least as big as 37?
True
Let m = -53 + 88. Let i = -33 + m. Suppose b + i = 2*s, -3*s + 0*s - b = 2. Is 2/17 greater than s?
True
Let f = -157.29 + 150. Let s = 2.29 + f. Which is bigger: s or 5/6?
5/6
Let u(a) = 15*a**3 + 2*a**2 + 2*a + 1. Let s be u(-2). Let i be (34530/(-500))/((-18)/30). Let o = s + i. Which is smaller: o or 3?
o
Let m(v) = -66 + 4*v + 36*v - 8*v + 16*v. Let z be m(10). Is z less than or equal to 413?
False
Let u be (11456/(-1636) + 7)*((-6)/42)/(-1). Does u = 1?
False
Let k = 24 + -335/14. Let c(y) = y**3 - 8*y**2 - 8*y - 13. Let h be c(9). Let m be h + -1 + 5 - -1. Is k > m?
False
Let g = -16964 - -16956. Is 364 at most as big as g?
False
Let p = -50/2217 + -10288/920055. Is 1 less than or equal to