 6*g - 18. Let n be a(-12). Let z = n - -101. Which is greater: z or 13?
13
Suppose 2*l + 5*k = -430, 3*l + 3*k + 352 + 311 = 0. Is l greater than -225?
False
Let p(o) = -58 - o + 47 - o. Let x be p(-8). Suppose 0 = x*g - 4*w, 7*w = -5*g + 4*w. Which is bigger: 1 or g?
1
Suppose 2*z + 3*z = 0. Is z at most -3/227?
False
Let s = 1.315 + -0.131. Let k = 0.034 - s. Let n = -0.15 - k. Which is smaller: -1 or n?
-1
Let t(y) = 5*y**2 + 2*y + 1. Let r be t(-1). Let f(b) = b**3 - 4*b**2 - b + 3. Let c be f(r). Let h = -629/5 - -16359/130. Is h greater than or equal to c?
True
Let f be 2 + (-128)/56*1. Do 1 and f have different values?
True
Let i(k) = 2*k + 24 - 8 + 0*k. Let t be i(-9). Is t >= -3?
True
Suppose -b = 4 - 3. Let p = -712/377 + 25/13. Which is greater: p or b?
p
Let u = -11.2 - 4. Let z = -17 - u. Let f = -0.8 - z. Is 8 bigger than f?
True
Suppose 16 = -3*i - p, 2*p - 4 - 12 = 2*i. Let k be (0 + 0)/(i + 4). Are k and 3/10 nonequal?
True
Let n = -16639/220 - -1209/20. Which is bigger: n or -15?
-15
Suppose -2*x = -3*t - 29, -2*t + 78 - 74 = x. Which is bigger: -1 or x?
x
Suppose z - y - 148 = 3*z, 370 = -5*z - 4*y. Is -79 greater than or equal to z?
False
Let b(o) = -2*o**2 + 8*o - 7. Let k be b(7). Let p = -43 - k. Let d be 4/3*6/4. Which is smaller: d or p?
d
Suppose -5 = -2*r - 31. Let f = 37 + r. Which is smaller: f or 23?
23
Let d be (-3)/6 - 3/(-6). Let z = 1 - d. Let a be z/6*9/(-3). Which is greater: 0.2 or a?
0.2
Let a(f) = -18*f**3. Let w be a(1). Let m = w + 27. Let s = -12 - -20. Which is bigger: s or m?
m
Suppose -5*k = -0*k. Let f(t) = 3*t**2 + t + 2. Let v be f(-1). Suppose 0 = -2*b + 4*n + 14, -2*b + v*n = -4*b - 18. Which is bigger: k or b?
k
Let u(v) = -v**2 + 1 - 14 + 20*v + 0 - 4. Let x be u(13). Which is bigger: x or 73?
x
Let v = -2/37 - 95/296. Let k = 1.91 - 104.91. Let y = 103 + k. Is y greater than v?
True
Let h be -1 - (1 + 4)/(-5). Let o be h/(-8)*(-2)/(-1*4). Which is greater: o or -2/3?
o
Let t = -7 - -11. Let r = t - 8. Let f be 2/8 - 390/120. Does r = f?
False
Let o(y) = -y**3 - 3*y**2 - 5*y - 5. Let s be o(-2). Let d be (-14)/8 + (-2 - -4). Is s > d?
True
Let h = -736.9 - -737. Are 108/31 and h non-equal?
True
Let i(f) = -f**3 - f**2 + 2*f. Let m be i(-2). Suppose m = 3*c - 12. Suppose -2*p = -5*o - 10, o + 40 = -c*p - 4*o. Which is smaller: 1/2 or p?
p
Let m be (-179)/(-358) - (-17)/(-30). Is m <= 2/221?
True
Let d(w) = -2*w - 550. Let q be d(-42). Are q and -467 equal?
False
Let a = 538/33 - -20/33. Is 18 greater than a?
True
Suppose 5*f = 7 + 38. Let w = f - 13. Is w not equal to -4?
False
Let g = -140 - -131. Is g at least -2?
False
Let r = -2 - 9. Let d be 12/(-15)*5/r. Let c = -307 + 307. Which is smaller: c or d?
c
Let h = 238.1 + -272. Let z = -34 - h. Is z bigger than -16?
True
Let p = 1998 - 2005. Suppose -8 = 4*w + 20. Does w = p?
True
Let v = 2119528/30867 + 2/10289. Which is smaller: 69 or v?
v
Suppose 65 = -3*t - 7. Let k be (-4)/3*(-36)/t. Let x be (-3)/(-15)*(-5)/(-3). Is k equal to x?
False
Let t be (1 + -3)*1 + 3. Is 16/9 at least as big as t?
True
Let k be 2/6*(-9)/12. Let h = 2 - -43. Let o = h + -45.3. Which is smaller: k or o?
o
Let k = 0.06 - -4.94. Let u = -0.031 - -34.931. Let m = u + -35. Are m and k non-equal?
True
Let k(f) = 1 + 0 + f - 11. Let v be k(10). Which is bigger: v or 1?
1
Let t = -1147.01 + 1148. Is t at least as big as 0.5?
True
Let x(l) = l - 2. Let h be x(2). Let j be 2 + (h + 5)/(-2 + 3). Which is bigger: 9 or j?
9
Let h = -1091.999 - -1093. Let z = -0.001 + h. Let t = 2 - 1. Is t equal to z?
True
Suppose 606*a + 3215 = 601*a. Do -643 and a have the same value?
True
Suppose -2*s = -0*s + 10. Let q be (s/70)/(2/(-11836)). Let u = q - 422. Is 0 equal to u?
False
Let y = -1187/10 + -184/5. Is y greater than -157?
True
Let j = 198 + -203. Is j bigger than -10?
True
Let y = -7162/11 + 651. Is y at most -1/29?
True
Let u be 2/162*316/(-1572). Let m = u - 89793625/2928636. Let x = m - -123/4. Which is bigger: 0 or x?
x
Let h(c) = -c + 7. Let v be h(5). Suppose 4*p - 18 = -b, -b = 4*b + v*p. Which is greater: b or -22/7?
b
Let j = -35 + 39. Suppose -j*f + 4*w - 12 = 0, -f + 5*w = -2*f + 9. Is f > -8/27?
False
Let m be (117/36)/((-3)/(-60)). Is m >= 64?
True
Suppose 2*v = v. Let n be 20/(-24) - (-3 + 5 + -3). Let x = n + -11/30. Is x greater than v?
False
Let v be 5/((-45)/(-9 - -18)). Is v not equal to -2/5045?
True
Let k(t) = -16*t**2 + 12*t + 12 + 7*t**2 + 8*t**2. Let a be k(12). Which is smaller: 11 or a?
11
Let s = -414 - -402. Is s equal to -13?
False
Let s(n) = -14*n - 83. Let l be s(-7). Is 59/4 <= l?
True
Let v(z) = -5*z + 3. Suppose 145 = -7*n + 2*n. Let i = n + 30. Let y be v(i). Is y != 0.3?
True
Let z = 2.2 - 3.9. Let m = z + 2. Let k be -1 + 7/(-5) - -2. Which is greater: m or k?
m
Suppose 4*a + 4*x - 22 = 14, -10 = 2*a - 5*x. Suppose a*l + 0*l = -20. Let i be (-24)/(-7) + l/(-7). Are -2/3 and i non-equal?
True
Let m = -0.8897 - -0.6997. Let y = -1/45 + 31/45. Which is smaller: y or m?
m
Suppose 63*r - 40*r - 6049 = 0. Is r smaller than 262?
False
Let d(m) = m**2 + 6*m + 6. Let b be d(-5). Suppose -3*z - 2*v - 13 = 2*v, 0 = -z - 4*v - 7. Let a = z + b. Which is smaller: a or -5/7?
a
Let g(r) = -r - 5. Let o be g(-6). Let w be 18/(-33) - 231/(-1089). Which is smaller: o or w?
w
Let m = -7.5 - 33.5. Let v = m - -41.7. Let h = -3 - -4. Which is smaller: h or v?
v
Let h be (-3)/(-3 - -2) - (-21078)/(-7038). Is h <= -1?
False
Suppose 0 = -5*q - 43*x + 44*x - 533, x + 527 = -5*q. Which is greater: 0 or q?
0
Let p(z) = -z**3 + 4*z**2 + 20*z + 9. Let u be p(-4). Which is greater: u or 53?
u
Let j(p) = -2*p**3 + 8*p**2 - 12*p + 9. Let u be j(2). Are u and 1/1620 equal?
False
Let r(q) = 4*q + 8. Let t be (4 - 1)*10/6. Let y be r(t). Does y = 28?
True
Let w(j) = -3*j + 1. Let g be w(0). Let n be 3 - (5 - g)*1. Is n less than 6/13?
True
Let j = 0.0106 - 14.0106. Suppose -3*u = u + 8. Is u at most as big as j?
False
Suppose -o + 73 = -v, 0*v - 2*v - 2 = 0. Do o and 73 have the same value?
False
Let s = -22 + -35. Let q = -45 - s. Is -2 at most as big as q?
True
Suppose -3*z - 208 = 4*p - 2*p, -5*z - 372 = -3*p. Is -2/7 at least z?
True
Let r(v) = v**2 + 6*v - 1. Let d be r(-6). Let a(h) = 30*h + 3. Let u be a(d). Let w = 82/3 + u. Which is greater: w or 1/2?
1/2
Suppose -2*s = 4*d - 8, -s - 3*d - 2 = -7. Suppose -4*h + 62 = -s*h. Which is smaller: h or 30?
30
Let m(c) = -2*c**2 + 17*c - 27. Let i be m(6). Suppose 2*u - 5*u = -5*g + 10, 3*u = -4*g - 19. Which is bigger: g or i?
i
Suppose -2*a = k - 3, -3*a - 2*k = -6*a + 1. Let s be 6*((-4)/28)/a. Let b be (-4)/14 - 10/(-35). Which is greater: b or s?
b
Let d = 26 + -21. Suppose 0*r - d = -u + r, -5*u + 35 = -3*r. Which is smaller: u or -1?
-1
Let l(g) = -g**3 - 3*g**2 - 3*g + 1. Let h = -7 + 4. Let r be l(h). Is 10 != r?
False
Let p = -249 - -25. Is -228 at least as big as p?
False
Let c = -2.28 - -2.46. Which is bigger: -1 or c?
c
Let i = 1.51 - 1.21. Is 43 > i?
True
Suppose 40*v + 5*b - 10 = 45*v, 4*v - 3*b = -7. Which is smaller: v or -29/22?
-29/22
Let n = -125/532 - -7/76. Is -23 <= n?
True
Let t(z) be the third derivative of z**6/120 + z**5/6 - z**4/2 - 2*z**3/3 + z**2. Let u be t(-11). Let a be 1/3 + u/(-21). Is a greater than 1?
False
Let l = 82 + -89. Which is bigger: l or -6?
-6
Suppose -7*t = 58 - 163. Suppose 5*h + 9 = -5*j - 1, 5*j = t. Is h at least as big as -11/3?
False
Let s be 18*(5 - 0 - 4). Let d be -15*(0 + 2/2). Let r = d + s. Is r greater than 3?
False
Suppose 5 + 5 = -5*h. Let g be 5/(-1)*3 + h. Is -17 at most as big as g?
True
Let h be (-3146)/(-9555) + 2/(-6). Which is smaller: h or 0?
h
Let v = 2287 - 16018/7. Suppose 0 = -2*h - h. Is v equal to h?
False
Let q(t) = 2*t**3 + 10*t**2 - 15*t - 18. Let j be q(-6). Is j bigger than 14/25?
False
Let q be (-22)/(-18) + (-120)/54 + 2. Let l = -410 - -8612/21. Is q <= l?
False
Let n(z) = z + 3. Let c be n(0). Let x be (6/18)/(c/81). Which is smaller: 10 or x?
x
Suppose 3*k + 17 = 4*c + 1, 0 = k. Suppose 17 = 3*i + q, -5*q + c*q = -4*i + 25. Suppose 3*z - 2*s - 5 = 0, z - i*z = 4*s - 23. Which is smaller: z or 8/5?
8/5
Let j = 116579/43 - 2711. Let s(p) = p**3 + 7*p**2 + 6*p + 1. Let u be s(-6). Which is smaller: u or j?
j
Suppose -22*v = -20*v + 74. 