
Let k = -7 + 1. Let n be (k/15)/((-12)/15). Which is smaller: 2 or n?
n
Let a(t) = t**2 - 5*t + 4. Let c be a(4). Let g be (-6)/(-12) - ((-3834)/20 - -1). Let z = g - 192. Which is smaller: z or c?
z
Let j(o) = -7*o - 56. Let x be j(-12). Suppose -r = -g + 3*g - 36, -2*r = -4*g - 32. Which is smaller: r or x?
r
Let a = 5.99 + 0.01. Let v = 14 - a. Let b = -10 + v. Is 3 greater than b?
True
Suppose -5*x = -2*x. Let t be -2*1/8*-4. Let g be t + (36/7)/(-6). Is g != x?
True
Let h = -0.436 + 0.636. Is h less than -29/3?
False
Let b = -6 + 24. Let m = 19 - b. Let y = 5 - 5.4. Is m at least y?
True
Let y(a) = 27*a + 135. Let v be y(0). Which is bigger: 950/7 or v?
950/7
Let d = -342 - -242. Which is bigger: -3 or d?
-3
Let o be -7 + 6 - 232/20. Let t = o + 64/5. Which is greater: t or 0?
t
Let b = -482 + 481. Is 94 equal to b?
False
Let i = -0.098 - -106.098. Let u = 98 - i. Is 2 greater than or equal to u?
True
Suppose -6*a = -169 + 163. Let y be 7/(-12) + 4/12. Is y smaller than a?
True
Let g(k) = 2*k**3 + 13*k**2 - 5*k - 60. Let j be g(-5). Which is smaller: j or 31?
31
Let a = -195 + 14623/75. Is -3/7 equal to a?
False
Let v = -19/260 + 21/65. Let k be ((-19)/(-21) - 1)*3. Which is smaller: k or v?
k
Let c be -1*(-3)/((-6)/(-4)). Suppose 2*s + 13*u - 16*u = -6, -s = -5*u + 17. Which is bigger: s or c?
s
Suppose -2*v - 3*f + 64 = -0*v, 4*v = f + 156. Let j = v - 40. Which is bigger: j or -12/5?
j
Suppose 2*x + 78 = -2*z + 4*x, -5*z = 2*x + 174. Which is greater: -34 or z?
-34
Let s = -1.5 - -2. Let c = -613 - -613.2. Let w = s - c. Is w != 0?
True
Let v(d) = 11*d - 4 - 12*d - 1. Let n be v(-10). Let l(t) = t + 8. Let j be l(-3). Is j >= n?
True
Let q be ((-3)/(-2))/(7 - 2104/304). Which is greater: 7 or q?
q
Let q = -81/4 + 241/12. Let t = -1 + 2. Let b = t - 1. Are b and q nonequal?
True
Suppose -7*o = -2*u - 9482, 13*u - 15*u + 4078 = 3*o. Is o at least as big as 1357?
False
Let j be (-37)/(-95) - (-30)/(-50). Suppose -4*q - 3 - 22 = -5*h, 5*q = -4*h + 20. Which is smaller: q or j?
j
Let r = 496.1 - 474. Let h = r - 22. Let o = 2.9 + h. Which is bigger: -4/3 or o?
o
Let y(x) = -x**3 + 9*x**2 - 13*x + 31. Let d be y(7). Which is bigger: d or -3/8?
d
Suppose -5*y + 2*y - 3 = -3*u, 4*y = 3*u. Suppose -12*z = -y*z + 72. Is z greater than or equal to -4?
False
Let m be (2 - 2)/((-4)/2). Let w be 1 - (4 + 3072/(-1028)). Let f = w + 607/7967. Are m and f equal?
False
Let u be (1 - 0)/(9/99). Which is smaller: 14 or u?
u
Let o = -2057.6 + 2061. Is o != -14/9?
True
Let l(t) = t**3 - 1. Let b be l(-1). Let y = b - -3. Let s be 11/12 - (-1)/(-4). Which is greater: y or s?
y
Let j = 38.58 + -39. Let w = j + 0.32. Which is smaller: w or -0.002?
w
Let v = 171573/46 + -3730. Which is greater: v or -1?
v
Let f be ((-2210)/316 - -2) + (-69 - -74). Which is greater: 0 or f?
f
Let c = 500248747/4641 - 107789. Which is smaller: 1 or c?
c
Suppose -10*m + 1 = -189. Suppose 21 = d + 3. Are m and d non-equal?
True
Suppose -14 = 5*n - 4*x, -3*x = -4*n - 2*x - 9. Which is greater: -11/14 or n?
-11/14
Let p = -5 + 9. Suppose 0 = -t - p*y - 17, -2*y - 2 = -4*t + 2. Which is greater: 9 or t?
9
Let u = 16 - -8. Let h = 5753/805 + 16/115. Let j = h + -7. Are j and u non-equal?
True
Let c = 82.136 + -82. Let y = c - 0.036. Which is bigger: y or 1.8?
1.8
Let w be (2/8)/(150/(-16)). Let d be (-75 - (0 + 0))/(-8 + 9). Let s = 76 + d. Do w and s have the same value?
False
Let b = -195 - -127. Is b at least -69?
True
Let z be (17/34)/((-1)/10). Suppose t - 16 = -3*t. Suppose u + t*y - 19 + 7 = 0, 2*u - 3*y + 20 = 0. Is u bigger than z?
True
Let v = 6 + -4. Let c = -1 + v. Let a = -0.105 - -0.265. Do c and a have the same value?
False
Let j(h) = 3*h**3 - h - 3. Let m be j(6). Let l = m - 363. Let p be (-3)/12 + 141/l. Which is greater: -1 or p?
p
Let n = 58.072 + -58. Are n and -2 equal?
False
Let u be 42 + (5 - (1 - 0)). Let x = u - 46. Is x less than -4/17?
False
Let v = 39.01 - 43. Let y = 0.01 - v. Let p = 14 + -14. Is y greater than p?
True
Let s = 32.5 + 271.5. Which is bigger: 1 or s?
s
Suppose 8*v - 36 = 4*v. Let c(u) = u**3 - 7*u**2 - 6*u - 5. Let x be c(8). Suppose y - x + 1 = 0. Are y and v non-equal?
True
Suppose 15*h - 8*h = -182. Let i be -1 + (-3)/(-4) - h/8. Suppose 8*v - 10 = 4*v + 2*p, -v - p + 4 = 0. Is i greater than v?
False
Let y(q) be the third derivative of q**5/60 + q**4/24 - 5*q**3/6 - 3*q**2. Let r be y(-3). Which is smaller: r or -1/134?
-1/134
Let c(h) = -14*h**2 + 8*h - 3. Let x be c(3). Let p be (-4 + x/(-25))/2. Is -1 bigger than p?
False
Suppose -144*b = -151*b + 56. Is b != 22/3?
True
Let x = 5.64 - 8.31. Let k = 0.27 + x. Let z = k + 1.4. Is -0.1 smaller than z?
False
Let r(v) = 79*v + 400. Let c be r(-6). Which is greater: c or -76?
c
Let i = 97 - 99. Let y be (4 + i - (3 - 2)) + -1. Is -4/43 >= y?
False
Let g be (-46)/(-70) + (-720)/900. Does g = 0?
False
Let u(k) = 20*k - 94. Let n be u(-5). Do -195 and n have the same value?
False
Let o(j) = 2*j**2 + 176*j + 843. Let b be o(-5). Suppose -12 = -i - 1. Suppose -28 - i = -3*w. Is b < w?
False
Let x(g) = 9*g - 419. Let m be x(46). Let c(t) = t**3 + 7*t**2 - 9*t - 8. Let s be c(-8). Let v = 0 + s. Which is greater: v or m?
v
Let l = -13745/106 + 389/3. Is l not equal to 0?
True
Let d be 2*(-1)/(-2) - -1. Let q(x) = x - 1. Let y be q(d). Suppose 0 = -n + 2*m - 4, 0*m - 14 = -4*n - 2*m. Is y at most n?
True
Suppose 0 = 6*w - w - 30. Suppose -w*l + l = 0. Is 2/93 bigger than l?
True
Suppose 0 = -2*b - b + 69. Let u be (-12)/(-294)*7 + 248/14. Let q = 6 + u. Is b >= q?
False
Suppose 2 = -4*x + 62. Suppose -5*z = x - 65. Let a be 5*((-36)/z + 2). Is -9 less than a?
True
Suppose 2*n - 6*n - 3*k = -11, -4*n = -4*k + 24. Which is bigger: n or -3/358?
-3/358
Let n = -245.86 - -248. Let c = 0.46 + n. Is 3 >= c?
True
Let c = -17 + 19. Suppose 22*m - 25*m + 9 = 0. Is c <= m?
True
Let h = 2 - 2. Let a = -0.5 - -0.9. Let v = a + -0.2. Is v less than h?
False
Let p be 5 + -4 + (-6 - -6). Which is smaller: p or 1/9?
1/9
Suppose w + 26 = 5*z, -w - z + 5*z = 22. Which is bigger: -34 or w?
w
Let d(j) = -2*j**2 + 13*j + 3. Let i be d(4). Let s(v) = 2*v - 46. Let q be s(i). Which is greater: 1/177 or q?
1/177
Suppose 5*o - 5 = u, -10 = 2*o - 7*o. Suppose -7*c + 3*c + 4*g = -12, 12 = -u*c - 4*g. Which is smaller: -7/12 or c?
-7/12
Let i = -2 + 1. Let o = -247.4 - -245. Which is smaller: o or i?
o
Let w(h) = -h**3 - 5*h**2 - 5*h - 6. Let g be w(-4). Let i(m) = 8 - 3 + 2*m - 3. Let t be i(-2). Is g at most as big as t?
True
Let y = -1381 + 2092213/1515. Is 0 at most as big as y?
False
Let o(v) = 2*v + 1. Let w(b) = 6*b + 4. Let l(m) = -7*o(m) + 2*w(m). Suppose 0 = t - 2*t - 3*f + 5, 5*t + 4*f - 3 = 0. Let i be l(t). Which is bigger: i or 4?
4
Let h = 7.5 - 7.62. Let n = h - 0.88. Which is bigger: n or 0.01?
0.01
Let n = 0.0252 - -4.9748. Which is smaller: n or -1/9?
-1/9
Let i(q) = 2*q + 13. Let j be (-1)/(22/(-8) + 3). Let p be i(j). Suppose -p*w + 2*w = -18. Which is smaller: w or 3?
3
Let y = 14788/82225 - -1/6578. Let j = -217/650 + y. Which is smaller: j or -1?
-1
Let y = 0.07 - -0.93. Let l = -13.2 + 12. Let f = l + y. Which is bigger: f or -1?
f
Let v be (45/20)/(6 - (-1444)/(-240)). Is -128 < v?
False
Suppose 3*r = 5*x + 2, r + 15 = 14. Is 0.076 at least x?
True
Let h be 438/219 - 292/(-15). Which is smaller: 21 or h?
21
Let m be -6*(-5)/195 - (-735)/(-468). Are m and 0 equal?
False
Let i = -0.03 + 0.43. Let s = 0.7 - i. Let f = 10878 - 10879. Which is greater: f or s?
s
Let h = 14.83 + -14.76. Let w = 1.7 + -2.8. Let b = -1 - w. Which is smaller: b or h?
h
Suppose -3*m - 295 = 4*v - 0*v, 0 = -2*v + 2*m - 158. Let i be ((-3)/9)/(v/144). Which is bigger: i or 0?
i
Let x be (-2452)/30 - (-6 + 17/3). Let r = x - -12632/155. Are r and 1 non-equal?
True
Suppose 0 = 5*q - 5*m - 25, -4*m + m = 0. Let f = -0.81 - -0.01. Let b = 1.8 + f. Which is smaller: b or q?
b
Let r = 5.4 + -47.4. Let m = -60 - r. Let v = 17.95 + m. Are 2/5 and v non-equal?
True
Let z = 277/924 + -5/28. Let p(h) = 20*h**2 - 222*h + 21. Let w be p(11). Are z and w equal?
False
Let f(t) = -2*t**2 + 21*t - 10. Let g be f(10). Let m be 31 - 4/(-12)*g/2. Are 31 and m unequal?
False
Let i = 808 + -817. Which is smaller: i or -5/16?
i
Suppose 0 = -z - 