 Let c = -17 + 21. Which is smaller: r or c?
r
Let c be 0 + 1/(-4)*99. Let v = 328 + -303. Let k = v + c. Is 0 < k?
True
Let g = 8.9 - 9. Let i = 78 - 378/5. Which is bigger: i or g?
i
Let m be -3 + (-10400)/(-5239) + 1. Which is bigger: 0 or m?
0
Let s = 0.045 - -26.955. Let z = s - 27.2. Is z bigger than 8?
False
Let g = -2/10705 - -13457/14730080. Which is smaller: g or 1?
g
Suppose -358 = w + 3*i, -3*w - 921 = -3*i + 141. Which is smaller: -1/4 or w?
w
Let z be ((-6)/(-18))/((-1)/6). Let d(i) = -2*i - 2. Let u be d(-1). Is u > z?
True
Suppose -17 = 4*d + 71. Let c = d - -50. Is c less than 28?
False
Suppose -9*w = -3*w - 72. Suppose j = 0, -2*m - 4*j - 52 + w = 0. Which is smaller: m or 1/2?
m
Let y = -19 - -29. Let c = y + -9.9. Suppose 0 = -2*w - w. Is w >= c?
False
Let d = -21 + 108. Let f = d + -259/3. Is f != 8?
True
Let t(r) = -9*r**3 + 21*r**2 + 20*r + 22. Let i(l) = -4*l**3 + 10*l**2 + 10*l + 11. Let g(b) = -7*i(b) + 3*t(b). Let c be g(9). Are c and 60 unequal?
True
Let r = 0.75 - -14.75. Let m = 1.5 - r. Let k = m - -6. Which is bigger: k or 1?
1
Let o = -9 + 9. Let m be (0 - (-8)/50)/((-29)/145). Is m not equal to o?
True
Let i = -46358/5 + 9303. Let s be 2*17 + (-4 - -1). Let y = s - i. Which is greater: y or -1?
y
Let x = -0.267 - -0.167. Is 6/5 greater than x?
True
Let d = 3 + -6. Suppose 0 = 15*q - 6*q - 9. Let n be q/d + (-153)/(-297). Which is smaller: n or -1?
-1
Suppose -4 = 4*b + 3*y, 2*b - y + 2 = -4*y. Let s = -170 + 1184/7. Which is greater: s or b?
s
Let n(c) = -c**3 - 7*c**2 + 8*c + 2. Let l be n(-8). Let q = -3 - l. Which is smaller: -21/5 or q?
q
Let s = -3.02 - -0.02. Let w = 37 - 40. Are s and w unequal?
False
Let w = -39719/7 + 5660. Let z = w - -1075/77. Do 1 and z have the same value?
False
Let k be (10/(11840/(-12)))/(3/2). Which is bigger: 1/3 or k?
1/3
Let h = -11239/7 - -1615. Let m be (-2)/9 + 184/18. Which is greater: m or h?
m
Suppose 5*i + 47 = -58. Let d = 81 + i. Let m be 2/(-4) - 250/d. Which is greater: -5 or m?
m
Suppose -124 - 66 = -5*o. Let g = -538 - -576. Is g bigger than o?
False
Suppose 0 = -3*g, 4*z - g = -0*z + 36. Suppose 3*i - z = -12. Suppose 2*y + 3*y + 5 = 0. Is i bigger than y?
False
Let y be (1/((-4)/(-232)))/2. Let f = y + -28. Let a = f - 5/2. Which is smaller: a or -3?
-3
Let j(n) = -2*n**3 - 3*n**2 - 2*n - 1. Let f be j(-3). Let y = -36 + f. Let h = 3 + y. Which is smaller: h or -4/9?
h
Suppose -7*p + 9*p + w - 5 = 0, 4*w = 5*p - 45. Which is smaller: 0.07 or p?
0.07
Suppose 2*j + 4*w = 2*w + 34, 2*w = -j + 17. Let y = -17 + j. Are y and 3/16 equal?
False
Let u = -2 - -4. Suppose -2*d = 3*c - 3, u*c - 2 = -2*d - 2*c. Let s be (8 - 3)*d/(-5). Which is smaller: -10/3 or s?
-10/3
Let a(j) = 7*j + 112. Let q be a(-10). Is 42 less than q?
False
Let w = 659/132 - -124/33. Which is smaller: 10 or w?
w
Let i(n) = -n**2 + 6*n - 2. Let r(y) = 3*y**2 - 12*y + 4. Let d(m) = 13*i(m) + 6*r(m). Let x be d(-2). Are 6 and x equal?
True
Let b = 169 - 102. Let i = 66.9 - b. Let m = 0 + -0.2. Which is greater: m or i?
i
Let t = -33.83 + 34. Let n = 5.83 + t. Let l = -6 + n. Which is greater: -0.03 or l?
l
Let w = -0.082 + 54.082. Let z = -54 + w. Which is smaller: 3 or z?
z
Let n be (-3)/6 - 243/78. Let k = n + 5. Which is greater: 1 or k?
k
Let n = -104/105 - 38/21. Do n and -3 have different values?
True
Let p = -545 - -317. Which is greater: 1 or p?
1
Let n(a) = -a**3 + 5*a**2 + 4*a - 2. Let y be n(5). Let f = 22 - y. Suppose f = 2*z + 12. Which is smaller: z or -8/3?
z
Let w = 280 + -282. Let v = -3 + 2.6. Which is smaller: v or w?
w
Let g(j) = j**2 - j - 2. Let n be g(-1). Suppose 8*r - 5*r = n. Let u = 9 + -10. Which is smaller: u or r?
u
Let d = 30 - 42. Let a be 80/15*(-9)/d. Which is greater: a or 6?
6
Let w be (-288)/(-20) - (-4)/(-10). Let y = -12 + w. Suppose v = -4*g + y*v + 43, v - 29 = -2*g. Is 12 less than or equal to g?
True
Let h(c) = -15*c - 104. Let p be h(-7). Which is greater: 5/7 or p?
p
Let k = -23.3 + 21.3. Is 0.2 bigger than k?
True
Let f be -3 - (20/4)/(-5). Let q be f/(-84)*8 - 6/21. Let z be 0/(2 + -1) - 1. Which is bigger: z or q?
q
Let y = -4.4 - -4. Let h = -5795 - -5794.93. Is h bigger than y?
True
Suppose 5*s - 24 = s. Suppose -4 = -s*r + 7*r. Let k = 1 + r. Which is greater: -4 or k?
k
Suppose 13 - 49 = 3*y. Let j(p) = -27*p - 14. Let m be j(-2). Let i = -50 + m. Do i and y have different values?
True
Let s be (-34)/(12*(-3)/(-2426)). Let c = 2289 + s. Let k(q) = q**2 - 5*q - 2. Let m be k(5). Is c bigger than m?
False
Let y(l) = 6*l - 1. Let b be y(1). Suppose 0 = -2*p + 3*i + b, -4*p + 5*i = 4 - 15. Suppose 0 = 2*j - 2 - p. Do 3 and j have the same value?
True
Let v be -8 - -6 - (1 + 31). Let k = 236/7 + v. Which is bigger: -18 or k?
k
Let j = -1228/29 + 1614762/38135. Is 1 bigger than j?
True
Suppose 2*k = 4*k + 2*u - 1034, 3*k - 5*u = 1527. Is k at least as big as 514?
True
Let j be ((-13)/3)/((-8)/(-168)) - -5. Which is smaller: -85 or j?
j
Suppose 0 = 6*i - 8*i + 380. Let v = -1706/9 + i. Is v at most -2/3?
False
Let l = -1.12 + 2.12. Which is bigger: -3/34 or l?
l
Let w = -0.40557 - -0.34957. Let b be (1/3)/((-2)/(-4)). Which is smaller: w or b?
w
Suppose -2*w + 11 = -13*w. Is w != 9?
True
Let f(c) = c**3 + 12*c**2 + 9*c + 11. Let i be f(-11). Let l be (-2 - -4)/((-6)/i). Let o = -14 - -2. Is o > l?
False
Suppose -2*b + 5*u - 16 = 0, 3*b + 8 = 5*u - 6. Let c be (-3)/6*(-1 + b/2). Are c and -39 equal?
False
Suppose 80 - 73 = -7*v. Is v at most as big as 4?
True
Suppose 7 = 3*i - u, -4*i - u + 8 - 1 = 0. Let v be (1 + (i - 4))*-5. Is 4 at least v?
False
Let n = -1048 + 1070.91. Let z = n - -0.09. Let r = -22.8 + z. Is r less than -4?
False
Let v = 59 + -59. Which is smaller: v or -2/219?
-2/219
Let l be 0 - (-1 - 1) - 2. Suppose -2*s - 4*a + 6 + l = 0, 71 = 5*s - 4*a. Which is smaller: 0 or s?
0
Let m = -285.9 - -290. Which is smaller: m or 1/3?
1/3
Let h(p) = p**2 - 7*p + 7 - 7*p + 17*p. Suppose 0*d + 5*z - 35 = 3*d, -2 = -2*d - 3*z. Let i be h(d). Which is greater: i or 18?
18
Suppose -y = y + 3*c + 53, 2*c + 10 = 0. Which is greater: y or -0.3?
-0.3
Let w = -409.1 + 423. Let r = 0 + -0.1. Let j = r - w. Which is greater: -2/3 or j?
-2/3
Let f = 0.477 + -0.377. Let g be 1/(-2) + (-1)/2. Let l be 0 + (1/4)/g. Is l > f?
False
Let p = 1004/285 - 140/57. Which is bigger: 2 or p?
2
Let i be (-184)/(-10) + (-110)/25 + 4. Suppose 3 = 3*u - 2*u, -3*r + 4*u = i. Is -12/17 >= r?
True
Suppose a = -0*a + 3. Let o = a + 3. Let f be o/(-10) + 147/195. Is f less than or equal to 1?
True
Let n = -4.335 + -0.265. Which is smaller: n or 2/7?
n
Let g(z) be the first derivative of -5*z**4/2 - z**2 + 2*z + 25. Let t be g(1). Is -13 <= t?
True
Let x be 60/(-18)*(-3)/2. Suppose -x*t = 4*s + 17, -9 = 3*s - 0*t + 5*t. Which is smaller: s or -7?
s
Let p = 5105/6 - 852. Which is smaller: p or 0?
p
Let n = 38 - 33. Suppose 0 = -2*g + 5*z + 20, -g + 2*z - 12 = n*z. Let m be (-2 - 0)/((-40)/(-6)). Is m at least as big as g?
False
Let x(z) be the second derivative of z**3/2 + 7*z. Let o(d) = -8*d. Let t(q) = 5*o(q) + 14*x(q). Let k be t(-3). Which is smaller: k or -7?
-7
Suppose -354*x + 364*x - 5890 = 0. Which is smaller: 590 or x?
x
Let m = 5879469/1652 + -3559. Is m >= 0?
True
Let k = 12013 + -492733/41. Is k < -4?
True
Let t(y) = -y**3 + y**2 - y + 15. Let h be t(0). Let c be 12*(-3 + h/6). Let a = c + 7. Which is smaller: a or 1/8?
1/8
Let w = -0.403 - -0.103. Let m = -0.8 + -1.2. Are w and m equal?
False
Let h(x) = -3 + 11*x + 3 - 10 - 12*x. Let z be h(-12). Let t = -1 - -10. Which is smaller: z or t?
z
Suppose 41*f - 40*f + 3*t = 9, -2*f + 5*t + 40 = 0. Which is greater: -4 or f?
f
Suppose -133 = 5*v - 633. Let f be v/28 + (-3)/(-7). Is f greater than or equal to 9?
False
Let c = -352 + 17246/49. Let g = -53/98 - c. Which is greater: -1 or g?
g
Let c(j) = j**3 - 26*j**2 - 34*j + 228. Let i be c(27). Which is bigger: 196/5 or i?
196/5
Let c be ((-1 + 1)/(4/(-2)))/1. Which is smaller: -8 or c?
-8
Suppose 5*l = -z - 284, -4*l = 2*z - z + 227. Which is greater: l or -55?
-55
Let g(x) = -x + 7. Let l be g(6). Let y(k) = -108 + 2*k + k + 99. Let s be y(3). Is s < l?
True
Let g be 2/(-6) + (-78)/(-18). Suppose g*a + 20 = 0, 2*j - 3*j - 1 = -3*a. Let d be 8/j + (-10)/(-18). Is 1 at 