1)/196). Let s be 3/2*11/(-9). Let j = u + s. Is j at most as big as -1?
False
Let n(t) = -t**2 - 7*t + 6. Let f be n(-7). Let a(v) = -3*v + 9. Let y(u) = -7*u + 19. Let j(b) = 5*a(b) - 2*y(b). Let d be j(f). Is 3/5 at most as big as d?
True
Let m = 20 - 20. Is m >= 10?
False
Let u = -1.3 - -9.3. Let i = 12 + -23. Let w = u + i. Which is smaller: w or 0.1?
w
Let v(t) = -6*t - 29. Let y be v(-5). Is y at most -10?
False
Let o be -1 + -3 - (-1099)/280. Which is smaller: o or 1?
o
Suppose 5*u - 3*h = 840, 0*h = -u - 3*h + 168. Let z be (-314)/u - (-4)/14. Let k = z + 4/3. Which is bigger: k or 0.1?
0.1
Let o = 8 + -7. Let x be 0 + 3 + o + 0. Is x bigger than 4?
False
Let p = 9 - 8.95. Let a = p - -0.05. Let v(u) = u**2 + 6*u - 3. Let x be v(-6). Is a at most as big as x?
False
Let m = 5 + -10. Let s = -7 - m. Which is greater: 1 or s?
1
Suppose 131*i - 123*i + 8 = 0. Let w be (-4504)/(-22) + -1 + 3. Let k = w + -207. Is k at most i?
False
Let x be (-10)/(-15)*6/(-40). Let w = -7/20 - x. Which is greater: w or 0.1?
0.1
Let g be 3/(-2)*8/(-12). Suppose -d + 0 = -g. Let x be (2/(-24))/((-12)/32). Which is bigger: x or d?
d
Let o(p) = -p - 3. Let q be o(-11). Let l be ((-6)/q)/(-4 - -1). Which is smaller: 6/11 or l?
l
Let x = -1910/11 + 174. Let p = -27/44 + x. Are p and -4 unequal?
True
Suppose 6 = 3*v - 3*p, 3*p + 6 = -4*v - 0*p. Is 2 at most v?
False
Suppose 0 = -5*n + 3*n + 2. Is -3/61 > n?
False
Let l = 45 + -48. Which is smaller: -2 or l?
l
Let v = 2 - 0. Let q = -69 + 629/9. Is q at most as big as v?
True
Let r be (-2)/((2/3)/1). Suppose -4 = g - 2*q + 3, -4 = -5*g - 3*q. Which is bigger: g or r?
g
Let p = -5 - -7. Let l = 8 - 4. Are l and p equal?
False
Let w = -21 - -20.9. Do w and -1/23 have the same value?
False
Let a = -178 + 170.1. Let b = a + 8. Do -1 and b have different values?
True
Let m(q) = q - 3. Let x be m(5). Let c(r) = r - 4. Let i be c(4). Which is smaller: x or i?
i
Let h(q) = -2*q - 25. Let i be h(-17). Which is bigger: i or 11?
11
Let u = -0.033 - -1.083. Let b = u - 0.05. Suppose 0*j = -4*j + 8. Which is bigger: b or j?
j
Let o = 0.6 + -0.8. Which is greater: o or 1/7?
1/7
Let j be 2 + -2 + (2 - 0). Let u = 2 + j. Suppose 4*t + 13 = -5*m, -5*t = -t - u*m + 4. Is t < -2?
False
Let p = 0.13 - 0.03. Let r = 0.3 - 0.2. Is p bigger than r?
False
Suppose 16*x + 15 = 19*x. Does 27/5 = x?
False
Let k(f) = -f - 8. Let c be k(-6). Suppose 3*b + 2 = -0*v - 5*v, 4*v - 5*b - 28 = 0. Suppose v = u + 1. Is c greater than u?
False
Let j be 8/(-36) - 3/(-3429)*236. Which is bigger: j or 0?
0
Let s = -7.6 - 0.4. Let c = 6 + s. Is c less than 2/5?
True
Let q = -11 - -5. Let b be 32/12*q/4. Let v be (1 + b)/(6/(-4)). Is v > 1?
True
Suppose 11 = -4*i + 5*a + 55, 2*a - 40 = -2*i. Let h be (1/(-2))/((-18)/i). Suppose -m + 4*z = 3*m + 12, 15 = 3*m + 3*z. Which is smaller: m or h?
h
Suppose -3*o - 54 = -0. Is o less than -18?
False
Let w(z) be the third derivative of -z**6/120 + z**5/15 - z**4/6 + z**3/2 - 3*z**2. Let t be w(3). Are t and 0 non-equal?
False
Suppose 0 = v - 17 + 41. Is v bigger than -24?
False
Let z be (-2597)/(-57) + 2/19. Let c(a) = -46*a**3 - 2*a**2 - 2*a - 1. Let x be c(-1). Let f = z - x. Does f = -3?
False
Suppose 2*x + 4*n = 2*n + 16, 4*n + 3 = 3*x. Does x = 4?
False
Let x = 15 + -10. Is x equal to 14/3?
False
Let b be (32/(-48))/((-14)/(-6)). Let r = 0.05 - 2.05. Which is smaller: r or b?
r
Suppose -10 = 4*f - 5*f. Is f at least 10?
True
Let p(i) = i**3 + 5*i**2 - 5. Let v be p(-7). Let m = 1131/11 + v. Let f = 1 - 2. Which is bigger: f or m?
m
Let o = -27 + 27. Are 10 and o equal?
False
Let b = 32 + 35. Which is greater: 68 or b?
68
Let w be -15 - -14 - 2/(-8). Which is smaller: w or 3/4?
w
Let i(h) = -h**2 - 8*h - 10. Let d(x) = -2*x**2 - 16*x - 19. Let m(j) = -3*d(j) + 5*i(j). Let b be m(-6). Is b greater than -3?
False
Suppose -4*b = -b - 48. Let c be (-4)/6*3/b. Suppose 2*x - 5*r - 17 = 0, 2*x + r = 2*r + 5. Which is greater: x or c?
x
Let r = 37.2 + -37. Is r at most as big as -2/15?
False
Let d = 6.29 - -0.21. Let u = d + -0.5. Let v = u - 6. Do v and 0 have the same value?
True
Suppose q = -2*q. Suppose 5*l - l - 12 = q. Suppose 2*o = 4 + 6. Which is smaller: l or o?
l
Let b be 3/54*(-4)/1. Suppose -21 = k - 2*k. Let l = k - 41/2. Which is bigger: b or l?
l
Let z be 6/21 - (-632)/(-7). Let s be (4/6)/((-3)/z). Let f be (-5)/(-20) - (-3)/s. Which is bigger: -1 or f?
f
Let b be (-38)/(-88) + 16/(-88). Is b bigger than 1?
False
Suppose 2*r - 17 = -5. Let m(f) = -f**3 + 5*f**2 + 6*f. Let l be m(r). Which is smaller: l or -2/5?
-2/5
Let f(g) = g**3 + 5*g**2 + 4*g. Let u be f(-4). Let t = 7 + -5. Suppose -m - m + t = u. Is m > 1?
False
Let g = -188 + 158. Is g smaller than -29?
True
Suppose 3*l - 2 = -3*y - 23, 0 = -4*l + 4*y + 12. Let h be 2*-15*(-1)/l. Is h >= -1?
False
Let j(p) = -p**3 + 3*p**2 - 2*p + 2. Let g be (-5 + 3)*(-3 + 2). Let a be j(g). Is a less than 1?
False
Let c be ((-10)/3)/(-1)*3. Let q = c + -31/3. Let u be (3 + -3)/(1 + 1). Which is smaller: u or q?
q
Let m be ((-2)/(-6))/(24/16). Which is bigger: 2/25 or m?
m
Let z = -564 + 569. Suppose -16 = 2*p + 5*c, -4*p + 4*c = -10 - 14. Which is bigger: z or p?
z
Let n be (2/6)/((-2)/(-12)). Let q = n - 5/2. Let y(h) = 6*h - 50. Let k be y(8). Is k smaller than q?
True
Let c be 91/(-52) + 1*2/(-8). Is c not equal to -2/11?
True
Let j = -115/618 + 2/103. Which is smaller: j or 0?
j
Let u = -6 - 6. Let y = 9 + u. Which is smaller: y or 0.1?
y
Suppose -84 = -4*g - 5*h - 27, 0 = -h + 5. Let d = g - 7. Which is smaller: d or 2?
d
Let t = -0.06 - -1.86. Let p = t + -1.6. Is p < -0.1?
False
Suppose -5*x - 2 = -4*n, 4*n + 2 = 5*x - 2*x. Let d(t) = -14*t**3 + t**2 + 3*t + 3. Let z be d(x). Let f = z + -568/5. Do f and -1 have the same value?
False
Suppose -n + 5 - 3 = 0. Suppose -r - 3*v + 20 = 4*r, 3*v = -r + 16. Is n <= r?
False
Let w = -8 - 0. Which is greater: -7 or w?
-7
Let k(t) = -t - 2. Let q be k(3). Is -5 greater than or equal to q?
True
Let h(a) = 2*a**2 - 3*a - 4. Let v be h(5). Do 31 and v have the same value?
True
Suppose -n = n - 6. Suppose 16 + 4 = -5*o. Let y = 8 + o. Do y and n have the same value?
False
Suppose -3*n + 3 = 0, 2*n + 27 - 9 = 5*m. Suppose i - 3 = m*i. Let p be (2/4)/(57/(-12)). Which is smaller: p or i?
i
Let x be 45/(-27)*(-2 - 1). Which is bigger: 1 or x?
x
Let a = -18 - -89/5. Is a less than 1?
True
Let v(o) = -o**3 + 6*o**2 + 4*o - 8. Let t be v(6). Suppose 4*x - 8 = 5*r - 3*r, 4*x + t = -4*r. Do x and 2/7 have the same value?
False
Suppose -2*t - j + 0*j = -1, 40 = 5*t - 5*j. Suppose t*z + 0*z - 6 = 0. Let b be ((-2)/4)/(1/z). Are 1/9 and b non-equal?
True
Let p = 0 + -2. Let s be (0/1)/(4/p). Let a be (-4)/6 + (-5)/(-15). Is a greater than or equal to s?
False
Let j = 0.3 + 1.7. Let n = j - 2.1. Which is smaller: 2/3 or n?
n
Let h(p) = -p**2 - 6*p + 10. Let o(w) = w**3 + 7*w**2 + 8*w + 4. Let i be o(-6). Let x be h(i). Which is smaller: -5 or x?
x
Let a be (-1)/22*2/(-1). Suppose i = p - 0*i + 3, -3*p = -5*i + 15. Which is smaller: p or a?
p
Suppose 0 = 2*v - v + 3. Let j = -12.1 - -12. Is j bigger than v?
True
Let x = -20 - -19.7. Let a = -4 + 3. Is x not equal to a?
True
Let g be 131/254 + (-2)/4. Does g = 1?
False
Let u = 0.3 - 1.3. Let n = -0.4 + 0.8. Let a = n + -0.3. Is u at most a?
True
Let z be -54*15/204 + 4. Which is bigger: z or 0?
z
Let c = 164 - 1807/11. Which is bigger: -1 or c?
c
Suppose -4*n + 2 + 2 = 0. Let c be (-2)/n + 2/(-4). Let s = 265 - 266. Is s < c?
False
Suppose 3*m + 5 = 2. Is 4/7 != m?
True
Let x = 15/2 - 7. Let p(g) be the third derivative of -g**4/24 + 2*g**3/3 - 9*g**2. Let v be p(3). Is v equal to x?
False
Let g(s) = s - 5. Let u be g(6). Let m = -9.3 - -9. Let w = m - 0. Which is greater: u or w?
u
Let s = 0.49 - -0.49. Let k = s - -0.02. Which is smaller: 4 or k?
k
Let i = 59 - 58. Is i at least 10?
False
Let w = -36 - -36. Do 1/20 and w have different values?
True
Let z(t) = -t - 19. Let i be z(0). Is i greater than -21?
True
Suppose 2*l = 7*l. Suppose -3*o + l*o = 3. Is 0.06 <= o?
False
Let u = 30 + -88/3. Let o = -3 - -6. Let w = o + -4. Do u and w have the same value?
False
Let r = 2/93 + -101/372. Let w be (1/4)/(10/(-64)). Let f = 7/5 + w. Which is bigger: r or f?
f
Suppose 6*y = 2*y. I