
Let c be 607 + (7 - 13 - 1). Which is smaller: 601 or c?
c
Let o(u) = 9*u + 19. Let z be o(-8). Let i(x) = -x**3 - 7*x**2 + 7*x - 4. Let l be i(-7). Do l and z have the same value?
True
Let r = 73/153 - 37/34. Which is greater: -2 or r?
r
Suppose -q + 3 = u, 0*q + 3*q = -5*u + 25. Let t(w) = -w**3 + 9*w**2 - 9*w + 9. Let b be t(u). Suppose g - 16 - b = 0. Is g bigger than 17?
False
Let x(m) = -2*m + 8. Let v be x(0). Let l(n) = -4*n**2 + 0*n - 7*n + 5*n**2. Let g be l(8). Do v and g have the same value?
True
Let a = 9 - 48. Let q be -2 + 3 - 846/21. Let p = q - a. Which is greater: p or -6?
p
Let b(g) = 2*g - 18. Let j be b(11). Suppose -d - 2*d + 6 = u, -j*u = -12. Which is smaller: d or 3/2?
d
Let c = 2/397 + 393/794. Let t = 2.811 - 2.8. Do c and t have the same value?
False
Let m = -30.058 + 0.058. Let l = m - -30.1. Which is greater: -35 or l?
l
Suppose -4*j - 12 = -b - j, 2*b - 3*j = 9. Suppose 0 = 3*s + 2*l - 5 + 24, 5*l = -3*s - 34. Is s at least b?
True
Let t be 3 - (-4)/(60/(-363)). Let y = 661/30 + t. Which is bigger: 3 or y?
3
Let o = 76 + -47. Let u = -29 + o. Is u greater than or equal to -1/88?
True
Let x = 212 - 137. Let s = x - 75.2. Which is smaller: s or 2/79?
s
Suppose 4*l - 4*a + 28 = 0, -2*l + l - 3*a - 27 = 0. Let i be (l/(-15))/((-10)/75). Which is greater: -7 or i?
i
Let g(q) = q**3 + 7*q**2 + 4*q + 2. Let f be g(-6). Suppose 0 = -10*j - 26 - f. Is 1 greater than or equal to j?
True
Let n be -1 + -114 + (-7 - 1). Which is smaller: n or -124?
-124
Let y be (-2 - 2)/2 + 24. Let r be 36/(-9)*y/8. Which is smaller: r or -13?
-13
Let k(c) = 17*c - 270. Let q be k(-13). Which is bigger: q or -492?
q
Let w(i) = -i**2 + 4*i - 1. Let n be w(4). Let x be (n - 10/(-15))/(1 - 0). Which is smaller: x or 2?
x
Suppose z - 7*r - 17 = 0, 2*z + 2*z - r - 14 = 0. Which is bigger: 46/15 or z?
46/15
Let g = -353 + 347. Which is greater: g or -2?
-2
Let q = -4 - -3.8. Suppose -5*h + 40 = -2*z, -2*h - 22 = z - 5*h. Which is smaller: q or z?
z
Let p(n) = -n**3 + 4*n**2 + 6*n - 5. Let d be p(5). Let y = -0.98 - -2.11. Let h = y + -0.13. Which is greater: h or d?
h
Let c be ((-8)/16)/((-2)/(-140)). Let z be (12/(-45))/((-14)/c). Let u be 0/(-2) - 2 - -9. Which is bigger: z or u?
u
Let m = -15 - -26. Let f = -11172.1 - -11172. Which is smaller: m or f?
f
Let k be -4*(4 - 3) + (0 - -9). Suppose -7*g + 72 = k*g. Which is smaller: g or 5?
5
Let o be (0 - -16)/2 - 2. Suppose 0*q + 6*q = -o. Is q smaller than 2/19?
True
Let q(l) = 15*l - 2. Suppose i = -4*i - x, -14 = 4*i - 2*x. Let u be q(i). Let k be -8*(-2 + 8/2). Is k smaller than u?
False
Let z be ((-54)/(-656)*-2)/(39/(-26)). Is z smaller than -1?
False
Suppose l - 3*u = -7*u + 35, 0 = -2*l + 3*u + 81. Suppose -25 = l*y - 34*y. Is -7 > y?
False
Let q be (-29)/(-27) + 1 + -2. Let i(r) = r**2 + 19*r + 17. Suppose -33*a - 18 = -32*a. Let m be i(a). Which is bigger: m or q?
q
Let d = 123/46 - 1/138. Suppose -s - 4 = -7. Suppose -2*f + 4 - 1 = -s*r, 5*r = -5*f + 20. Are d and f non-equal?
True
Suppose -3*n - 7*r + 2*r = -74, -5*n + r = -114. Suppose 13 + n = -3*f. Let a = 13 + f. Is -1/45 <= a?
True
Let b(q) = 15*q + 105. Let y be b(-7). Is -3 at least y?
False
Suppose -2 + 17 = 5*z. Let q be 2/(-4) - 8/((-64)/36). Suppose -61 = q*u - k, -7*u - 48 = -4*u - z*k. Does -14 = u?
False
Let m = -9507/7 + 1361. Let a = -94/77 + m. Does 1 = a?
False
Let i = 539 + -530. Which is smaller: i or 87/11?
87/11
Suppose -i = 3*u - 2*i + 3, -3*i = 3*u - 9. Which is smaller: u or -1/13?
-1/13
Let n be 0 - (11 + (-2)/1). Let p = 293 - 299. Is n greater than p?
False
Suppose 2*i - 11*i = -27. Suppose 3 = -j - i*q, j - 4*q + q = 9. Let o = 0.2 + -0.3. Which is greater: o or j?
j
Let f = 0.5293 - -3.7677. Let a = f - -0.003. Let b = 1.3 - a. Is -1 less than b?
False
Let s = -0.65 - -0.75. Let o = 0.33 - 0.03. Let y = o - s. Which is smaller: y or 4?
y
Let g = 183 - 4206/23. Let t(z) = z**2 - 38*z + 298. Let j be t(27). Which is smaller: j or g?
g
Let z = 59 - 111/2. Let f be (18/(-24)*10)/(-3)*(-16)/(-10). Which is greater: z or f?
f
Let u = -681 + 683. Is -5.8 greater than u?
False
Let z(l) = l**3 + 2*l**2 + 3*l + 2. Let o be z(-2). Let g(u) = -u - 5. Let w be g(o). Let y = -34/15 + 8/5. Is y > w?
True
Let h(w) = w**2 + 7*w - 1. Let v = -1 - -4. Suppose -3*m + 23 = -5*m - v*n, 3*m + 15 = 2*n. Let p be h(m). Which is smaller: -2/7 or p?
p
Let p be (108/(-5))/(-10 - (-103)/10). Which is smaller: p or -212/3?
p
Let l = -48 - 25. Is l > -77?
True
Suppose 6*o = 366 + 498. Is o greater than or equal to 143?
True
Suppose 143 = -4*q + k, -13*q + 18*q - 4*k + 165 = 0. Which is smaller: -26 or q?
q
Let g = 719 - 601. Is g smaller than -2?
False
Let a be -2*1*(-3)/6. Let h = 36/7 - 73/14. Which is smaller: a or h?
h
Suppose 5*c - 1117 - 733 = 2*t, 5*c = -2*t - 1870. Which is bigger: -931 or t?
t
Let l be (2/(-4))/((-2)/4). Let g be 0/(1 + l + -3). Suppose 0 = -4*i + y - 2, g = i + 4*y - 8. Is -1/15 > i?
False
Let k = 2057/52 + -498/13. Is 2 bigger than k?
True
Let k(h) = -h**3 + 3*h**2 - 2*h - 4. Let n be k(3). Let r(b) = 2*b + 28. Let j be r(-13). Let g(c) = -c**2 - 3*c + 1. Let y be g(j). Which is smaller: y or n?
n
Suppose 10*p + 348 = 39*p. Which is greater: p or 77/6?
77/6
Let h be 16/7 + 10/(-35). Let r = h + 4. Suppose r*b - 2*b - 46 = -5*w, -4*b = -w + 14. Which is smaller: w or 9?
9
Let b be (-12)/(-18) - (-48)/9. Let q be (4/b + (-132)/9)/(-2). Which is bigger: 31/4 or q?
31/4
Suppose 2*b + 3*k = -4, -2*b - 1 = b + 2*k. Let s be 1 - (-8 + 2 + -1). Suppose 5*i - l - 1 = b, 2*i + 4*l + s = 0. Which is bigger: i or 1/17?
1/17
Let l be (-2)/(-1) - (0 + 130/62). Let r = 37/62 + l. Which is smaller: r or 2?
r
Suppose 83 + 637 = 18*t. Which is smaller: t or 32?
32
Let s = -2.0098 - 0.0002. Let m = s - -0.01. Let r be 10/(-55) - (0 - 8/(-77)). Which is greater: r or m?
r
Let p = -32584/3 + 10996. Is p > 134?
True
Let w = -4.13 + 0.13. Let r = w + 10. Let b = 4 - r. Are b and 3 equal?
False
Let i be ((-646)/95)/(2 - 24/10). Suppose -2*m + 4*q = 16, -4*m = -q + 50 + i. Are -56/3 and m equal?
False
Let o(q) = -q - 1. Let a(x) = -4*x - 8. Let t(c) = -a(c) + 2*o(c). Let b be t(-6). Which is greater: b or -3?
-3
Let w be (20/25)/((-3)/(-30)). Let x = 4 - w. Suppose -l - 3*p = 4, 0 = p - 6*p - 5. Which is smaller: x or l?
x
Let b = 0.07 - 43.07. Let y = b + 41. Let c be (-1 - (-3)/5) + 0. Which is bigger: y or c?
c
Let j(z) = z - 5. Let w be j(6). Let y be 47/(-15) - 14/(-105). Let c be (4/6)/((-2)/y). Are c and w unequal?
False
Let k(r) = -2*r - 8. Let x be k(5). Let b = x + 14. Which is smaller: b or -24/5?
-24/5
Suppose -5*n = -4 - 1. Let w be 0/(6/(0 + -3)). Which is greater: n or w?
n
Let r = 1184 - 1183.5. Which is smaller: r or 0.09?
0.09
Suppose 0 = -f + 6 - 1. Suppose 49*j - 54 + 5 = 0. Is f >= j?
True
Let x(q) = -q**3 - 3*q**2 + q - 2. Let f be x(-4). Suppose 0 = -7*b + 6*b. Suppose 2*d = -b*d. Do f and d have different values?
True
Let s = 9 - -26. Suppose -11*v + 5 - 5 = 0. Is v greater than s?
False
Suppose 95*r + 9792 = 112*r. Which is smaller: 578 or r?
r
Let k be 4/18*507/(-52). Is k >= -1?
False
Suppose -2*d = -5*v + 48, -3*v + 21 = -4*d - 5. Suppose 6*z = v*z + 68. Are z and -17 unequal?
False
Let b be (-130)/6 + 1/3. Let j be -190*(-85)/780 + 2/12. Let l = b + j. Which is bigger: -2/7 or l?
-2/7
Suppose 0 = -2*f - 2*l + 54, -l - 4*l = -2*f + 26. Which is greater: f or 27?
27
Let i = -448 + 4946/11. Which is greater: i or -3/4?
i
Let o = -544.85 + 484. Let s = -0.15 + o. Which is bigger: -1 or s?
-1
Let u = -4.215 - -3.515. Let f = -11 + 10.3. Is f at most as big as u?
True
Let r = 66 - 73. Let t(q) = -q**2 - 7*q - 1. Let d be t(r). Let m(p) = -p**2 - 8*p - 8. Let n be m(-7). Is n at most as big as d?
True
Suppose -3*c - 43 = 4*o, 0*c = -2*c - o - 32. Suppose -30 - 78 = 6*j. Which is greater: j or c?
c
Let l be (1*54/21)/(-2). Let r(p) = p + 3. Let v be r(-4). Are l and v equal?
False
Let o be 40/15*2862/24. Is o less than 318?
False
Suppose -198*r = -181*r + 204. Let n = 0.2 + -0.1. Which is smaller: r or n?
r
Let l be (-12)/24*109/52 + 1. Let s = -1/312 + l. Does s = -1?
False
Let w = -42148/23 + 1833. Is w equal to 0?
False
Let i = -4/344383 + -91260799/59922642. Let v = -2/87 - i. Suppose -4 + 2 = -x. Which 