Suppose -4*j + o = -0 - 7, 0 = 3*j - 4*o - 2. Suppose 23 = -j*r - 1. Which is greater: r or -13?
r
Let m = -5584.7 - -5586. Is -5 at most as big as m?
True
Let f = 8 + -33. Let h = 24.9 + f. Let d = -2.8 + 2. Is h greater than d?
True
Let q = -9.9 + 10.07. Let v = -1.17 + q. Do 0 and v have different values?
True
Let u = -22.096 - -22.006. Is u > 5?
False
Let b = 1034 - 1014. Let o be (-819)/84*16/b. Suppose -12 = l - k, 3*l - 2*k = -5 - 27. Are o and l nonequal?
True
Let s be (84/16)/(6/4640). Does s = 4060?
True
Let x be 3/6 + (-55)/122. Suppose -653 = 7*z + 201. Let v = z - -121. Is x bigger than v?
True
Let c be -8 + (1554/27)/7 - 668/6. Which is bigger: c or -112?
c
Let q be (-1 + -13)/(-2) + 91568/(-13104). Is q > -1?
True
Suppose -t = -4*b + 8*b - 5, 5*t = b + 25. Suppose 7*l + 2 + t = 0. Let d be ((-2394)/2370 - l)/(4/(-10)). Which is greater: 1 or d?
1
Let u be (21/4*-1)/(27/(-72)). Suppose n + 1 = o, -2 = n + 2*o + u. Let w(y) = -y**2 - 7*y + 5. Let i be w(n). Which is bigger: 13 or i?
13
Let f = -1.45 + 15.45. Let s = -28.95 - 1.05. Which is greater: f or s?
f
Let c(t) = -301*t - 1493. Let r be c(-5). Which is bigger: -46/5 or r?
r
Let i be (-35697)/(-1971) - ((-2)/(-18) - 0). Which is bigger: 13 or i?
i
Suppose 4*z + 21 = 5*z + 2*n, 23 = 3*z - 2*n. Let w be 4*(-3 - (-30)/12). Let v be 1 - w - (20 - z). Which is greater: 2/7 or v?
2/7
Suppose -f - 3 = -1. Let j be 2*(f - (-4)/8). Suppose -10*z - 34 = -24. Is j at least as big as z?
False
Suppose -8*t - 2*h = -6*t - 3332, 2*t = h + 3317. Is t < 1661?
False
Let i be 2/((-5771)/2958 + 6/3). Let q = 32 + 8. Is i at least as big as q?
True
Let s be (238/(-1428))/(2 - (-241)/(-116)). Which is bigger: s or -2?
s
Let t be (560/50)/2*((-9)/(-2) - 2). Let w be (40/(-6))/(2/(-6)). Let i be 49/(-21)*w/t. Is i equal to -2?
False
Let m be (-125)/(-100)*(1 - -3) - 122. Let v = m + 60. Do -170/3 and v have different values?
True
Suppose 8*j + 16 = 5*a + 5*j, -13*j = 4*a + 95. Let g = 184229/71 - 2595. Which is bigger: a or g?
g
Let r be (-4)/(-10)*10/8. Let o be (-1047)/(-1745)*((-10)/(-15))/(-2 - -5). Is o at most r?
True
Suppose 3*r = 2*c + 61, 4*r - c - 73 = -0*r. Let s(a) = -26*a - 31. Let k be s(r). Which is greater: k or -474?
k
Let g(c) = -3*c**2 - 11*c + 14. Let l be g(-5). Let a(d) = -d**3 - 4*d**2 + 12*d + 15. Let x be a(l). Is x at most as big as 41/3?
False
Let p = -1653 + 1652.973. Is p less than -0.05?
False
Let p be (-2)/(596/300 + 1 - 3). Let s = -107 + p. Is s > 0.3?
True
Let k = 3394 + -2957. Is k at least as big as 436?
True
Let z = 4816 - 5368. Do z and -548 have different values?
True
Suppose -44*a - 33*a + 38*a = -550212. Is 14107 less than a?
True
Let t = -10270 + 9783. Which is smaller: 2 or t?
t
Let h(b) = 2*b**3 - 18*b**2 + 8*b - 74. Let n be h(9). Let f = 365 + -2559/7. Which is greater: f or n?
f
Let t be (-2)/(4 + (-57)/15). Let r be 1/(-5)*t + -1. Is 1/229 greater than r?
False
Let h(c) = c**3 - 6*c**2 + 9. Let n be h(7). Suppose -20*r + 2294 = 17*r. Which is greater: n or r?
r
Let o = 156.4 + -240.5. Let c = -84 - o. Is c < 38/5?
True
Let c = -152 + 363. Suppose 0 = 11*q - c + 1223. Which is greater: q or -93?
q
Let o be (-14 - (-14 + 7)) + -1 + 9. Is o equal to -4/1905?
False
Suppose -23*m - 29576 = -7988 + 7323. Is m >= -5029/4?
True
Let z = 0.34 - 0.12. Let q = z - 0.39. Let k = 0.126 + q. Is -0.1 != k?
True
Let i(o) = 13*o**2 + 18*o - 119. Let b be i(-15). Are b and 2535 nonequal?
True
Let o = -134 + 142. Let t(j) = 14 + 3*j + 2*j - 6*j. Let v be t(o). Which is bigger: v or 7?
7
Let q be -2*((-9)/(-2) + -2). Let h be (8/(-32))/(27/384). Is q equal to h?
False
Let s(j) = j**2 - 14*j - 15. Let h(v) = -v. Let r(t) = -2*h(t) - s(t). Let k be r(13). Suppose c + 0*c = 5*n + k, 144 = 4*c + 4*n. Is 2/5 at most c?
True
Let y = 0.033 - 0.0001. Let j = y + -0.1329. Are -3.6 and j non-equal?
True
Let m = 2.005 + -1.68. Is m at most as big as 2/11?
False
Let v = -283490 + 1676219/6. Let l = v + 4110. Is l < -9?
True
Let a be (-177)/59 - ((-13)/26 + (-170)/4). Are 1458/37 and a equal?
False
Suppose -4*v + 61 = 2*n - 3*n, -81 = -4*v + 5*n. Suppose 76 = -31*c + v. Which is bigger: c or 5?
5
Let u be (-96)/(-16) - (-1)/((-5)/31). Which is smaller: 55 or u?
u
Let j be -95*((-12)/15 + 2*-2). Suppose -5*y = -231 + j. Which is smaller: y or -44?
y
Let f = -0.5 - 0.5. Let q = -21.55 + 24. Let v = -5.05 - q. Is v > f?
False
Let u be 3700/11544 + 0 + 1 + (-7)/6. Which is bigger: u or 0.467?
0.467
Let r(g) = 7*g - 223 + 229 + 13*g + g**2. Let l be r(-24). Let j = -108 + l. Is j bigger than -3?
False
Suppose -7*f = 3*w - 8*f - 323, -5*w + 535 = -f. Suppose -80 = -w*o + 146*o. Let j be 2/4 - (-18)/(-10). Which is smaller: o or j?
o
Suppose 0 = -15*h - 1647 - 603. Let a be -1 + (-1 - h) - (-9 + 8). Is a < 148?
False
Suppose 2723 = -2*n - 3*h + 585, n + 1054 = -4*h. Which is greater: n or 7?
7
Let u = 0.0783 + 16.7917. Let j = u - -0.13. Which is bigger: j or -1/2?
j
Let f = 525 - 530. Let d(p) = p**3 + 2*p**2 + 24*p - 12. Let b be d(f). Is -206 smaller than b?
False
Let z = 217 - 321. Let q = -111 - z. Which is smaller: q or -4?
q
Suppose 5*b - 2*r = r + 821, -4*b + 2*r = -656. Suppose 7*v = b - 163. Which is greater: 1/552 or v?
1/552
Suppose 0 = -c + t + 3*t + 4, 2*t = -3*c + 12. Let v be 21/(-6)*42/(-98)*2. Suppose v*a = 2*g - 2, c = -3*a + 6*a + 4*g. Which is greater: -7/6 or a?
a
Let p be (-10 - -7)/(-3) - 2. Which is greater: p or 3/1106?
3/1106
Let b be (21/(-9))/((-2)/(-6)). Let n = 6 + b. Let k be 10/(-20) + (-91)/(-350). Which is bigger: n or k?
k
Suppose 143 = -37*h - 412. Which is greater: h or -1/48?
-1/48
Let d(q) = 79*q + 2607. Let m be d(-33). Is -14/339 at most as big as m?
True
Let h = -4571/5 + 914. Let c(t) be the second derivative of t**3/3 - 9*t**2/2 - 7*t. Let m be c(5). Is m at most as big as h?
False
Let v = 91 - 559. Let a = v + 620. Which is smaller: a or 2/5?
2/5
Let u be 202/(-32) - (26 + -33). Is u not equal to 0?
True
Let k = -10721 + 10722. Which is smaller: 14.91 or k?
k
Suppose 17*r + 2 - 10 = 9. Are r and 955/3 equal?
False
Let t be (-26 + 94)*(-13)/(-2). Which is smaller: 2206/5 or t?
2206/5
Suppose -3*k + 3*m - 14 = -2*k, -2*k - 3 = -m. Suppose -3*u = -3*i - 114, 4*i - 9*i - 2*u = 197. Let b be 1 + 162/i + 3. Is k > b?
True
Let t be (0 + 2)*346/(35 + -36). Are 1/3 and t nonequal?
True
Let r(t) = -8*t**3 - 61*t**2 - 11*t + 15. Let i be r(-10). Is 2024 at least i?
False
Suppose 0*a + 4*a = 4. Let r(u) = 5*u**3 + 3*u**2 - 4*u + 2. Let f be r(a). Suppose -6 - f = -6*m. Is 22/7 >= m?
True
Suppose 1400 = 4*f + 2*h, 1041 = 12*f - 9*f + 3*h. Is f at least as big as 354?
False
Suppose 138 = -5*l - 207. Let s = -1.183 + 0.183. Which is smaller: l or s?
l
Let j(c) = -2*c - 19. Let r be j(-17). Suppose a - 4*d - r = 0, 19 = 5*a - d + 1. Suppose 3*s + 25 = -s - a*l, 2*l + 14 = -2*s. Which is bigger: s or -1?
-1
Let b = 589/46 + -58755/874. Which is greater: -55 or b?
b
Let f = -8.005 - -0.005. Let i = -8.4 - f. Suppose -10*h = -4*h + 12. Which is greater: i or h?
i
Let z be (-6)/10 - (-33)/55. Suppose 16*l + 1121 = 12*l + 3*r, -l - 4*r - 304 = z. Which is greater: l or -286?
l
Let t = -2597 - -2544. Which is bigger: t or -48?
-48
Let o be 12/(-30) + (-2)/(-5). Let m = o - 2. Let g be 175/15 - (-40)/(-24). Is g less than m?
False
Let a be (4 - 6) + -1 + 3. Let z be ((-36)/1)/(a - -1). Let m = z + 34. Is -1 at most m?
False
Let w = 9176.17 - 9174. Which is bigger: w or -10/9?
w
Suppose -32 = -8*g + 6*g. Suppose 3*o - 2*f = 3*f + 12, 4*o - g = -2*f. Suppose 4*u + 13 - 5 = -o*p, -4*p = 2*u. Is u less than or equal to -13/5?
True
Let p be 396/(-891) - (-9062)/18. Which is bigger: p or 502?
p
Suppose s = -2*t + 43, -8*s + 4*s + 2*t + 212 = 0. Suppose 45 = -2*o + 47. Suppose 35 = 5*k + 4*u - s, -u = o. Which is bigger: k or 55/3?
55/3
Let b = -76448 + 76448.1. Let r = 343 + -26409/77. Is b less than or equal to r?
False
Suppose 0 = -2*a - 3*a. Let g(l) = 8*l - 19. Let y be g(3). Suppose -3 = 3*s, -y*s - 8 = b - 3*s. Is b not equal to a?
True
Suppose 7*m - 11*m + h + 10 = 0, 5*h - 19 = -3*m. Suppose 9 = 3*y - 3*d, -d = 3*y - 6*y + m. Is y != -1?
True
Let b(u) = -5*u + 194. Let a be b(40). Let c be 6/(-6) + -10 - a. Which is greater: -4 or c?
-4
Let h = 3220 - 8283. Which