). Let z be (-4)/24*2*r. Suppose -v + 2 = -4*a - 6, -v - 4*a = -16. Which is smaller: z or v?
v
Let c = -40637/9 - -4503. Which is bigger: -13 or c?
c
Let x be -1 - 0 - (47 + -2 + 6). Do x and -51 have the same value?
False
Suppose 737 = o + 3*f, -11*f + 10*f + 5 = 0. Let v = o - 3624/5. Let i be (3/2)/(2/(-4)). Which is smaller: v or i?
i
Let j(h) = -h + 26. Let p be j(26). Let y = -5 - -2. Is p > y?
True
Let u = 2.66 + -10.69. Let j = u - -0.03. Let h = -0.1 + 0. Which is greater: j or h?
h
Let y = 46 + -227/5. Suppose -3 = -2*j - 1. Suppose 7 = 4*k - j. Is y less than or equal to k?
True
Let t = -3/314 + -388/471. Let l(r) = -r**2 + 5*r - 5. Let k be l(2). Suppose -i + k = 3. Which is bigger: t or i?
t
Suppose 4*s - 3*x - 68 = x, -10 = 5*x. Suppose 0 = -24*k + s*k + 9. Suppose 0 = 3*y - 3 - 0. Is y greater than or equal to k?
True
Let i(k) = -k**2 + 10*k + 1. Let r be i(10). Suppose 4*w - 3 - r = 0. Suppose l + w = 2*l. Which is smaller: -14 or l?
-14
Let r = -72 + 74. Let m be 1/r*-1*(-8 + 4). Which is bigger: m or 14/15?
m
Let j be -4 + (96 - (-3 - (-4 - 0))). Do j and 91 have the same value?
True
Suppose -2*a - 16 = -4*o, a = -2*o - 0*o + 16. Let u be (1 - -20)/3 - 1. Let l = u - o. Which is smaller: 1/5 or l?
l
Suppose -51*y + 30 = -49*y. Let a(d) = -d**3 + d. Let x be a(-2). Let j be y/(-54) - x/(-12). Is -1 smaller than j?
True
Suppose -6*j = -j + 10. Let p = -30 - -24. Let c = p + 8. Are c and j equal?
False
Let v = 14554541/27 + -538991. Let d = v + -66. Let s = 2 - 1. Which is greater: s or d?
s
Let z be 15 - (0 + (3 - 1)). Let t(g) = 2*g**2 - 13. Let m be t(-6). Suppose -5*i + 3*p + m = 0, 5*i + 4*p - 103 = -30. Are z and i equal?
True
Let u be ((-6)/(-21))/((-24)/84). Is -2/305 at least as big as u?
True
Let p = -374/7 - -54. Which is smaller: p or 6?
p
Let c(q) = -q**3 + 2*q**2 - 1. Let f be c(2). Let l = -187/6 - -31. Which is greater: l or f?
l
Suppose -18 = -2*c + 2*z, 3*c - 5*z - 27 = -0*z. Which is smaller: 111/14 or c?
111/14
Let x be (-309)/2 + (-50)/20 + 3. Is -154 at most as big as x?
True
Let u be (3/(-4))/(57/38). Let l = 629.958 + -630. Which is bigger: l or u?
l
Suppose 17*f - 22*f = 150. Let l be f/490 + 0/2. Is l smaller than -1?
False
Let z = -68609/7 - -9784. Which is greater: z or -17?
-17
Let g = -20/11 - -392/143. Let s be (-3)/(-6)*0/1. Which is smaller: g or s?
s
Suppose 12*j - 7*j - 45 = 0. Let k(w) = 2*w + 1. Let y be k(j). Is y > 19?
False
Let i be 28/(-21)*(-6)/(-4). Is i bigger than 239?
False
Let i be (-24)/30 - 144/(-130). Let k = -3/52 + i. Let g = -3 - 0. Is g less than or equal to k?
True
Suppose 5*s = 3*s + 6. Suppose -4*q = -v + 9, -3*v - s*q = -2*v - 30. Suppose -3*t + v + 18 = 0. Are t and 1/3 non-equal?
True
Let v be (-3005 - 1)*(-98)/(-147). Is v less than -2003?
True
Let k = -3.695 + -0.105. Let y = 3.8 + k. Is -5/11 < y?
True
Let p(r) = 2*r**3 + 10*r**2 + 2*r - 2. Let b be p(-7). Do -211 and b have the same value?
False
Let b = -0.039 - -6.039. Is 16 at least b?
True
Let y = -244 + 644. Let g be 4/y*5/(-2). Suppose 0 = 123*u - 114*u - 9. Which is bigger: u or g?
u
Let h(o) = 36*o**2 + o + 2. Let u be h(1). Suppose 3*g + y + u = 4*y, 38 = -4*g - 3*y. Which is bigger: g or -9?
-9
Let m(p) = -7*p**3 - 11*p**2 - 2*p + 6. Let c be m(-7). Let o = c + -784792/417. Are 1 and o equal?
False
Let n be (17 + (5 - 9))*(12 - 1). Which is smaller: n or 144?
n
Let t be (1635/(-25))/(6/8). Let s = t - -88. Suppose -12*d + 7*d = -5. Which is smaller: d or s?
s
Let x be ((-6)/(-5))/((-4)/20). Let y be 4/x + (-2)/6. Suppose 3 = 3*m - 2*b, 4*m + m = -4*b - 17. Is m smaller than y?
False
Let a(h) = -3*h**3 - 2*h**2 - 11*h + 7. Let r be a(5). Is r at most -1?
True
Let x = -203 - -111. Let j be 5 - 1 - (-344)/x. Which is bigger: j or -1?
j
Let k(u) be the third derivative of u**4/24 - u**3/6 + 23*u**2. Let x be k(4). Which is smaller: -3 or x?
-3
Suppose 2*z - 4*v = 7*z + 9, 0 = -3*z - 2*v - 7. Let t be z/((-10)/12) - 3. Suppose 3*o = -w + 9, -6 = -3*o - 3*w + t. Is 3 > o?
False
Suppose -6*c + 2*c = -p - 420, -3*c + 3*p + 306 = 0. Which is smaller: c or 105?
105
Let x = 86.8 - 87. Which is smaller: -102 or x?
-102
Let j = -110 + 305. Let r = j - 2921/15. Is r greater than -1?
True
Suppose 0 = -17*k + 6*k - 88. Let w = 9 + k. Which is greater: w or 5/11?
w
Let y be -4 + (1 - -19)/(-4). Let c(f) = f**2 + 10*f + 11. Let p be c(y). Suppose -n + 3 = p*n. Is n < 2/5?
False
Let w = 0.071 + -1048.071. Which is smaller: w or -0.1?
w
Let v be (-12)/(-2 - 5/2). Suppose 0 = -5*h + 5*l + 41 - 11, 3*l = 0. Let t be h/((-12)/(-3) - 2). Which is greater: v or t?
t
Let y(m) = -m**2 + 3*m + 10. Let r be y(-3). Let b be (-57 + r)*2/(-5). Let i = 22 - b. Which is smaller: -5 or i?
-5
Let d be -3 + 47*2/(-1). Let v = -138 - d. Which is smaller: v or -40?
v
Let u = 430 + -167. Let y = u + -4733/18. Is 0 >= y?
False
Let s = -1 + 0.64. Let c = s - 4.44. Let z = c - -5. Which is greater: z or 1?
1
Let u = -368 + 367. Does -2/701 = u?
False
Let j(u) = -u**3 + 9*u**2 + 10*u - 1. Let o be j(10). Let w = o - 1. Let g be (-56)/30 - w/(-15). Which is smaller: -3 or g?
-3
Suppose 0 = 5*x + 4*p - 4433, -2*p = 110*x - 115*x + 4451. Which is bigger: 888 or x?
x
Let o = -641 - -953. Is -1/3 > o?
False
Let d = -22 + 21.93. Let u = -0.03 + d. Is u greater than -0.12?
True
Let m = 501.4 + -503. Which is smaller: m or -16?
-16
Let j be (0/(10 + 1))/(-1). Which is bigger: j or 1/1225?
1/1225
Suppose 5*l + 24 + 1 = 0. Suppose 2*y + 10 = -3*j, j + 0*y = -3*y - 1. Which is smaller: l or j?
l
Let r = -20.36 + 18.36. Which is smaller: -446 or r?
-446
Let k be (34/(-6))/((-5)/15). Suppose -3*a + z = -174, 0*a + 4*a + 5*z - 213 = 0. Let v = 74 - a. Is k at least v?
True
Let i = 149/6 + -151/6. Are i and 0.066 unequal?
True
Suppose 7*z - 8*z = 3*j - 132, -5*z = 0. Let p be 187/j + (-6)/(-8). Suppose 7 + 5 = 2*g. Is g bigger than p?
True
Suppose -5*p = -4*i - 1, 3*i - 3 = -p + 1. Let a = 59101/58 + -1019. Are p and a equal?
False
Let q = 195 + -227. Is q less than or equal to -34?
False
Let v(m) = -m**2 + 9*m + 7. Let h be v(9). Let c be (h + -7)*(-2)/(-2). Let z be 2*((3 - 2) + c). Which is smaller: z or -2/5?
-2/5
Suppose -40084 = 72*h - 28*h. Which is greater: -912 or h?
h
Let q = 43 + -42.83. Let g = q - 0.07. Which is bigger: g or -0.22?
g
Let k = 3 + 2. Let o = 3 - k. Let f be (6/(-9))/(22/99). Which is smaller: f or o?
f
Let a(t) = 10*t - 235. Let q be a(23). Is 0.23 bigger than q?
True
Let k(s) = -3*s - 4. Let u be k(-3). Suppose g = 3*j + 2*j + 57, u*j = 0. Let b be (-2)/(g/12 - 3). Is b greater than or equal to -2?
True
Let j = -18 + 28. Suppose u - j = 3*u + p, -2*u + 2*p - 22 = 0. Let c be (-2)/u + (-87)/231. Which is smaller: 0 or c?
c
Let d = 2.5315 - 0.0015. Let v = d - 2.4. Let a = 0.2 - v. Does a = 2?
False
Let b = 140.86 + -142. Let x = b - -0.14. Which is smaller: 1 or x?
x
Let k = 373.128 + -344.09. Let s = k - 0.038. Let x = 0.2 - 0.2. Which is bigger: s or x?
s
Let d(h) = -h**2 - 5*h + 5. Let l be d(-6). Let i(w) = -w**2 + 4*w + 9. Let p be i(9). Let k be l - (p/3 + 2). Does k = 1?
False
Let n be (-12)/(-9)*(198/24)/(-11). Is n at least 264?
False
Let g = -1 + 4. Let b = 171 + -170. Let s = g - b. Is s <= -5?
False
Let n(j) = j**3 + 4*j**2 + 11*j + 43. Let p be n(-4). Which is greater: 2/21 or p?
2/21
Let c be (-18 - -24)*16/(-12). Is c at most -54?
False
Let v = -857 - -747. Is v not equal to -548/5?
True
Let w be 90/35*-1*84/18. Which is smaller: -7/4 or w?
w
Let y be (-33)/(-18) + (2/3)/((-8)/(-12)). Let c = 1 + 0. Which is bigger: c or y?
y
Let i = -93.807 + -0.193. Let j = -93.6 - i. Which is smaller: 0.15 or j?
0.15
Suppose -3 = -3*r - 36. Let s = r - -28. Do 17 and s have different values?
False
Let h = -0.406 + -307.594. Let f = -306 - h. Let k = 0.25 - -9.75. Which is greater: f or k?
k
Suppose 18 = b + 19. Let c = 3047/17 - 179. Is b >= c?
False
Let r = -2 + 0. Let f(a) = -7*a - 5. Let k be f(-2). Suppose 0 = -k*b + 20*b. Which is smaller: b or r?
r
Let o = 7 + -2. Let u be o*2*(-4)/(-20). Let l = 65 + -326/5. Is u < l?
False
Let f(c) = 3*c - 11. Let h be f(5). Let n be 5/(-20) + 17/h. Suppose -4*k + 40 = 5*g, -5*k - n*g + 20 = -3*k. Which is smaller: k or 9?
9
Let y = 9123578/7 + -1300991. Let i = y - 2391. Is -13 >= i?
True