 -g = -2 + 3. Let r be -3 - (12 + 72/(-5)). Which is smaller: r or g?
g
Let w = 0.14 - -0.05. Let v = -0.01 - w. Let u = -8 - -8. Does u = v?
False
Let i(b) = -3*b**2 - 2*b + 6. Let k be i(-2). Let z = k - -2. Let g be 6/(-50)*15/(-6). Which is smaller: g or z?
z
Let o be (-2 + (-9)/(-6))*(-6 + 4). Suppose 6 = -4*i + 2. Let w be i - (o - -2) - -6. Which is greater: w or 7/8?
w
Let r = 204 - 203.8. Is 19 greater than r?
True
Let j = -331756551663/46550465 - 284/716161. Let k = j + 7127. Let l = k - -241/455. Is l greater than 1?
False
Suppose -l = -2, -i - 2 = -4*l + 3. Suppose 6*v - 90 = i*v. Let p be (-38)/10 + (-6)/v. Is p at least -4?
True
Let x(m) = m**3 + 7*m**2 + 6*m + 3. Let s be x(-6). Suppose -i = z - 18, i = -s*z + 102 - 40. Suppose -v = -3*v + z. Which is greater: v or 10?
v
Let m be 2/4 + (-414)/(-4). Suppose 1680 = -32*x + 48*x. Which is smaller: m or x?
m
Suppose -o = 5*q - 0*o - 19, 5*q - 5*o = -5. Suppose x + 8 = q. Is -6 equal to x?
False
Let w(p) = 2*p**2 + p + 2. Let v be w(-2). Suppose 4*o + 4*r = 3 + 5, -v = -2*o - 3*r. Let u be 2/(-9*o/(-2)). Which is greater: u or 0?
0
Suppose -j - 2*a + 1 = -3, -a = 5*j - 2. Let r be -426*(-4)/(-6258) - (-8)/28. Which is bigger: r or j?
r
Suppose 0 = i + 2, 4*r - 9*i = -7*i - 24. Which is smaller: -57/7 or r?
-57/7
Suppose -3*p + 4*p = -29. Let y = -22 - p. Do y and 8 have the same value?
False
Suppose -98 = i - 28. Let z = i + 212/3. Does z = -0.09?
False
Let h be (-948)/2934 + 4*3/36. Let u = 249314526 - 7924462208257/31785. Let o = h + u. Is o at most -1?
False
Let t be 5/66*84/(-1960). Are t and 1 equal?
False
Let v = -2.95 + 2.954. Which is smaller: 1 or v?
v
Suppose 2*u - 202 = 5*k, 3*k + 178 - 59 = -u. Let h be 5/2*32/k. Let x be 1 + h + (-3)/6. Is x <= -3?
False
Suppose 24*c - 5*c + 608 = 0. Is c not equal to -32?
False
Suppose 3*i + 243 = -6*i. Let b be 147/(-6) + -3 + (-10)/(-4). Which is smaller: i or b?
i
Suppose -3*i - i = -8. Suppose -4*q + 7*q - 12 = 0, -23 = -3*v - i*q. Suppose -3*r = -v*r + 2. Which is smaller: -2/7 or r?
-2/7
Suppose -5*s + 2205 = t, -3*s + 13*t = 14*t - 1321. Is s bigger than 442?
False
Let y = 34 - 35. Let o(u) = 17*u**3 + 2*u**2 + u + 1. Let b be o(y). Is -16 greater than b?
False
Suppose 4*i + 5*g - 87 = 6*i, 3*g - 189 = 5*i. Let q be ((-42)/(-26))/(i/(-8)). Let f = q - 160/663. Which is smaller: 1 or f?
f
Suppose -6 = 3*f + 2*m, 4*m - 13 = 4*f - 5. Suppose -4*h - 11*h + 45 = 0. Which is bigger: h or f?
h
Let l = 20.89 + -19.6. Let t = l - 0.09. Let y = -1.1 + t. Which is greater: -0.07 or y?
y
Let c be 70/(-140) - 95/2. Is -48 at least c?
True
Suppose -624 = -44*l + 43*l. Suppose 5*w = 18*w - l. Is -1 less than or equal to w?
True
Suppose -z + 12 = 4*q, 9 + 3 = 4*q. Suppose -3*a - 4*y - 107 = 0, y + 3*y + 74 = -2*a. Let l be a/15 - (3 - 4). Is l >= z?
False
Suppose 10 = 5*f, 3*n = 5*n - 4*f + 4. Let j be 1/(1/(-2) - n). Is -0.2 at least as big as j?
True
Suppose -171 = -67*n - 37. Is n less than -415?
False
Suppose 5*r - 5 - 5 = 0, 4*q + 124 = -4*r. Which is smaller: -34 or q?
-34
Suppose 0 = -3*p - 12, -23*o + 1 = -28*o - 4*p. Suppose y - 2 = -g, y - 4*g = -21 - 2. Do y and o have the same value?
False
Let o = -334 + 2996/9. Which is smaller: o or 0?
o
Let t(a) be the first derivative of a**3/3 + 5*a**2/2 - 5*a + 23. Let l be t(-6). Which is bigger: l or 0?
l
Suppose -10 + 0 = -2*t, 150 = 5*j + 4*t. Let a = j - 43. Is a less than -17?
False
Suppose 0 = s - 0*s - 2. Suppose 4*y + 16 = 4*r, s*r + 3*y - 12 = y. Let m be -4 + r - (-2 - 1). Are m and 9/2 equal?
False
Let n(t) = -t**3 - 3*t**2 + 13*t - 9. Let y be n(-6). Suppose 17*f - 4 = y*f. Is -1/4 equal to f?
False
Let z = 182 + -133. Let p be 38/(-14) + (-24)/(-8). Is z != p?
True
Let m = -922 + 1013. Is 89 smaller than m?
True
Let i = 10903/3999 + -85/31. Let y = -139/645 - i. Which is smaller: 1 or y?
y
Let n = -1/94 - -99/470. Let x = 16 + -16. Let h = x + 3. Which is greater: n or h?
h
Suppose 0 = 3*j + 3*z + 15, 10*j - 5*j - z = -31. Which is smaller: 3 or j?
j
Let l(g) = -g**2 - 14*g + 2. Let u be l(-14). Suppose 3*x = -u*z + 13 - 57, -15 = z - 2*x. Is z greater than -19?
False
Suppose 2*h + 65 + 131 = 0. Is h < -98?
False
Let i(b) = -2*b. Let l be i(-1). Suppose 0 = 5*d - d - l*h - 8, -d - 3*h + 2 = 0. Which is greater: -1 or d?
d
Let o(d) = d**3 - d**2 + 7*d - 6. Let u be o(1). Which is bigger: u or -6/13?
u
Let m = 51984/79 - 658. Which is smaller: m or -9?
-9
Let b = 5.8 - -38.2. Let n = 398 + -399. Which is greater: b or n?
b
Let n = -895/19 + 47. Let t = 444 + -442. Is t at least as big as n?
True
Let o be 36/27*(16 + -1). Suppose -11*u + 16*u = o. Suppose n + 12 = -5*t, 4*t = -0*n + u*n. Is t at least 0?
False
Let n = -21 + 25. Let u be 9/((-18)/n) - 0. Is 0 at most as big as u?
False
Let i = 52 - 48. Suppose 4*m + 0*m = 8. Let o be i - (m + -14)/(-4). Which is greater: -2/51 or o?
o
Let u = 6 + -6.1. Is u greater than 3/49?
False
Suppose 2*j = -3*g - 7, -1 - 6 = -g + 4*j. Which is smaller: g or 18/65?
g
Let o = -0.11 - -7.11. Let y = 59 - 51. Let h = y - o. Is -8 at least h?
False
Let w(k) = 73*k**2 - 9*k - 5. Let i be w(-3). Is i >= 680?
False
Let m(u) = u**3 + 5*u**2. Let t be m(-5). Do -3/415 and t have different values?
True
Let o(h) = -3*h**2 + 5*h - 4. Let g be o(3). Let w be -4 - 0 - ((-12)/(-6) - -21). Let k(p) = -p**2 - 24*p + 64. Let d be k(w). Is g <= d?
False
Let k = -0.94 + 0.44. Let p = k - -0.43. Is p smaller than -1/3?
False
Suppose 2*c - 4*c = 0. Let f = -44 - -20. Let r be ((-6)/(-76))/((-18)/f). Is c at most as big as r?
True
Suppose -y + 4*u + 6 = -5, 7 = -4*y - u. Suppose 7*h - 3*h - 4 = 0. Let k be 0*h*y/(-3). Which is bigger: -2/43 or k?
k
Let q(f) = -17*f + 9. Let g(n) = 4*n - 2. Let y(i) = -26*g(i) - 6*q(i). Let p be y(-3). Let v be (-264)/(-380) - p/5. Is v < -1?
False
Let h(p) = -31*p + 60. Let y be h(2). Let a be 2/(-4)*(-1 + 5). Is y > a?
False
Let p = 238 - 8331/35. Is p bigger than 1?
False
Let z be 0 - -1 - ((-242858)/(-11025))/22. Which is bigger: z or -1?
z
Suppose 0 = g + 2*d + 4, 0 = 3*d + 2 + 1. Let j be 0/(-1)*(-1)/g. Let p = 5 + j. Is 4 equal to p?
False
Suppose 3*g - 215 - 40 = 0. Which is smaller: 87 or g?
g
Let h = -614 - -303. Do -312 and h have different values?
True
Let l = 10.44 + -12.6. Let v = -0.34 + l. Which is greater: 0 or v?
0
Let t = 2/949 - 586/949. Let x = t - -131/234. Which is bigger: x or 1?
1
Let d = 7 + -2. Suppose 4*v + 400 - 420 = 0. Is d less than or equal to v?
True
Let r = -1 + 1. Let p = -36.64 - 0.36. Let v = p - -43. Which is smaller: r or v?
r
Suppose u - 2*u = -88. Let c = 72 - u. Let d be 32*(-1)/2*1. Is c greater than d?
False
Let q = -203.7 - -286. Let p = -82 + q. Which is smaller: p or -0.6?
-0.6
Suppose -46 = 5*u - 21. Is u less than -32/5?
False
Let u(k) = -2*k**2 - 8*k - 5. Let j(g) = -5*g**2 - 24*g - 14. Suppose 0 = 6*m + 27 - 9. Let p(t) = m*j(t) + 8*u(t). Let x be p(8). Which is smaller: x or 4/5?
4/5
Let z be 0*(-8 - 75/(-9)). Which is smaller: -1/729 or z?
-1/729
Let c(s) = -s**3 + 10*s**2 - 12*s + 28. Let f be c(9). Suppose -1 = -z + i + f, 3*i + 13 = -4*z. Let j = 0.3 - 0.2. Which is smaller: z or j?
z
Let k be (-1851)/(-12) + (-4)/(-16). Let u = k - 5863/38. Which is bigger: u or -1?
u
Let n = 0.649 + -1.649. Is n at least -1/2?
False
Let f be (27/(-6))/(-3 - (-189)/66). Which is smaller: 308/9 or f?
f
Let j = -0.228 + 5.228. Which is greater: 32 or j?
32
Let t be 6/27*3*24. Suppose -4 = 4*s + t. Are s and -4/9 equal?
False
Let l(u) = -6*u - 6. Let o be l(-5). Let r be (o/(-42))/(12/(-938)). Let w = r - 45. Is w equal to 1?
False
Let g(l) = -l**3 + 8*l**2 - 6*l - 3. Let x be g(7). Suppose x*z - 24 = -0*z. Let o be (-345)/(-30) + (-12)/2. Which is greater: z or o?
z
Suppose 3*j + 65*p + 504 = 67*p, 3*j - 5*p + 504 = 0. Do -168 and j have the same value?
True
Let b be (-11)/6 - 1 - -1. Let f be 3/(20 + 1) + 1495/(-714). Let y = b - f. Are -1 and y equal?
False
Suppose 5*d = -0*t - t + 23, -t = d - 3. Let r be (-4)/(-8)*-14 + t. Suppose -24 = 5*g + 4*n + 12, -3*g - 3*n - 21 = 0. Which is smaller: r or g?
r
Suppose 3*o - 317 = 2*l, 0*o - 4*l + 416 = 4*o. Which is smaller: o or 107?
o
Let t = -141 - -78. Let j be (t/12)/3*12. Is j greater than -22?
True
Let h be 75/175 - (-8)/(112/(-2442)). Which 