2 - 4*r - 1. Let q be a(-4). Let m be 6/q + (-2)/(-11). Let h = -31/12 + 5/4. Which is smaller: h or m?
h
Let u = 7 + -4. Let q be (9/u + 0)*-2. Let z(v) = v - 8. Let b be z(2). Is b < q?
False
Suppose -4*z = 0, 4*h = -0*h + 2*z - 4. Let w be (-1 + 0)/(5/h). Suppose 5 = -3*f + x, 15 = -13*f + 10*f + 3*x. Which is smaller: w or f?
f
Let c be (-2)/4 - 2/(-4). Let j = 5653/14 + -404. Which is bigger: c or j?
c
Let f(p) = p**3 - 15*p**2 - 18*p + 33. Let t be f(16). Which is smaller: t or 17/13?
t
Let f = 2133/5 + -425. Let w(j) = -51*j**3 + 358*j**2 - 4*j - 19. Let u be w(7). Which is greater: u or f?
u
Let w = -608 - -6696/11. Let r = -62/55 + w. Are r and 5 equal?
False
Let z = -0.12 - -4.12. Let g = 82 + -82. Which is smaller: z or g?
g
Let n(g) = -g. Let h(o) = -4*o - 1. Let z(d) = h(d) - 2*n(d). Let i be z(-2). Let v be (-2 + 56/30)*i. Does -2 = v?
False
Let f(h) = -14*h**2 - 70*h - 1. Let c be f(-5). Let j = -0.3 - 1.7. Are j and c unequal?
True
Suppose -19 = -2*n + h - 17, 4 = -h. Which is smaller: 13/120 or n?
n
Let l = 1120 - 1092. Let i = 395/4 + -98. Is i less than l?
True
Let f = 2/2017 - -276319/10085. Which is smaller: f or 27?
27
Let o = 397/23560 - 11/380. Which is smaller: o or -1?
-1
Let l = 19 - 48. Let r = 35 + l. Let k = 5.8 - r. Which is smaller: 10 or k?
k
Let q = 14 + -12. Let r = 40 + -157/4. Is r < q?
True
Suppose 137*q + 924 = 125*q. Is q less than -82?
False
Let a = -226/3 - -76. Suppose 4*v + 8 = u, -3*v + v - 4 = -2*u. Is u smaller than a?
True
Let s = 27 + 50. Suppose 0 = -3*v - 26 + s. Suppose -m - 5*p - 9 = 0, 3*m = 2*p - 10 - v. Which is greater: m or -8?
-8
Let z = -5 - -35. Let s be 32/(-45) - 12/z. Is s < 0?
True
Suppose -3*f - 3*j + 2*j - 11 = 0, 3*f - 5*j = -35. Let l be 2 - (f/(-60))/(5/122). Which is smaller: l or 0?
l
Let u(i) = i**2 - 3*i. Let l be u(0). Let g be (-2)/4*(3 + l - 3). Is g at most -3/2?
False
Let j = 6 - 1. Let v be (-6)/10*j/(-260)*10. Which is smaller: 1 or v?
v
Let q(x) = -6*x + 2. Let a be q(-4). Suppose a = g - 2*i, 2*i = -4 - 2. Suppose -5*y = 3*k - g, -4*k = 3*y - 19 + 7. Does y = 6?
False
Let x = -0.3 + -6.7. Let y = -14 - x. Let d = 8 + y. Which is bigger: -0.01 or d?
d
Let j = 11.3 + -11. Let s be (-4)/(4/(-11)) - 4. Let m = -8 + s. Is j greater than m?
True
Let x be 33/(-396) - (-1394)/24. Is 57 >= x?
False
Let u(w) = 248*w - 498. Let l be u(2). Let c = -197/3 - -2552/39. Which is smaller: l or c?
l
Suppose -p = -3*j + 15, 0 = 35*j - 32*j + 2*p - 6. Suppose 4*s + 32 = 5*f, -4 = -4*f - 4*s - 0*s. Suppose 0 = -f*r + 6*r - j. Which is smaller: 8/3 or r?
r
Let r be (-13)/60 + -3 + (-13)/(-4). Suppose -2*w = q - 5, -5*q + 3*w - 16 = -2. Which is smaller: r or q?
q
Suppose 8*l + 1150 = -5*s + 13*l, s + 4*l + 215 = 0. Is s < -227?
False
Let l(o) = -o**2 - 9*o - 10. Suppose -5*d - 15 = 3*w + 40, d - 5*w = 17. Let n be l(d). Let j be 14/35 - 1/15. Which is bigger: j or n?
j
Suppose 4*n + 27 = -5. Let j be (8/12)/(2/9). Suppose 5*p - j*z + 38 = 0, z = 4*p - 2*z + 31. Which is bigger: n or p?
p
Let w = 255/2786 + -4/199. Which is bigger: w or -1?
w
Let j be 0/((-3 - -1)/2). Let g = 674 + -37745/56. Which is greater: g or j?
j
Suppose 3*x = -2*d - 204, -69 = d + x + 32. Is d less than or equal to -99?
True
Let r = -65 + 26. Let u be -1*r/21 - 3. Suppose -l = -6*l - 10. Which is smaller: l or u?
l
Let x = 265/36 - 64/9. Is x less than 14?
True
Suppose -9*l + 15 + 3 = 0. Let h be -9 + 12 - (l - 3). Which is smaller: h or -0.2?
-0.2
Suppose -4*r = o + 56, 3*r + 272 = -4*o - r. Let c = o + 123. Which is smaller: 50 or c?
50
Let o = -43 + 11.1. Let y = o + 4.9. Let d = 17 + y. Which is smaller: 1 or d?
d
Let v = 32 - 3. Let r = v + -29.2. Let a = 2 + -2.6. Which is greater: a or r?
r
Let h = 393 + -394. Is h at most as big as 3?
True
Let t = 64 - 15. Let z = 55 - t. Is z at least as big as 3?
True
Suppose 2*z + 0*m + m = -243, -3*z - 369 = 3*m. Is z greater than or equal to -122?
True
Let h = -123 + 175. Let a = -34 + h. Let o be ((-4)/a)/((-1)/9). Which is smaller: o or -7?
-7
Let q = -158 - -185.4. Let z = -654 + 628. Let d = q + z. Is -0.1 greater than d?
False
Let u = 2132 + -14675/7. Which is greater: u or 35?
u
Suppose 0*h - 4*h = -480. Let d be 2 + 4/(h/(-69)). Let i = 222 - 223. Which is greater: d or i?
d
Suppose 0 = -n + 3*s - 6*s - 7, 0 = -2*n + 5*s + 19. Let i be 1 + n + -4 - 5/(-11). Is i not equal to 0?
True
Suppose 3*i - 7 = 6*v - 4*v, -3*i + 5*v + 4 = 0. Suppose 0 = i*k - 9, -2*j + 4*k - 77 = 3*j. Which is smaller: -14 or j?
-14
Let g = 5.243 - 0.143. Let w = g + -4.8. Which is smaller: w or -0.23?
-0.23
Let j = 5 + 1. Suppose j*w + 35 = w. Let c be (w - -8)*1/(-21). Is c smaller than 0.1?
True
Let m(b) = 2*b**2 + 7*b - 12. Let v be m(4). Let k = -44 + v. Is 3 at most k?
True
Let u = 5/212 + 199/9540. Suppose -4*t + 16 = 3*w, 4*t - w = -3*w + 12. Which is smaller: u or t?
u
Suppose -9*c + 22 = 103. Is c at least -21?
True
Let f be (-11684576)/523068*(-9)/(-6). Let v = f + -6268/479. Let t = -324/7 - v. Which is smaller: 0 or t?
0
Let x(p) = p**2 - 6*p - 3. Let d = -17 + 24. Let r be x(d). Let j = -11 - -16. Which is smaller: j or r?
r
Suppose 10*j - 12 = 14*j. Let y = 20 + -16. Which is smaller: y or j?
j
Suppose 3*g = -0*g. Let a be -2 + g*(-3)/(-6). Let y = 266 - 1871/7. Is y equal to a?
False
Suppose -p - 4 = -5*p. Let y = -5/3 + p. Suppose -g = g. Which is bigger: g or y?
g
Let u be (-5)/(-10)*-9*(-4)/(-2). Let s be (u - (0 + 5)) + 4. Which is smaller: s or -9?
s
Let z be 1 - (-24)/(-3)*17. Let q = z + 129. Which is smaller: q or -5?
q
Let o = -3082/843 + -3/281. Is o <= -2/23?
True
Let w = 130 + -81. Let k = -14 + w. Which is smaller: k or 0.1?
0.1
Let g = -1001 - -3004/3. Are g and -0.1031 equal?
False
Suppose 0 = d - 2*d - 5. Let v = -1499/345 - -4/345. Which is greater: v or d?
v
Let b(p) = 4*p - p**2 + 3*p**3 + p - 2*p**3 - 5*p - 3*p. Let c be (-3 - 0)/((-6)/4). Let r be b(c). Do -5/6 and r have the same value?
False
Let b = -86.7 - -91. Let u = b + -4.4. Is 5 greater than u?
True
Let u = 28 - 14. Suppose 0 = r - 4*p + u, 8 = -4*r + 2*r - 2*p. Which is smaller: r or -5?
r
Let u(i) = 119*i + 2. Let m be u(-2). Let h be (1*-3897)/((-165)/(-10)). Let c = h - m. Is -1 greater than c?
False
Let k be ((-3)/6)/(1/28). Suppose j = -2*d - 2*d - 31, 61 = -3*j - 4*d. Which is smaller: j or k?
j
Let f be (-990)/(-20) - 2/4. Let m be 1 - 2 - f/(-47). Do -1/3 and m have the same value?
False
Let x(o) = o**3 - 8*o**2 - o - 6. Let t be x(9). Suppose r + 2*r = t. Let k = r - 24. Which is smaller: k or -1/4?
k
Suppose -3*j + 4*q - 8*q - 1966 = 0, -q = 4. Is j != -2?
True
Let a(z) = -z**2 - 6*z - 2. Let d be a(-5). Suppose -7 = -3*o + 5*k, 0 = -3*k + 6 - 3. Suppose -o*r - 12 = d*m, -2*m + m + 12 = -4*r. Are r and -4 nonequal?
True
Suppose -10*g = -9*g - 15. Suppose 5*d - 5*v = -g, 0*d + v = 5*d + 11. Let n(y) = -y**3 + 4*y**2 + 6*y. Let w be n(5). Is w < d?
False
Suppose 0 = g + 2*l - 7, 0 = 3*g - 0*g - 3*l - 12. Suppose -2*s - 22 = -2*d + 2*s, 3 = -3*d - 3*s. Suppose -5*p + 5 = -5*m, d*p = -2*m + 12 + 6. Does g = p?
False
Let r(g) = g**3 + 2*g**2 - 2*g + 2. Let y be (-22)/(-8) + (-33)/44. Let a be r(y). Let c be ((-6)/9)/(8/(-156)). Which is smaller: a or c?
c
Let m = -161 + 186. Which is smaller: m or 29?
m
Let h be (-2)/(-7) - 5/(-7). Let a be h*8/(-12)*-3. Suppose -2*y + 3*y = 0. Which is smaller: a or y?
y
Suppose r = l + 24, -9 = -r - 5*l + 3. Let y be 55/r*(2 + (-12)/(-10)). Which is greater: 26/3 or y?
26/3
Let y be ((-7 - -4) + 4)*184/8. Which is smaller: y or 7?
7
Let k = -32.5 - -18.4. Let z = 14 + k. Is -10 > z?
False
Let b = -2 - 3. Let l = b - -1. Suppose 0*a - 2*a - 2 = 0. Is l at least as big as a?
False
Let h be ((-11)/(77/(-70)))/((-6)/(-3)). Let z be ((-4)/3)/(2/(-3)). Is h less than z?
False
Let j(g) = 3*g**2 - g + 2. Let u be j(3). Let c = -27 + u. Let k = 55/7 - 8. Which is greater: c or k?
k
Let n = 7 - 8. Let t = -7 - -3. Let h = -3.7 - t. Is h < n?
False
Suppose 0*l = -g - 4*l + 24, 3*g - 5*l = -13. Suppose 3*w = 2*y + 5 + 3, 4*w - 12 = g*y. Suppose w*x - 13 = -19. Which is bigger: -13/5 or x?
-13/5
Let q = 382/453 + -3/302. Let d(p) = -p**3 - p**2 - p. Let u be d(0). Is q != u?
True
Let k be -1*0/2*-1. Let y be -3 - -4 - (k + 0). Let x = 2134/117 + -240/13. Wh