 be 12/92*q/(-3). Are 1 and v nonequal?
True
Let k = -0.88 + -0.12. Which is smaller: k or 2?
k
Let g = -32 - -24. Which is smaller: g or -7?
g
Suppose 2*u = 5*u + 3. Let z be (-1 - (-13)/9)/2. Which is smaller: u or z?
u
Suppose -2*n + 6 = -5*n. Which is bigger: -3/5 or n?
-3/5
Suppose -1 = -3*u - 4. Let i = -2 - u. Does i = -2?
False
Let m = -1.3 - -0.3. Let i = -13 - -9. Let s = -2 - i. Is m at least as big as s?
False
Let q be (-4)/(-26) + (-280)/3510. Do -0.1 and q have different values?
True
Suppose 2*c - 3*l - 11 = -50, l + 7 = -c. Let g = -9 + 16. Let o be (1/g)/(c/14). Does -1 = o?
False
Let z(x) = -5*x - 5. Let f(k) = -k. Let i(v) = -4*f(v) + z(v). Let c be i(-4). Is c < -4/7?
True
Let v(f) = f**2 + 2*f - 2. Let q be v(-3). Let x be q*-2*1/(-2). Let w = -759.7 + 759. Are x and w equal?
False
Let d be (-9)/(-18) + (-138)/4. Let n = -25 - d. Which is greater: n or 11?
11
Let x be 12/(-9)*9/6. Suppose 3*f - 3 = -6. Let r = 1 - f. Which is smaller: x or r?
x
Let h be 6/27 - (-275)/(-630). Are 1 and h unequal?
True
Let b(n) = -n**2 - n. Let v be b(-1). Let c be ((-2)/(-33) + 0)*1. Which is smaller: c or v?
v
Let n = 2129/1212 + -2/303. Which is bigger: n or 2?
2
Let z = 3 + -2.9. Let x = 368 - 370.98. Let q = x - 0.02. Is q not equal to z?
True
Let s(i) = i**2 + 12*i + 4. Let g = 15 + -27. Let b be s(g). Suppose -n = -b*v - 12, 0 = -6*v + v + 3*n - 22. Which is greater: v or -2/3?
-2/3
Let q = -0.9 - -1. Let k = 1.11 - 1.11. Which is smaller: k or q?
k
Let z = -9 + 9. Let k be z/(1 + -1 + 2). Is k equal to -1/2?
False
Let m be -7*2/(-6)*3. Let z be (-5)/m*(-6)/(-15). Which is bigger: z or 1?
1
Suppose -4*w = w - 20. Suppose -w = 4*x - 0. Let v be (-2 + (-14)/(-4))/6. Which is greater: v or x?
v
Let i = -7 + 13. Suppose u = i*u - 40. Is u at least 9?
False
Let d be (4/(-5))/((-4)/10). Suppose 3*x = -d*x + 30. Let p be (420/300)/((-2)/(-10)). Which is smaller: p or x?
x
Let x = -9 + 5. Let o = 0.1 - 1.1. Let i = o + x. Are 0 and i nonequal?
True
Let l be (-2)/(-7) + (-1040)/2464. Is l greater than -1?
True
Let u = 1.84 - -0.16. Do -0.01 and u have the same value?
False
Let q(u) = u**3 + 2*u**2 - 3*u + 2. Let o be q(-3). Suppose -2*i = -4*i - b - 4, -4*i + 2*b = 8. Let m be (o + -1 + -1)/i. Which is smaller: m or 1/2?
m
Suppose 2*f = f - 1. Suppose -2*g + n = 2, -4*g + 1 = -n + 3. Let p = f + g. Which is smaller: -1/3 or p?
p
Let i = -3 - -2.8. Let q = -0.8 + i. Let x = 2.1 + -2. Which is smaller: q or x?
q
Let u(i) = -5*i - 3. Let j be u(-3). Suppose 7 = -4*w - 5*v, 0 = 4*v + j - 0. Which is smaller: -2 or w?
-2
Let v be (1/(-9))/(1 + -8). Which is greater: v or 0?
v
Let m be 4/(-6)*3/(-1). Suppose 0 = 2*a + m*x - 4, a - 2*x - 1 = 2*a. Suppose -2*b = -3*v - 4*b + a, 1 = 3*v + 4*b. Which is smaller: v or 2?
2
Let a be (-2 + 2)/(-2) - -3. Let y = 5 - a. Let c be (96/15)/(-4) + y. Which is greater: c or 1?
1
Let s be (-9)/(-2)*28/105. Let c = 8 - 6. Is c at most s?
False
Let c(f) = -8*f - 36. Let j be c(-5). Which is smaller: -4 or j?
-4
Let k be 8/(-9)*54/36. Which is smaller: 0 or k?
k
Let o = 3.2 - 3. Let q = 110 - 110.2. Which is bigger: o or q?
o
Let n be 225/30*(-40)/42. Does -7 = n?
False
Suppose -2*z - 65 = -7*z. Suppose -5 = -2*l + z. Let u be (-3)/l + (-2)/(-3). Is u bigger than -1?
True
Let u be (9/(-5))/((-1)/5). Let p be 222/24 - (12/(-16) - -1). Is u greater than or equal to p?
True
Let o = -3 + 4. Let c be 6 + -3 - (3 - 0). Is o > c?
True
Let b = -43 + 30. Let n = 25 + b. Suppose n = 5*i + 2. Is i less than or equal to -0.1?
False
Suppose -3*c - 15 = 3*m, -3*c = -4*m - 14 + 1. Is c >= -4/9?
False
Let w = 3.7 - -1.3. Let j = w + -2. Let f = -27/52 - -10/13. Is f less than j?
True
Suppose -6*b + 86 = -16. Is 18 less than or equal to b?
False
Let l = 5 + -3. Let q be (-374)/4*l/4. Let y = 47 + q. Is y equal to 1?
False
Let w be (-8)/(-7) + (-6)/6. Let f = w - 23/14. Do f and -2 have different values?
True
Let q = 3 + -3.09. Let y = -0.01 + q. Is 8 smaller than y?
False
Let l = 62 + -62. Let d(x) = 2*x**2 - 1. Let u be d(1). Which is smaller: l or u?
l
Let v(m) = m**3 + 4*m**2 - 7*m - 7. Let w be v(-5). Suppose 5*h - w = 17. Suppose 3*x - 1 = -h. Is -2 smaller than x?
True
Suppose 15 = 3*b - 8*b. Suppose -2 = -2*s - 8. Is s > b?
False
Let m(x) = x**3 - 2*x**2 + 2*x - 2. Let v be 1*3/(-6)*-4. Let w be m(v). Which is smaller: 5/2 or w?
w
Let y = -43 - -36. Is y at most as big as -4?
True
Let q = 0.82 + 0.18. Let p be 2/(-27)*(-9 + 3). Which is smaller: q or p?
p
Let d be (-3 + 1)/(2/(-1)). Let l(v) = -4*v - 2. Let f be l(-1). Which is smaller: d or f?
d
Let x(h) be the second derivative of 3*h**5/10 - 5*h**4/12 + h**3/3 + h**2/2 - 3*h. Let r be x(3). Let v = -1365/11 + r. Do v and 1/4 have the same value?
False
Let s be (0/(-3))/(-3) + 3. Suppose 0 = -s*m - 2*m. Is 1/13 smaller than m?
False
Let r = 69/26 - 5/2. Let q be -4 - (-9 - (2 - 8)). Are r and q non-equal?
True
Let y be 132/18 - (-2)/(-6). Suppose 3 + y = -2*h. Is h < -3?
True
Suppose b + 3*w = -2*b + 132, -32 = -b - 4*w. Let d = b - 527/11. Does d = -1?
False
Let l be (1285/(-25))/(4/(-3)). Let o be ((-151)/5)/((-4)/(-5)). Let u = l + o. Which is smaller: 0 or u?
0
Suppose 4*v - 15 = 3*g, -3*g = v - 0*v. Is 1 less than v?
True
Let t = 43 - 43.1. Is t > 56?
False
Let b = 0.077 + -12.677. Let o = -4.7 - b. Let q = o + -8. Which is smaller: q or -5?
-5
Let j(y) = y**2 + y + 12. Let f be j(8). Is f greater than or equal to 83?
True
Suppose 3*h - 4*y = -28, -4*y + 40 = -5*h - 4. Let d be 12/h*(-8)/6. Which is greater: 2/5 or d?
d
Let b be 1 - (-2 - (-363)/108). Let y = 1/9 + b. Let j(r) = -r**3 + 4*r**2 - r + 5. Let i be j(4). Are i and y non-equal?
True
Suppose v - 2*u + 7*u = -6, v - 3*u - 2 = 0. Let p be -4 + 2*v/2. Which is greater: p or -4?
-4
Let t be 540/1701 - 1/(-9). Is -2/7 < t?
True
Let y = -225133 - -52230721/232. Let p = y + 6/29. Is p smaller than 1?
True
Suppose -3*w + b + 4 = 14, w - 1 = -4*b. Which is smaller: -13 or w?
-13
Let h be ((-3)/54)/(6/(-9)). Which is greater: 0 or h?
h
Let p = -0.15 + 0.35. Which is smaller: p or 21?
p
Let n = -17 - -18. Let f be (9/(-45))/(n - -2). Is 0 at most as big as f?
False
Let v = -20 - -35. Suppose 0 = -5*n - 6*p + p - v, -7 = 5*n - 3*p. Suppose 0*y - 4 = 4*y. Is n greater than y?
False
Let u = 10.89 + 0.11. Let q = -10 + u. Is q < 5?
True
Let d(f) = 4*f**3 + 3*f**2 + 5*f - 3. Let g be d(-4). Let m be (-220)/g + 2/(-7). Which is bigger: m or 11?
11
Let h = 82.4 + -74. Let w = -9 + h. Is -1 >= w?
False
Let l be -1 - -4 - (-8)/(-4). Which is smaller: 1/40 or l?
1/40
Let p be 26/(-22) - (-3 - -2). Let l(m) = -5*m**2 + 5*m + 1. Let x(s) = -s**2 + s. Let j(h) = l(h) - 4*x(h). Let d be j(2). Which is bigger: p or d?
p
Suppose 7*t + 69 = 6. Are t and -9 non-equal?
False
Suppose -3*t = -4*z, -6*t - 2*z + 14 = -4*t. Let h = -4 + t. Let g = -2/67 - -164/1005. Do g and h have the same value?
False
Let i be (-50)/42 - 3/(-13 - -4). Which is smaller: i or 0?
i
Let x = -0.4 - -0.9. Let f = -0.6 + x. Is 0.7 at most as big as f?
False
Let j be 4/3 + (-1 - 1). Suppose -4*p = 4*m + 12, -m - 1 = -3*m + 5*p. Is j < m?
False
Let x = -42 - -63. Let v be 4/(-14) - (-4)/14. Suppose v = -5*w + 2*w - x. Which is greater: -6 or w?
-6
Let g(k) = -k**2 + 11*k - 6. Let y be g(10). Let h be (y/(-6))/(42/27). Is h greater than or equal to 1?
False
Let n = -5 - -4. Let u(z) = -z**3 - 6*z**2 + 8*z - 3. Let k be u(-7). Let c be n/k + 5/(-10). Is 2 > c?
True
Let h = 2065308971/12302 + -167884. Let w = h + 215219/270644. Let n = 6/11 - w. Is n smaller than 0?
True
Let k be 1/(-2)*0*(-7)/28. Which is greater: k or -5/11?
k
Let r(x) = -x**3 - 4*x**2 + 4*x - 3. Let q be r(-5). Suppose 3*z + q = f, -f = 3*f + z - 8. Is f bigger than -3?
True
Let w be (3 - (-18)/(-5))*1. Suppose -5*f + 2*f = 0. Suppose 0*g + 3*g = f. Is g less than w?
False
Suppose u - 3*u - 6 = 0. Let a = 5 + u. Let o be -1*(2 + 24/(-14)). Is a greater than o?
True
Let u be (-4)/4 - (0 - 2). Which is smaller: -4 or u?
-4
Let a = 11 + -7. Let t = 4 - a. Which is smaller: -0.1 or t?
-0.1
Let q(v) = v**2 - 17. Let j be q(-7). Is j at most as big as 30?
False
Let w = 2/29 + 25/58. Which is greater: -1.9 or w?
w
Let f = 1.43 + -0.69. Let d = 0.51 - f. Let v = 0.07 - d. Does v = 1?
False
Suppose 1 = 3*