4*t + 3. Suppose 4 = 5*c + 19. Let v be n(c). Which is smaller: v or -1?
-1
Let z = 0.9 - 0. Which is smaller: z or -2?
-2
Let n = 56/17 + -251/102. Which is bigger: n or 1?
1
Let x be (3/6)/(2/40). Let c be x/50 + (-13)/15. Which is bigger: c or 0?
0
Let l(k) = -k - 6. Let g be l(-4). Let n be (-27)/(-18) + 1/g. Which is bigger: n or 8/7?
8/7
Let f = -25 + 25. Let t = 4 - 6. Let x = t + f. Which is greater: -1/2 or x?
-1/2
Let a = 2801/196322 - 2/2653. Let u = 41/296 - a. Is 0 at most u?
True
Let f be ((-2)/6)/(2/6). Let b = 79404/53 + -1498. Let r = 239/424 - b. Is f equal to r?
False
Let f be (11/33)/((-13)/(-27)). Let c be 136/(-234) + 2/9. Let r = f + c. Do 0 and r have the same value?
False
Let s be 1/2*30/3. Let b = s + -10. Which is smaller: -6 or b?
-6
Let z be (2 + (-6 - -4))/(-2). Let b(n) = n - 7. Let u be b(5). Let k be ((-1)/u)/(7/6). Which is smaller: k or z?
z
Let s(l) = l**3 - l + 1. Let y be s(1). Which is bigger: -2/5 or y?
y
Let o be 2/(-1) + 1/1. Which is greater: o or 1/12?
1/12
Suppose -6*j - 17 = 1. Is 1 at most as big as j?
False
Let s = -2.6 + -9.4. Let t = -11.9 - s. Let x be 4 - (-2 - (-1 - 2)). Is t < x?
True
Let i be (0 + 4 - 3)*97. Is i >= 97?
True
Suppose 4*u - 14 = 2*u. Let z be 9/u + 8/(-28). Suppose 0 = -5*t - z + 6. Is t less than or equal to 1?
True
Let j be -8*1/(-2) - 1. Suppose -2*c = c + j, -2*v = 4*c + 2. Do -1/9 and v have different values?
True
Suppose 7 = t + 38. Let b = t - -1. Let a be 1/(-2) + (-27)/b. Is a smaller than 0?
False
Let p = -174 + 9049/52. Is p not equal to 1?
True
Suppose -5*q + 8 = -q. Suppose 0 = 5*l - q*l. Suppose 2 - 7 = 5*i. Which is smaller: i or l?
i
Let a be 2 - (-1 - 0)*-3. Let r(m) = m**3 - 2*m + 3. Let o be r(1). Let b be (-1)/o + (0 - a). Which is bigger: 2 or b?
2
Suppose -l - 24 = -3*l. Let k = -11 + l. Suppose 0 = -5*r + 5 + 5. Do r and k have the same value?
False
Let d be 3/12 + (-6)/(-8). Which is bigger: 13 or d?
13
Let q = -71/2 - -32. Is q > -4?
True
Let v = 0.4 + -3.4. Let j = -32.8 - -30. Let x = j - v. Which is smaller: 1 or x?
x
Let v(p) = -3*p**2 - 10*p + 3. Let g(l) = -l**2 - l. Let f(c) = 2*g(c) - v(c). Let h be f(-8). Let r be (-8)/2*(-3)/(-4). Is r at most h?
True
Let z = 3 + 0. Let u = -6 - -11. Let s = -3 + u. Which is greater: z or s?
z
Let u = -86/441 + -4/147. Which is smaller: 1 or u?
u
Let y = 0.1 + -0.16. Let u = 1.06 + y. Suppose 4*h + 2 = -14. Is u at least h?
True
Suppose o = 3*b - 7 + 2, 5*o - 5 = 0. Let i = 11 - 4. Let k(c) = c**2 - 6*c - 6. Let g be k(i). Is g smaller than b?
True
Let s = 150 + -122. Is 27 > s?
False
Suppose 2*i + 0*i = 18. Let u(l) = l - 6. Let y be u(i). Is y < 3?
False
Let b be 4/258*(3 + 163/(-2)). Let r be 122/430 - 2/5. Let u = r + b. Is -1 != u?
True
Let o(b) = -3*b + 6. Let c be o(5). Let a = c - -13. Suppose -4*u = -a*x - 3 - 5, u + 8 = -4*x. Which is smaller: x or -3?
-3
Let y = -2 + -2. Which is smaller: y or -5?
-5
Suppose 0 = -4*s + 5*l + 21, 0*l = -4*l - 20. Let q = -0.7 + -0.3. Is q at least as big as s?
True
Let v = -64/3 - -20. Which is greater: v or -1?
-1
Let o be 3/2*(-24)/(-9). Let v = o - 6. Which is smaller: v or -1?
v
Let m be (4/6)/((-6)/36). Let a(g) = 2*g + 2. Let f be a(m). Let z be 27/(-18)*(-8)/f. Which is greater: -4 or z?
z
Let a(d) = d**2 + d - 1. Let s be a(3). Let b = -12 + s. Is b >= 2/5?
False
Let m(p) = -p**3 + 2*p**2 + 14*p - 4. Let o be m(-3). Which is greater: o or -0.08?
-0.08
Let z be (4/(-14))/(-2 - 1). Which is smaller: 1 or z?
z
Suppose h = -5*a + 28, -5*h + 0*h = -3*a. Let r(v) = -v**3 + 4*v**2 + 5*v. Let g be r(a). Which is smaller: 1 or g?
g
Suppose -6*b + 175 = 13. Let y = -57/2 + b. Let t(w) = -w. Let q be t(1). Which is bigger: q or y?
q
Let x = -9 - -6. Let w = -8 - x. Let r = -4.8 - w. Which is bigger: r or -0.1?
r
Let q be 2/15 + 104/120. Let t be q*(2 + 0 - 2). Is 1/3 bigger than t?
True
Let m(t) = t**3 - 5*t**2 + t + 5. Let y be m(5). Suppose -c = -3*c - y. Is -7 less than or equal to c?
True
Let d(l) = 23*l**3 - 2*l**2 + 4*l - 1. Let j be d(1). Is j bigger than 24?
False
Let k(p) = -p**2 + 18*p - 20. Let z be k(17). Is z bigger than -6?
True
Let c be (-2)/(-6)*(-42)/(-2). Let s = c + -8. Is s <= -3?
False
Let b(u) = -3*u + u + 6 + 0. Let v be b(5). Which is smaller: -5 or v?
-5
Let l be 2/(-17) + (-800)/(-4488). Which is bigger: -2 or l?
l
Let r = 207025/1562 - 1458/11. Let c = -643/568 - r. Is c != 0?
True
Let j = 0.087 + 0.913. Which is smaller: 32 or j?
j
Let b(y) = -2*y - 9. Let h be b(-6). Let c be ((-14)/8)/((-1)/4). Let v = c - h. Is v < 4?
False
Suppose 2*x - 3*x + 2 = 0. Suppose x*t = 3*t - 5. Suppose 0 = t*y - 15, 2*y + 18 = -4*m + 4*y. Which is greater: m or -5?
m
Let i be (2/3)/(2/(-3)). Let v = 159 + -1115/7. Is i < v?
True
Let u be (-2)/1 + (-6 - -8). Is -2/171 at most u?
True
Suppose -7*d + 5*d - 34 = 0. Which is greater: -16 or d?
-16
Let h(b) = -b**3 - 3*b**2 + 1. Let u be h(0). Let v = 305/5763 - -2/339. Is v greater than u?
False
Suppose -2*f - 6 - 1 = -c, -4*f - 20 = 4*c. Which is smaller: c or 3/17?
c
Suppose 2*r - 10 = -5*c, 2*c = 4*r + 6 - 2. Which is smaller: -5 or r?
-5
Let o be (-1)/19*(1 + -2). Is 1 smaller than o?
False
Suppose a = 3*b + 55, -3*a = 2*b + 20 + 13. Suppose 5*y = j - 91, 5*j + 34 = -2*y + 3*j. Is b greater than or equal to y?
True
Let j = 9 + -19. Which is greater: j or -8?
-8
Let o(f) = -f**3 - f**2 + 8. Let a be o(0). Is a < 7?
False
Suppose 4*k + 20 = 5*k. Which is smaller: k or -2/5?
-2/5
Let u(o) = -3*o**2 - 2*o + 1. Let a be u(2). Is a smaller than -14?
True
Let i = 35 + -7. Let g be (105/i)/(6/(-32)). Is -19 less than or equal to g?
False
Let a be (-12)/(2/1)*-1. Let z(j) = -j**2 + 14*j - 18. Let d be z(12). Are d and a unequal?
False
Let q(k) = k**2 - 5*k + 1. Let c be q(5). Do 1/11 and c have the same value?
False
Let m = -0.3 - -0.2. Let y = 1.055 - -0.145. Which is bigger: m or y?
y
Let k be 0/(0 - 1) + -10. Is k at least -10?
True
Suppose 0 = 5*b + 2*f + 8, -4*f - 20 = -4. Are 1/6 and b equal?
False
Suppose -2*a + m - 9 = 0, a + 4*m = 6*a + 24. Suppose 0*k - 2*k = v + 1, -v + 5 = 0. Which is greater: a or k?
k
Suppose 2*h + 6 = -2*w + 4*w, 2*w = 3*h + 9. Suppose w = 2*q - 2*b + b - 5, -4*q + 4*b = -20. Which is smaller: q or -2?
-2
Let h(z) = z**2 + 5*z + 4. Let y be h(-4). Is y equal to 12/17?
False
Let u = -4.79 - 0.21. Which is smaller: -1 or u?
u
Let b = -13 + 10. Is b at most as big as -6?
False
Let p = -3 - -8. Let t(z) = z**2 + p + 7*z + 0*z**2 - 2. Let h be t(-6). Which is smaller: -4 or h?
-4
Let t = -16 + 5. Is -11 > t?
False
Let z = -959/31 - -31. Does z = 0?
False
Let p(m) = m - 10. Let x be p(8). Let f be 2/(-4) - 1/x. Suppose 6 + f = 3*j. Which is smaller: j or 3?
j
Let z = -2 - -1. Is 0.2 greater than z?
True
Let n be 2/(((-10)/(-22))/5). Which is smaller: 23 or n?
n
Let i(r) = r + 2. Let c be i(-4). Let w be c + -3 - (-5 + 1). Which is smaller: 1/11 or w?
w
Let r(h) = -h**2 + 3*h + 7. Let o be r(5). Let p = -3 - o. Let l be (p - (-2)/15)*3. Is l greater than or equal to 3?
False
Suppose 0 = -5*x - 2*j - 9, x - 3*j - 5 + 0 = 0. Let y = x - 2. Is y smaller than -3?
False
Let p be 3*-1 - (-2 - 0). Suppose -5*h + h = 0. Let u = p - h. Is 0 >= u?
True
Let f = 205 + -2667/13. Suppose -3*x = -0*x - 4*x. Is x at most f?
False
Let f = -6 + 12. Suppose 5*b + 2*i = -i + 27, -i = -b + 7. Suppose -f = b*l - 3*l. Is l greater than -1?
False
Let i = -49 + 193/4. Is 3 >= i?
True
Let r be 2/6 + 44/12. Let k be 3 + r + (-6 - -3). Suppose -3 + 15 = -k*p. Is p < -2?
True
Let r(u) = -6*u**2 - 8*u + 4. Let k(p) = -7*p**2 - 9*p + 5. Let j(y) = 5*k(y) - 6*r(y). Let g be j(-2). Which is smaller: 1/12 or g?
g
Let o be 14/20*20/35. Is 1/3 != o?
True
Let d(i) = -i**3 + 12*i**2 - 12*i + 6. Let g(z) = -3*z**3 + 25*z**2 - 25*z + 13. Let j(n) = -5*d(n) + 2*g(n). Let y be j(-11). Is 9 < y?
False
Let n be ((-405)/30)/((-3)/(-4)). Is -18 at most as big as n?
True
Let w be (-178)/60 + (2 - -1). Suppose 0 = -3*c - 2*c. Is c <= w?
True
Suppose -2*g - 4 = 2*g. Let s = -2 - g. Let m be (-2)/(-6) + s + 1. Do m and 0 have the same value?
False
Let t = 17 - 10. Let q = t + -5. Suppose g = -3*p + 13, 4*p - 24 = -0*p - 3*g. Is q at most as big as p?
True
Suppose -3*g + w - 13 = 0, 5*g + 0 = -w - 11. Is g bigger than -6?
True
Let j = 818