/((-8)/(-20))*-2. Let v = s - 4. Suppose -4*l - 36 = r, -2*r = 4*l + 17 + 23. Which is greater: v or l?
l
Let m be (-33)/22*(-28)/57. Do m and 1 have different values?
True
Suppose -13*r + 11*r = -252. Let l = -259/2 + r. Let o = -5.1 - -5. Which is smaller: l or o?
l
Let h be -1 + (10/(-6) - (-1)/(-3)). Let n(u) = -u + 2. Let y be n(h). Is 3 at most as big as y?
True
Suppose -7*s - s = -24. Suppose s*d + 0*d + 6 = 0, -24 = 4*h - 4*d. Is h != -8?
False
Let d be ((-4257)/(-4))/9 + 1/(-4). Is d less than or equal to 119?
True
Let c(w) = -w. Let k be c(-3). Let o(u) = k + 4*u + 3 + 6*u - u**2. Let f be o(10). Do f and 6 have different values?
False
Let s = 394 + -393. Is s at most as big as -3/7?
False
Let n = 3/17 - 29/357. Which is smaller: n or 1.1?
n
Let i be (-18)/22 + -1 + 2. Let z = 175 + -176.62. Let m = z - -0.62. Which is smaller: i or m?
m
Let x(d) = 28*d - 2. Suppose -3*a + 0*a - 3*o = 0, -5 = -2*a + 3*o. Let c be x(a). Is c at most 27?
True
Let z = 8844/5 - 1768. Let r(x) = 2*x + 2. Let a be r(-2). Which is bigger: z or a?
z
Let p = -54 - -67. Which is greater: p or 17?
17
Let c be ((-1)/(-3))/((-4)/6). Let g = -98 + 82. Let n = g + 16. Which is greater: c or n?
n
Let n = -1/241 - 718/1205. Let w = -1/13 - 21/65. Are w and n equal?
False
Let f = 642.018 - 643. Let c = f + -0.018. Which is smaller: c or -1/13?
c
Let j = 496 - 496. Is -298 less than or equal to j?
True
Let m be 7 + 8/12*-3. Suppose 4*b + 5*l - 7 = 0, -2*l - 2*l - 19 = -m*b. Suppose y - 2*y = b. Are y and -1 equal?
False
Suppose 3*s = -691 - 296. Is -329 less than or equal to s?
True
Let z = -0.13 - -0.06. Let l = 118201/2612 - 2/653. Let i = -45 + l. Which is greater: i or z?
i
Suppose -4*m - 3*w = -20, 5*m - 5*w + 5 + 5 = 0. Suppose 17 = f - 2*z, -4*f - m*z = -3 - 55. Which is smaller: f or 14?
14
Let p = -71 + 72. Let i = 11 + -8. Suppose 3*j + i*b - 15 = 2*j, 5*j - 3*b = 3. Which is bigger: j or p?
j
Let i(d) = d**3 + 3*d**2 + 3*d + 5. Let r = 33 - 62. Let k = r - -27. Let v be i(k). Which is smaller: v or -0.1?
-0.1
Let x = 0.2 - -0.9. Let t = -2.07 + -0.03. Let s = t + x. Which is greater: 3/7 or s?
3/7
Let n = 4 - -6. Suppose -59 = 12*f - 215. Let k = n - f. Is -4 greater than or equal to k?
False
Let f(b) = -7*b + 7. Let i be f(5). Let s be (i/(-20))/((-3)/(-15)). Which is greater: s or 6?
s
Let q = 38 + -22. Suppose 3*v - s - 945 - 40 = 0, 2*s + 320 = v. Let c be v/21 + (-4)/(-14). Is c bigger than q?
False
Suppose 2*o - 85 = 7*o. Let x = o - -18. Let h be ((-12)/(-104))/((-2)/8). Is x <= h?
False
Let g = 11/10 - 17/18. Let d = g + -274/315. Let x = 5 - 5. Does d = x?
False
Suppose -2*n + 220 = -38. Let j = -81 + n. Suppose 9*a - 12*a = j. Which is smaller: a or 1/2?
a
Suppose -y + 13 = -0*y + 2*b, b = 5*y - 98. Suppose 629*x + 640*x + 494 = 1295*x. Is x equal to y?
True
Suppose 5*t - 3*v - 49 + 3 = 0, 2*t + 3*v - 31 = 0. Which is greater: 37/3 or t?
37/3
Let l = -0.079 + 1.079. Which is greater: l or 0.0405?
l
Suppose 250 + 230 = -8*l. Let f = 182/3 + l. Is 2 less than f?
False
Let w be 2/(-3 + 2) - -7. Suppose n - w = -0. Suppose -f = 8 - n. Is f < 0?
True
Let m be (1*(-4)/8)/((-784)/64). Suppose 2*t - 3*t - 2 = -5*o, 0 = -2*o + 5*t - 13. Which is bigger: m or o?
o
Let l(a) = -2*a + 15. Let q be (16/10)/(4 + (-57)/15). Let h be l(q). Which is bigger: -2/65 or h?
-2/65
Let i = 23663 - 8258393/349. Are i and 0 equal?
False
Suppose -5*s + 30 = 3*x, -24*x + 30 = -25*x + 5*s. Let u = -11942/10967 + -2/997. Is x less than or equal to u?
False
Let k be 0 + 0 - 1*4. Let p(i) = i + 2. Let r be -3 - (3 + -6 - -3). Let t be p(r). Is t at least k?
True
Let v = 2 + -2. Let u be 1 + (0 + 1 - 20). Let d be u/63 - 4/(-7). Which is bigger: d or v?
d
Let k(b) = -2*b + 3. Suppose -1 - 4 = m. Let c be k(m). Let y be c/1*(-9 + 8). Is -12 >= y?
True
Let b = -139 + 144. Let m = -33 - -28.04. Let k = m + b. Which is smaller: 1 or k?
k
Suppose 4*c + 87 = 5*j, -3*c - 65 = -4*j + 1. Let t be (-1)/(-2) + (-35)/2. Is t != c?
True
Let a be 9 - 8/(-92) - 9. Do 1 and a have the same value?
False
Let w = -28 + 28. Let r(y) = y + 1. Let a be r(-1). Suppose k = -a*k. Are w and k equal?
True
Suppose -8 = -62*i + 58*i. Suppose t = -0*t + i*r - 4, 5*t = -2*r + 4. Are 1 and t equal?
False
Let k = -8 - -8. Suppose k = -x - 5, 0*m + 8 = m - 2*x. Which is greater: -3/4 or m?
-3/4
Let q be -6*(5 + 145/(-30)). Which is smaller: q or 2/579?
q
Suppose -9 - 1 = -2*x. Suppose 0 = w - 1, w - 9 = -x*r + r. Suppose 3*n = -r*b + 2*n, 2*n + 16 = 4*b. Is 4/5 less than b?
True
Suppose 0*h - 4 = 4*h. Let x = 0.51 - -0.24. Let v = 0.25 + x. Is v equal to h?
False
Suppose -5*w - 3 = -48. Let i be 1 + 2*w/6. Suppose -4 = -i*b - 0. Which is smaller: b or 2/7?
2/7
Let k(u) = -u**3 + 12*u**2 - 40*u - 35. Let h be k(8). Let j = -12 - 86. Does j = h?
False
Let t(n) = n**3 + 15*n**2 + 17*n - 10. Let u be t(-5). Is 156 at most u?
False
Let v = -2 + 5. Let k be (-7 + 33)/(6/v). Suppose 5*q + k = j, 0*j - 19 = 2*j - q. Which is smaller: j or -13?
-13
Let y = -99 - -491/5. Let l = -1.97 + -0.03. Which is bigger: y or l?
y
Suppose -14*x + 15*x = 2*b - 5, x + 3*b - 10 = 0. Which is smaller: -6/5 or x?
-6/5
Let x(h) = -3*h - 65. Let j be x(-14). Is 6 bigger than j?
True
Let w be 2 - 4/(6 - 4). Let z(u) = u**3 + u**2 + u + 7. Let s be z(w). Which is greater: 9 or s?
9
Suppose -63 = 8*n - 15*n. Suppose 0*w = -3*w - n, -4*g + w - 77 = 0. Is -19 smaller than g?
False
Suppose -2*u - 511 - 515 = -4*w, 0 = -5*u - 2*w - 2601. Let p be u/15 - (-4)/(-10). Do -35 and p have the same value?
True
Let f = -10 - -9.8. Let l = f - 11.8. Let n = l + 8. Is n > -1?
False
Suppose 6*t + 107 - 155 = 0. Is t >= 19?
False
Suppose 5*f + 30 = -5*b, 4*b = 3*f - 7 - 24. Let h be -18*(b/(-2) + -4). Which is greater: h or 8?
h
Let q(j) = -3*j**3 + 11*j**2 + 9*j + 10. Let p(b) = -7*b**3 + 22*b**2 + 17*b + 21. Let c(y) = -2*p(y) + 5*q(y). Let n be c(12). Is n at least as big as -2?
False
Suppose 4*q - 4*y - 532 = 0, 0 = 3*q + 4*y + 13 - 433. Is 136 greater than q?
False
Let b = 0.915 + -0.115. Which is bigger: -6 or b?
b
Let o = 3 + 0. Suppose 0 = 4*z + 5*l - 20, 3*z + o*l - 12 = -0*z. Which is greater: -0.21 or z?
z
Let j(u) = -u**3 + 33*u**2 + 2*u - 64. Let h be j(33). Let g = -30 - -94. Let c be g/91 - (-4)/26. Which is smaller: h or c?
c
Let t be (-6)/21 - (-69)/21. Suppose -2*r - 33 = -6*r + j, -5*r + 20 = t*j. Let p be (-22)/42 - 1/r. Is -2 at least p?
False
Let w = 2463 + -2555. Which is smaller: -547/6 or w?
w
Let t = 1762/9 + -195. Let a be ((-15)/(-20))/((-6)/(-72)*9). Which is greater: a or t?
a
Suppose 1 = -z, -4*z = -3*g + 47 - 151. Let y = g + 36. Which is smaller: 6/17 or y?
y
Let m be (-76)/34 - (0 + -2). Let w = 11 - 11. Which is smaller: w or m?
m
Let o = 71 - 8. Let z = -63 + o. Let p be 2/(20/(-6))*-1. Which is greater: p or z?
p
Let l be (0 + -28)/(16/24). Let f be (-40)/6 + (-4)/12. Let y be (-1)/f + 132/l. Which is bigger: -1 or y?
-1
Suppose 3*f + 5*x + 9 = f, 2*f = -4*x - 10. Let q = 15 - f. Suppose -5*g - 3*s + 14 = -0*g, -4*g + q = -3*s. Is g smaller than 4?
False
Suppose -2*m = 3*s - 15, 3*s - 16 = -5*m + 8. Suppose -4 = j + s*j. Let w be (4 + -2 - 0)*j. Which is greater: 3 or w?
3
Suppose 2291 = -33*t - 613. Is 16 at most t?
False
Suppose 24 = 11*c - 5*c. Suppose c = -f - 15. Is f at least -18?
False
Suppose 10*p = 11*p + 1. Let u be (-3 - p) + 72/28. Which is smaller: 0 or u?
0
Let j(b) = -14*b + 55. Let t be j(-4). Let o = t + -557/5. Let z(x) = -x**3 + 2*x + 1. Let l be z(-1). Which is smaller: o or l?
o
Let b = -598 + 628. Is 1 equal to b?
False
Suppose -r = 4*x - 9, 46*x = -3*r + 47*x + 1. Which is smaller: 235 or r?
r
Suppose b + 4 + 4 = 0. Let f = 7 + b. Let n = 14960/27 + -554. Do n and f have the same value?
False
Let d = -109 + 50. Which is smaller: d or -1?
d
Let j be 3/((-27)/(-6)*8/12). Suppose -37*y = -36*y - j. Let u = -10/3 - -37/12. Is y < u?
False
Suppose -16 = -4*p, 48 + 28 = -2*f + 5*p. Let l be (96/14)/((-4)/f). Is 47 not equal to l?
True
Let j = -239.92 - -240. Does j = -1?
False
Suppose -2*k = -2*d + 12, k = 5*k + 5*d + 42. Let p = 155 + -163. Is k < p?
False
Let b = 15/17 - 259/255. Which is greater: -10 or b?
b
Let j be (8/14)/2*-1. Let g = -0.55 - 0.53. Let k = -1 - g. Which is smaller: k or j?
j
Let f