*c = -t. Suppose 3*z + 4*v - 12 = 2*v, -5*z - 5*v = -25. Is z >= c?
True
Suppose 317 = -31*z - 117. Which is bigger: z or -61/4?
z
Let d = 334/155 - 32/15. Suppose 7*v - 131 = -131. Which is smaller: d or v?
v
Let n(d) = 0*d**2 + 5*d**2 - 5*d**2 - 2*d**2 + d**3 + 1. Let v be n(2). Does -2/37 = v?
False
Let s be -3 - -5*(-3 + 4). Suppose -s - 8 = -g. Is 11 smaller than g?
False
Let b = -28.58308 - 0.02692. Let h = b - -30.6. Let z = h - -0.01. Is z smaller than -2/11?
False
Suppose -4*w + i - 9 = -42, 5*i + 4 = -3*w. Suppose -2*s = -w*s. Let z be ((-6)/(-27) + 0)*1. Which is greater: s or z?
z
Let j = 41 - 43. Let z be (-3 - j)/(((-10)/(-8))/5). Do -5 and z have the same value?
False
Let k be (135/(-18))/15*(-2)/4. Which is smaller: k or 0.813?
k
Suppose 0*y - 45 = 5*y - 5*a, 3*y + 2*a = -52. Let q(d) = -d - 1. Let l be q(-1). Suppose -z = -2*b + 3 + 2, l = -3*z + 3*b - 27. Which is greater: y or z?
z
Let a = 66 - 39. Suppose -2*m - 4*d + 2 = -0*m, 5*m - d - a = 0. Suppose -4 = -3*f + 5*h, 3*h - 68 = -65. Are f and m nonequal?
True
Let o(s) = s + 9. Let x be o(-7). Let n be (x/12*-2)/(-1). Let a(r) = -r**2 - 4*r + 31. Let b be a(-8). Which is smaller: n or b?
b
Let y be (-12)/(-14)*(18 + 3). Suppose -v + y = 30. Which is smaller: -13 or v?
-13
Let n be (-1 + -3 + 2)/5*5. Let m be (52*(-10)/124 - n) + 2. Is 1 greater than m?
True
Let n be 13 - 2 - (-10)/15*-9. Is -2/93 less than or equal to n?
True
Suppose -15 = 3*a, 3*f - a - 136 = 28. Is 51 less than or equal to f?
True
Let c(d) be the third derivative of -d**4/8 - d**3/2 - 3*d**2. Let r be c(-7). Suppose -n + 4*k - r = 0, -6*n + 4*n = -3*k + 11. Which is smaller: n or 3?
n
Let w = 40803113/1355 - 30113. Which is smaller: 0 or w?
w
Suppose 4 = -6*x + 7*x. Let s be x - (-50)/(-55) - 3. Which is bigger: s or 1?
1
Let g = 0.046 - 0.157. Let b = -0.051 - g. Is b greater than -0.1?
True
Let f = 4 - 14/3. Let g be (-4)/(-6 + 4) + 54. Suppose -5*o = -3*o + g. Is f bigger than o?
True
Let p = -33.7 - -34.92. Which is smaller: 1 or p?
1
Let a = 0.31 - 0.11. Let u be 1/((-2)/(16/(-12))). Is a < u?
True
Let t(j) = j**3 + 2*j**2 - 3*j - 2. Let l be t(-3). Let h = 17 + -20. Let v be (2 - l - 2) + h. Which is greater: -2/29 or v?
-2/29
Let s(h) = -h**3 + 5*h**2 - 3*h. Let r be s(4). Let k(x) = -2*x**2 + 4*x + 102. Let a be k(8). Is a > r?
True
Let r(a) = -a**3 - 4*a**2 + 7*a + 3. Suppose 13 = -3*v - 2. Let o be r(v). Do o and -5 have the same value?
False
Suppose 0*g + 2*g + 6 = 2*l, -4*l + 3 = 5*g. Suppose -3 + 3 = l*o. Which is smaller: -2/3 or o?
-2/3
Let a(h) = -h + 1. Let t be a(1). Let m be 1/((-2)/(-6)) - 256/112. Is m < t?
False
Let p = 530.6 - 567. Which is greater: -0.1 or p?
-0.1
Let p be (-3*4/(-36))/((-3)/27). Let j be p/6*0 - (-4)/20. Which is smaller: j or -6?
-6
Suppose 12*n = -0*n + 2280. Which is greater: n or 189?
n
Let t = -34562/29 - -1192. Let l = -47/87 + t. Let w = 4.6 + -4.5. Which is smaller: l or w?
l
Let u be 4 + 2 + (-500)/78. Let s = 634/975 + u. Is 1 equal to s?
False
Let n = 6.6 + -6.7. Which is bigger: 1/2 or n?
1/2
Let k = 0.2 + -0.08. Let i = 0.1975 + 0.0025. Which is smaller: k or i?
k
Suppose 0 = u + p + 2, -8 = 4*u - 9*p + 4*p. Let y = -6 + 0. Let w be 31/(-15) - (-2)/y. Which is smaller: u or w?
w
Let q = 5/2 + -17/6. Let n = -2/2637 - 15628/255789. Let k = n - -236/679. Which is smaller: k or q?
q
Let z be (3 + -3)*2/6. Suppose -5*v = -2*v - t + 11, 3*v - 5*t + 7 = z. Which is smaller: v or -3?
v
Let n = 2786 + -2784. Let f = -89 + 53. Do f and n have the same value?
False
Let a = -61 + 66. Let x be 10*(-3)/(-28)*1/a. Which is smaller: -1 or x?
-1
Suppose -23*i - 675 = 4*i. Is -0.1 <= i?
False
Let i = 62 + -86. Let s = i + 2. Is -21 less than or equal to s?
False
Suppose -4*c - 45 = -5*r, -2*r - 2*c + 5*c = -11. Let j(h) = 1 + h + 11 - 6 + 6. Let k be j(0). Is k >= r?
False
Suppose 7 = 5*d - 3*f + 4*f, -2*f = -5*d + 16. Suppose -u = -3*k + d + 2, -2*u - 8 = 5*k. Is -1/12 smaller than k?
True
Let n(c) = 2*c - 8. Let i(q) = -q**3 + 3*q**2 + 4*q + 5. Suppose 5*r = 5*f - 35, f + 2*f + r - 9 = 0. Let u be i(f). Let s be n(u). Which is smaller: s or 4/5?
4/5
Let q = 0.693 + -0.683. Which is greater: q or -1/92?
q
Let g be 5/((-10)/4)*-1. Suppose -3*k = -z - 124, 0 = -3*k + 4*k - g*z - 48. Is 41 at most as big as k?
False
Let g(l) = l - 8. Let b be g(8). Suppose 4*z - 8 = -b*z. Are z and -6/11 unequal?
True
Let s = -61 + 65. Suppose -s*j = 3*b + 11, 2*b + 2*b = 5*j + 6. Which is smaller: 4/41 or b?
b
Let x(q) = q**2 + q + 3. Let a be x(0). Suppose a*j + 70 = j. Let y be (-1 - -6)*21/j. Which is smaller: 0 or y?
y
Let w = 44 - 62. Let r(y) = -8*y**2 - 2*y + 1. Let o be r(1). Let q be 104/w - (-2)/o. Is q > -6?
False
Let p = 486 + -488. Is p greater than -3/52?
False
Suppose 0 = q + 1 + 2. Let n be 4/(-8*(3/(-12) + 0)). Let d be (-1)/n - (-6)/24*2. Is q != d?
True
Suppose -520*v - 272 = -512*v. Suppose 5*i + 48 = -127. Is v at least as big as i?
True
Suppose 0 = 15*d + 3471 + 1074. Is d at least -302?
False
Let w = -3.3 - -0.8. Let i = 2.4 + w. Which is smaller: i or -8?
-8
Suppose 3*u - 157 = -1. Suppose 15*m - 38 - u = 0. Let n be (-1)/(-4) - 11/(-2). Is m smaller than n?
False
Let f = -193/4 + 48. Suppose -2*c = -g + 48, -24*g + 124 = -21*g + 4*c. Which is smaller: f or g?
f
Let s = 497 + -167. Let a be 10/25 + (-112)/s. Which is greater: a or 1?
1
Suppose 2*n - 15171 = 5*i, 4*i + n = 3*n - 12136. Let w be 2/(-7) + i/35. Which is greater: w or -86?
-86
Let u be (1/(-11))/((-52)/572). Is u bigger than -3/29?
True
Let r be 935/45 + (80/36)/10. Let q(k) = 21*k**2 + 2*k - 1. Let f be q(1). Are f and r non-equal?
True
Suppose -p + 92 - 16 = 0. Let j be (-2)/(-4) - p/(-8). Is j bigger than 8?
True
Let o(s) = -3*s**2 + 6*s**2 + 14*s - 5*s**2 + 0*s**2 - 8. Let x be o(6). Suppose -2*q = -x, 2*n = 4*q - 7*q + 6. Which is bigger: n or -0.05?
n
Suppose 2*c = w - 144, c - 4*w - 4 + 62 = 0. Let h = -75 - c. Which is greater: 3/22 or h?
3/22
Suppose 112 = -19*a + 12*a. Is a less than or equal to -0.2?
True
Let v be (-9)/(-15)*30/(-14). Let c = 2 - -2. Suppose t + 3*z = -11, 0 = c*t - 3*z - 2 + 1. Which is greater: t or v?
v
Let d = -20.06 - -20. Let n = 0.17 + d. Let l = 0.89 + n. Which is greater: l or -0.1?
l
Let z = -22.1 - -21. Let s = 0.96 + z. Let d = s - 1.16. Is -1 > d?
True
Let n(x) = 77*x - 39. Let r be n(2). Which is smaller: 116 or r?
r
Let t = -115 + 114. Are 5/13 and t equal?
False
Let l = -6 + 9. Suppose -t = 2*t - l. Let j be (-12)/(-30) + (-31)/40. Do t and j have the same value?
False
Suppose h - 5 = -22. Let s(n) = 2*n**3 - 4*n**2 + 15 - 12*n**2 + 18*n - 3*n**3. Let x be s(h). Which is smaller: x or -1?
x
Let h(j) = -j**3 - 6*j**2 - 10*j - 8. Let c be h(-4). Let o be 8/(-10)*5/(-34). Which is greater: o or c?
o
Let k(b) = -b**2 - b + 10. Let c be k(-3). Let l = c - 5. Is l less than or equal to -2/9?
True
Suppose 3*s - 35 + 5 = 0. Suppose -3*k = -5*k + s. Which is greater: k or 1?
k
Suppose 1 - 7 = w. Let b(d) be the second derivative of d**4/12 - 7*d**3/6 + 3*d**2 + 2*d. Let l be b(4). Is l > w?
False
Suppose 0 = -5*u + 2*i + 23, -98*u - 5 = -101*u - i. Which is smaller: u or -464?
-464
Suppose 23*v - 35*v = 1428. Which is smaller: -123 or v?
-123
Let u = 118 - 115. Suppose 5*w = -5*v - 5, 3*w + u*v - 9 = 6*v. Is -21 <= w?
True
Let z = -133.3 - -129. Which is greater: 2/7 or z?
2/7
Let r(w) = -w + 6. Let k be r(-6). Suppose -4*j = -j - k. Let l be j/36*(0 - -1). Is l less than 1?
True
Let i be ((-4)/(-8)*16)/2. Suppose 2*l - 40 = i*l. Let m = l - -28. Which is smaller: m or 7?
7
Suppose -278 = -3*p + 136. Suppose 135*j - 54 = p*j. Is j not equal to -18?
False
Suppose -43*x = -49*x + 5004. Which is bigger: 833 or x?
x
Suppose 2*f - 12 = -4*b, 5*b + f - 14 = -f. Let t(y) = -7*y + 39. Let g be t(5). Suppose 3*x = g*q - 1, 1 + b = -2*x + 5*q. Which is smaller: 0 or x?
0
Let k(g) = 2*g**2 + 3*g + 1. Let s be k(-2). Let r be (2/s)/(62/(-6)). Suppose -4*l = -3*p + 16, -5*p + 28 = -4*l + 4. Does l = r?
False
Let n(p) = p**3 + 4*p**2 - 6*p - 25. Let m be n(-4). Which is greater: 2 or m?
2
Let r be -320 + 319 + ((-126)/61)/(-2). Suppose -2 = 4*n - 6. Which is greater: n or r?
n
Let r(g) = g**3 - g**2 - 2*g + 2. Let t be r(-3). Let s be (-30)/t*(-3)/(-15). Which is bigger: -