-83. Is i smaller than 0?
True
Suppose -14*g + 200*g = 687787 - 7216759. Which is greater: -35103 or g?
g
Let y = -513 + 519. Let z be (y/(-4) - -1)*(-76608)/(-1140). Which is bigger: -33 or z?
-33
Let u = 875925626/11993 + -5112999/67. Let q = 3277 + u. Are q and 1 non-equal?
True
Let j(x) = 3*x - 2. Let u be j(0). Let l be (u*38)/((-4)/8). Let h be -2 - ((-2)/(-10) + l/(-80)). Is 1 equal to h?
False
Suppose -5*b + 5*q - 52 = -162, -4*q = -5*b + 115. Suppose 0 = 5*i + 3*z - 145 + 27, 4*i = 2*z + 112. Which is smaller: i or b?
i
Let k be 6/4 + (-28612)/184. Which is bigger: k or -772/5?
k
Suppose -2*h + 3 = u + 24, -2*u - 46 = 2*h. Let w(r) = 3*r**2 + 6*r. Let l be w(-4). Suppose -3*f = -4*f - l. Is u equal to f?
False
Let q = 31.3 - 249.3. Let h = 218 + q. Suppose 3*u - 4*u - 5*o = 21, u = -2*o - 24. Which is smaller: h or u?
u
Suppose 5*b - 2*h - 63 = -0*b, 0 = h - 1. Suppose 5*y + 8 = -7, a - 4*y = b. Do 1/45 and a have the same value?
False
Suppose 0 = -v + 5 - 2. Suppose -v*b = 965 + 9034. Let p = b + 16609/5. Is -11 > p?
True
Let g = -496 - -493. Let x = 0.07 + 0. Which is bigger: g or x?
x
Let u(p) = 3*p**2 - p - 3. Let s be u(2). Suppose -s*q + q + 120 = 0. Let z be (-2)/5 - (-1)/q*383. Which is smaller: 18 or z?
18
Let q = -544 + 542. Let i(d) = -4*d + 6 + 27 - 16. Let o be i(5). Which is greater: q or o?
q
Let h = -70448/47 + 1499. Let l = 17902/35 - 9270419/18095. Let d = l + h. Is d greater than 1/2?
False
Let j(r) = r**2 - 13*r + 14. Let l be j(12). Suppose -2*q + 66 = 2*d + l*d, 56 = 4*d + 4*q. Let m(y) = -2*y + 41. Let h be m(d). Which is bigger: h or 12?
12
Let z = 5.94 + -6. Let p = 666 + 145. Let o = p - 816. Which is smaller: z or o?
o
Let z = -478 - -275. Is z at most -200?
True
Let n = -1 - -6. Let z be 516/273*7/(-138). Let h = 4/69 - z. Are h and n non-equal?
True
Let t(p) = -16*p**2 + 4*p - 3. Let f be t(2). Let a be -63 - ((-6 - -2) + 2*4/(-8)). Is f smaller than a?
True
Suppose 0 = 22*b - 12*b + 710. Is b bigger than -71?
False
Let v(n) = 47*n - 36*n**2 + 20*n + 79*n**3 - 78*n**3 + 49. Let x be v(34). Is x smaller than 17?
True
Let h = -892739/6438 + 1/2146. Which is smaller: h or -139?
-139
Suppose 4*a - 1420 = -5*i + 29680, i + 4*a = 6220. Let d = i + -24685/4. Is d bigger than 49?
False
Let q = 15471 + -21925. Which is smaller: q or -6453?
q
Let h = -19702 + 18573. Is h smaller than -1125?
True
Let b be ((-10)/(-150455)*3/6)/(3/6). Which is smaller: -1 or b?
-1
Suppose -5*x = 10, -s + x + 72 = -0*x. Let v be ((-54)/(-21))/((-15)/s). Let t = 1 - v. Which is greater: t or 1?
t
Let u = 44.16 + -45. Let p = u - -50.84. Let n = 48 - p. Which is smaller: n or -1/3?
n
Let v = -16708 - -16278. Which is smaller: v or -432?
-432
Let z = -0.101 + -87.899. Let g = z + 85. Is 5/4 != g?
True
Let u = -49/33 + 5/3. Let c = 154/369 + 491/1476. Which is greater: c or u?
c
Let d = 238 + -193. Let l = -40 + d. Which is smaller: -0.1 or l?
-0.1
Suppose 0*j - 13 = -5*m + 2*j, -3*j - 12 = 0. Let v be -3*(-30)/(-4)*(1 + m). Let l be (-10 - -9)*v/(-3). Which is smaller: l or -12?
l
Suppose -m + 4 - 5 = 0. Let v be ((-22)/4884)/(m*2/(-8)). Let s = 115/222 + v. Which is greater: s or 4?
4
Let t(i) be the first derivative of i**3/3 - 7*i**2 + 58*i + 103. Let u be t(7). Let d be (12/8)/((-9)/(-84)). Which is smaller: d or u?
u
Let t be (-5)/(2*2/(-4)). Let k be (-1661)/7 - (120/(-84))/t. Is k greater than -237?
False
Suppose 0 = 48*w - 276 + 3348. Let v = w + 301. Which is smaller: 238 or v?
v
Let o be (1/(-3))/(23/3). Let z = 299 + -321. Let c be (-1 - 40/z) + 14/77. Is c smaller than o?
False
Let o be (24/16)/(348/16) - (-189)/203. Is 20/439 < o?
True
Let a be (-29057)/(-5390) + (-18)/8*2. Which is bigger: 0 or a?
a
Let v = -5157939/11 + 468573. Does v = -330?
False
Let n be (-32300018)/7154 - (-4)/(-98). Is n greater than -4516?
True
Let u(a) = -2*a - 2. Suppose 6*f - 18 = 12. Suppose 4*l - f*o - 10 = 2*l, 2*l - 2 = o. Let n be u(l). Which is smaller: n or -13/5?
-13/5
Let z = 231 + -235. Let s be (z/6)/(2*20/90). Are s and -3 nonequal?
True
Let d(r) = -r - 19. Let w be d(-21). Suppose -w*u = 2*c + u - 15, 20 = 2*c + 2*u. Suppose -4*p - c = -3*s, 0 = -2*p - 0*p - 5*s - 27. Is p at most -2?
True
Let q be (-101)/(-11) + 2/(-11). Suppose 4*k = q*k + 35. Let h be (-2)/8*-4 + (-2)/1. Which is smaller: k or h?
k
Let r = 278911/665 + -2097/5. Let y = 2 + -2. Suppose y = 2*x + 3*x. Is r at most x?
False
Suppose -4*u + 12*j - 403 = u, 0 = -3*u + j - 186. Let c = 45 + -101. Which is smaller: c or u?
u
Suppose -150*q - 311 = -120*q - 131. Which is greater: -96/17 or q?
-96/17
Let m = 31.4739 - 74.7177. Let g = m + -0.0562. Let r = 5.3 + g. Which is greater: r or -2?
-2
Let h be 14/21*(-45)/(-6)*7. Suppose 5*k = -2*d + h, 0 = -3*d + 5*d - 10. Are k and 6 non-equal?
True
Let n = 195 + -564. Let q = -368.9 - n. Let h = -23 - -14. Are h and q nonequal?
True
Let y = -249 + 503. Let h = y + -254.11. Which is greater: h or 1/3?
1/3
Let k = -0.0793 + 0.0853. Let o = k - -0.073. Are o and -0.3 nonequal?
True
Let p = -1 - -0.9. Suppose -7*o + 491 = 1184. Let i = o + 145. Which is smaller: i or p?
p
Let b be 5*3*((-4756)/145 + 33). Which is smaller: b or 19/8?
19/8
Suppose -28 - 11 = -13*p. Suppose 4*l = -q + 5, l - p*q + 15 = 3*l. Which is bigger: 4/105 or l?
4/105
Let s = 31.2 - 31.6. Let x = s - 1. Do x and -2 have the same value?
False
Let p be 12/(-21) - (-540)/(-35). Let m be (-474)/42 - p/56. Do m and -9 have different values?
True
Let s = 3097.1 - 3097. Is -13.61 at most as big as s?
True
Suppose 0 = -19*v + 14*v. Suppose -21 = -r + 4*t, 0 = t - v - 1. Which is smaller: 128/5 or r?
r
Let t = -468 + 474. Let l be (-4)/14 - 2944/(-504). Is l < t?
True
Let x(a) = 131*a + 6899. Let m be x(-52). Is m less than 50?
False
Let o = -4843/198 + 266/11. Is 1 at least as big as o?
True
Let f = 2089753055/1001451 - -982/30347. Let b(c) = 44*c**2 + 9*c - 6. Let i be b(-7). Let o = f - i. Which is bigger: 0 or o?
0
Let o(h) = 2*h - 9. Let w(f) = 8. Let s(n) = -4*o(n) - 6*w(n). Let y be s(-2). Suppose 5*v + 5*u = -0*v - 10, y*v = 2*u - 38. Which is smaller: -5 or v?
v
Suppose -3*p + 10 + 1 = 5*s, 0 = -3*s + 3*p + 21. Let m = 156 - 158. Let h be (-33)/(-10) + m + (-30)/(-12). Is s bigger than h?
True
Suppose -j + 12 = 5*g, 4*g + 5 - 9 = 2*j. Let m(n) = -8*n + n**g - 16*n + 1 - 4*n + 20*n. Let c be m(10). Is 21 at least as big as c?
True
Let t = 920659/6 + -153443. Let b be 22/(-24) - (-3)/12. Are b and t equal?
False
Let s = -25.8574 + -0.4126. Let y = 26 + s. Is 1/4 < y?
False
Suppose -26 = 5*r - 5*c - 1, -3*c = -r - 15. Suppose r = -3*z - 2*z. Suppose -3*l - 13 - 82 = -2*f, -2*l + 5*f - 56 = z. Which is smaller: -32 or l?
l
Let v(m) = 2*m - 4. Let j be v(4). Suppose 0 = -37*i - 141 - 44. Let z be 1/(j + i)*-3. Do z and 5/2 have the same value?
False
Let u = 7738 + -8732. Are u and -994 nonequal?
False
Let y = 0.6839 + -2.3639. Let h = 21.32 + -22. Let o = h - y. Does -17/2 = o?
False
Let f = 9225 + -21116029/2289. Which is bigger: 1 or f?
1
Let r(z) = 279*z - 236. Let n be r(1). Is n > 43?
False
Let a be 2658/513*-1 + 3. Let g = -33/19 - a. Which is smaller: 0.2 or g?
0.2
Let p = -260.08 + 41.08. Is p != -0.03?
True
Let b = -39 - -90. Let w = 191356/5 - 38220. Is w equal to b?
False
Let s(o) = o**2 - o - 2. Let u be s(3). Suppose 3*b - u*b = 1. Let d be (1 - 26) + (1 - b). Which is smaller: -21 or d?
d
Suppose 33 = -5*f + 4*b, 9*f - 5*b = 4*f - 30. Let z be ((-6)/f)/2*-39. Suppose -4*v = 12, -22 = 2*d + 2*v + 6. Which is smaller: z or d?
z
Suppose 0 = -874*g + 869*g + 4200. Suppose 3*t - g = -4*t. Is 122 at most t?
False
Let g be (-115520)/(63 - 31)*(-22)/5. Which is bigger: 15885 or g?
15885
Let p = 101 - 97. Let n be 93 - (5 - (1 + p)). Is 92 less than or equal to n?
True
Let r = -15.4 - -15.4756. Let d = -71.8756 + r. Let f = d - -72. Is 5/9 not equal to f?
True
Suppose -2*r + 5*b - 8 = 8, -4*r = -b + 32. Let a(q) = -21*q - 160. Let w be a(r). Is w equal to 9?
False
Let m = -265 + 8743/33. Suppose -16*c + 5 = -11*c. Which is smaller: c or m?
m
Suppose 3*p - 26*p - 57*p = 80. Which is smaller: p or -97/77?
-97/77
Suppose -44*f = -39*f - 165. Let x be ((-17)/3)/((-11)/f). Suppose -x - 4 = -u + 3*g, -4*u + g + 29 = 0. Which is smaller: 11 or u?
u
Let z be 7 + 0 - 