 Suppose -20*g - 26*g = -33*g - 2977. Is h at least g?
True
Suppose 5*k = 4*t + 50, k + 10 = 2*t + 14. Do k and 375/26 have the same value?
False
Let d(a) = -a**2 - a - 10. Let i be d(-9). Let x = 60 + i. Is x greater than -22?
False
Suppose 123895 = 69*a + 2*a. Is 3489/2 greater than or equal to a?
False
Suppose -2*x + z = -14 - 0, -5*z = 3*x - 8. Let t be x*(-4)/(-18) + (-1190)/825. Which is smaller: t or 0?
t
Suppose -18 = -4*r - 2, -5*o + 13 = 2*r. Let z be o/2 - ((-1701)/30)/9. Which is smaller: z or 6?
6
Suppose 0 = 2*h - 4*d - 42, -7*h + 2*d + 115 = -128. Is h less than 34?
False
Let z = -0.15 + 0.2. Let x = 3.13591 + -0.13591. Is x > z?
True
Suppose 3*j - 9 = -a, 0 = 4*j + 7*a - 2*a - 12. Let b be 2*74/(-2 - (5 - j)). Is -37 at most as big as b?
True
Let l = -121.1 + 114.958. Let v = -6 - l. Let o = -0.205 + v. Which is smaller: o or -2/5?
-2/5
Let d = -114.54 + 117. Let j = 1.54 + d. Let h(q) = q**2 - 2*q + 1. Let w be h(3). Is j < w?
False
Let u(x) = -6*x**2 + 124*x - 80. Let z be u(20). Which is smaller: z or -10/1243?
-10/1243
Let u = -0.222 - 2.778. Let p = 0.02 - 0.06. Let q = 0.03 + p. Which is smaller: u or q?
u
Suppose 0 = 4*h + 5*f + 30, -72 = 4*h + 2*f - 60. Does 1/755 = h?
False
Suppose -q = -4*h - 46 - 8, 4*q - 34 = 2*h. Let o be -1 - (h/5)/((-12)/(-15)). Is o greater than -0.4?
True
Let g = -23335.66 + 23336. Let l(i) = i**3 - 3*i**2 + 2. Let n be l(3). Is g < n?
True
Let p be (2/(-4) + (-21)/(-18))*6. Suppose z - 4*z = -p*g, 0 = -4*z + 16. Which is smaller: g or 9?
g
Let u = -0.2545 - -23.2545. Which is greater: 2/29 or u?
u
Let a = 1.267 + -7.097. Let g = a + 5.61. Which is smaller: g or 0.01?
g
Suppose -54 = -52*b + 49*b. Suppose 6*w = -0 - b. Let m be 2/(-8) - ((-531)/(-228))/w. Is 2 smaller than m?
False
Let m = 12809 - 13107. Is 2/17 > m?
True
Let x(b) = b**2 + 2*b + 3. Let q be x(0). Let f(l) = 2*l**2 + 4*l - 4. Let z(i) = -5*i + 41. Let j be z(8). Let r be f(j). Which is greater: r or q?
q
Let o = 1361077/43 - 31653. Let q = -7 + 7.12. Which is greater: q or o?
q
Suppose -974 = -6*i + 1024. Suppose 336*y = i*y - 51. Is y less than -107/6?
False
Let f be 33/88 + (2 - (-3098)/16). Which is bigger: 197 or f?
197
Suppose 172*h - 176*h = -60. Let g be (-5)/15 + (-1)/(h/10). Which is bigger: g or -2/383?
-2/383
Let l be ((28/24 + -1)/1)/((-2)/12). Which is smaller: l or 2.58?
l
Let w = 69 + -74. Let y = -32.9 - -35.8. Is w greater than or equal to y?
False
Suppose 33*f = -420 + 2103. Is f != 52?
True
Let c = -18275 + 1736152/95. Are -1 and c non-equal?
True
Let q = -107 + 380. Let u = q - 252. Let v(i) = 3*i - 7. Let o be v(9). Which is smaller: o or u?
o
Let d = 1656 - 140762/85. Let r = d + 346/255. Which is smaller: r or 1?
1
Let r be 168/(-98)*(-53 - -4). Let y be 7/(r/(-16)) - 340/168. Are y and -3 equal?
False
Let m = -5816 + 5584. Which is smaller: m or -239?
-239
Let y = -599.9 - 52.1. Let i = -752 - y. Is i at most 1?
True
Suppose 10*a - 16 = h + 5*a, -3*h = 3*a - 24. Let t be (3/2)/(3/1)*10/1. Is t smaller than h?
False
Let x = 2777 - 2778. Which is bigger: -2/303 or x?
-2/303
Suppose -4*f = -167 + 223. Let c(w) = 2*w + 42. Let d be c(f). Let j be (4 + -3 + (-3)/2)*d. Is j not equal to -9?
True
Suppose -2*a = -3*c + 21, -2*c + 20*a = 21*a - 21. Let d(q) = -q + 4. Let z be d(c). Is z at least as big as 53?
False
Let v be 0 - (7330/45)/(-1). Let k = -163 + v. Which is smaller: -1 or k?
-1
Suppose -878 = 4*i - 2*r, i + 459 = -i + 5*r. Let l = -218 - i. Is 86 <= l?
False
Suppose -26*j + 23*j = -3. Suppose y = -5*x - 2*y - j, -3*x - 3*y = -3. Let b be x/8 + (-3)/16*4. Which is smaller: 3/11 or b?
b
Let u = -3/11888 - -61507/8190832. Which is greater: 0 or u?
u
Let m = 7070485591/164 + -43116016. Let g = m - -3299. Does g = 0?
False
Suppose 6 = -25*l + 28*l. Suppose 9*y = -18*y + 2349. Which is greater: l or y?
y
Suppose 5*v + 4 = 2*s, -2*s = -2*v + 3*s + 11. Suppose 4*f = -0*f - d - 16, 3*f = 3*d - 12. Let j be (24/(-656))/(v/f). Are 1 and j nonequal?
True
Suppose -21*t + 19*t + 36 = 0. Let j(d) = -d**3 + 17*d**2 + 13*d + 39. Let i be j(t). Is -49 bigger than i?
True
Suppose 807989 + 514167 = 302*l. Which is greater: l or 4381?
4381
Let t = 404 + -404.049. Let c = -0.049 - t. Is c bigger than 2/147?
False
Suppose -2*m + 4*m = -d + 1277, 0 = -m - 3*d + 656. Is 637 not equal to m?
True
Let q(a) be the second derivative of -a**3/2 - 4*a**2 + 23*a. Suppose -2*z + 2*d - 2 = 4, 5*d + 12 = -4*z. Let b be q(z). Does b = 1/6?
False
Let z = 36651134/13281 - 8279/3. Which is smaller: z or 0?
0
Let u = -412 + 532. Let f be (-1)/4 + u/912. Which is bigger: 0 or f?
0
Let t = 1207 + -15439/13. Let z = t - 282/13. Is z equal to 2/3?
False
Let x(a) = -5*a + 36. Let w = -68 - -88. Let d be x(w). Is -64 at most as big as d?
True
Let c be (-5)/(-20) + ((-198)/136)/3. Let d = c + -14/85. Suppose 2*u - 2 = 2*h, 7 = -2*h + 7*h + u. Are h and d unequal?
True
Let g = -4853 - -4853. Let i = 38 - 84. Which is greater: g or i?
g
Let p = 5 - 0. Suppose 3*d - j + 34 - 155 = 0, p*d = 4*j + 204. Let u be 6/(60/(-25))*6/d. Which is smaller: u or 0?
u
Let i = -245397 + 1717446/7. Let x = -74 - -26. Is x at least i?
False
Let k(p) = p. Let y(v) = -3*v - 1. Let s(l) = -4*k(l) - y(l). Let i be s(15). Let x be ((-3)/i)/((-20)/40). Is -2/15 at least x?
True
Let h(q) = -1075*q - 155. Let c be h(-41). Let x be ((-5)/4 - -2)/(648/c). Is 51 bigger than x?
True
Let x be (-235)/13 + 2*-2 + (-1855)/(-455). Is -612/35 < x?
False
Let r = -18 + 56/3. Suppose -k + 7 - 49 = -a, 4*k + 3*a + 189 = 0. Let g = k - -45. Is r >= g?
True
Let r be 2/(-8) + 498/1928. Suppose -5*w - 645 = -595. Let p be (-30)/w - (-8)/(-4). Is p <= r?
False
Suppose 309 = -2*g - 1977. Do g and -1144 have the same value?
False
Let w = -167 - -143. Let s be (-15)/(-9) - 494/w. Which is smaller: s or 23?
s
Let p = 299 - 297.85. Let j = 0.39 - p. Is -0.1 at least as big as j?
True
Let b = 100 - 93.9. Let l = -5.8 + b. Suppose -3*t + p = -22, 4*p + 0 = -16. Which is bigger: t or l?
t
Let j(s) = 7*s**2 + 34*s - 11. Let d(q) = 6*q**2 + 35*q - 12. Let k(f) = 4*d(f) - 3*j(f). Let w be k(-13). Which is greater: -12/5 or w?
w
Let q be (-489426)/(-11170) + (-63)/(-9). Let z = 18/1117 - q. Which is smaller: z or -51?
-51
Suppose 0 = -2*x + 5*g - 11, 6 = -3*x - g - 2. Let l be (x/2)/(4/184). Is l != -70?
True
Let f = -619/27 - -15583/675. Let b = -13 - -21. Suppose 0 = 5*k - b + 3. Which is smaller: k or f?
f
Suppose -n + 4*p - 9 = 0, 14 - 110 = 4*n + 4*p. Let m be (4/n)/(36/(-42)). Let l be ((-105)/18)/(2/(-12)). Which is greater: m or l?
l
Let o be (6/(-33))/(2/(-348)). Let r = -12810/407 + o. Suppose 0 = -1070*t + 1063*t. Is r smaller than t?
False
Let j(w) = 2*w + 1. Let m be j(4). Let g = 0.23 - -18.77. Let o = 18.6 - g. Is o equal to m?
False
Let r = 6 - 7. Let h = -0.135 - -0.265. Let n = 1.87 + h. Is n != r?
True
Let z = -109 - -38. Suppose -364 = 5*h - 3*s, 72 = -2*h - 2*s - 80. Which is greater: h or z?
z
Suppose 2*q + 0*q + 64 = -2*d, 3*d = -5*q - 104. Let i be 76/8*d/21. Is -12 smaller than i?
False
Let g be (-3)/(((-14)/(-78))/(-7)). Let v be ((-3)/g)/((-7)/(105/(-8))). Let w = v + -15/26. Which is smaller: w or -1?
-1
Let g = -117 + 120. Suppose g*f = 2*l - 40, -10*l + 48 = -8*l + f. Is 21 smaller than l?
True
Suppose 58*i + 3548 = 56*i - 3*f, -4*i = -5*f + 7140. Which is greater: -1779 or i?
-1779
Suppose 5*x + 8 + 2 = 0. Let g be (-1)/(-3) + x/6. Suppose -213*q - 53*q - 2 + 2 = 0. Are q and g equal?
True
Let h = 36.2 - 36.1475. Let u = 28.0525 - h. Which is smaller: -2 or u?
-2
Let m be (2/(-3))/((-1)/3). Let n = 481 - 490. Let z be 2/(2/n - 720/(-1782)). Which is bigger: z or m?
z
Let h = 231/2 - 112. Let x = -902 + 1372. Let v = x + -470.1. Is v > h?
False
Let u = -558902 - -558830. Let f be 1 + -1 - (0 - 20). Let n be (-6)/f*5/(-6). Are n and u nonequal?
True
Let z(s) = 34*s**2 - 9*s**2 - 11 + 23*s**2 + 4*s. Let u be z(2). Which is bigger: u or 2?
u
Let c be (-4)/5*1539/12. Let t = c - -103. Which is greater: t or -0.36?
t
Let r = 16109 + -58040728/3603. Are r and 0 equal?
False
Let z(q) = -q**3 + 19*q**2 - 15*q - 62. Suppose 2*k - g - 8 = 32, 0 = 4*g + 16. Let n be z(k). Which is smaller: -10 or n?
-10
Suppose -194*l = -248*l + 2376. Let n = 6 - 13. Let u be ((n + 1)/(-2))/((-5478)