*o*2. Is 4/7 not equal to y?
True
Let o = 4 - 4.06. Let x = 0.06 + o. Which is smaller: -1 or x?
-1
Let t = 2/13 + 16/65. Is 72 < t?
False
Let j(h) = -2*h - 10. Let k be j(-7). Let q = -55 - -54. Which is bigger: k or q?
k
Let a = -43/5 - -9. Let h be 0 - -1 - (2 - 4). Suppose 0*j - h*j - 3 = 0. Which is smaller: a or j?
j
Let c = 0.5 + -0.8. Let z be 7*3/(-12) - -2. Which is smaller: c or z?
c
Let k = 15 - 7. Which is smaller: 7 or k?
7
Let z = 11 + -7. Let l = 697/5 - 139. Which is smaller: l or z?
l
Let b be (-18)/(-21)*28/16. Is 1 less than b?
True
Let j be (6/(-8))/(1/4). Let t(u) = u**2 + 2*u - 2. Let x be t(-2). Are x and j equal?
False
Let j = -3 + 12.5. Let d = j - 9. Let f = d + -0.44. Which is greater: f or -1?
f
Let l = -128971/7 + 18538. Let b = -113 + l. Which is smaller: 2/7 or b?
2/7
Let h(i) = 3*i - 12. Let a be h(4). Is a > 2/151?
False
Let b = -29 + 2. Is b at most as big as -26?
True
Let x(o) = -o + 5. Let z be x(2). Suppose -p = -4*s - 2 + 1, -z*p = 9. Which is greater: s or -6?
s
Suppose 2*l - 4*f = -0*l - 6, -2 = 2*l - 2*f. Is -3 <= l?
True
Let w = 79 - 45. Let h be (3/(-6))/(w/(-4)). Which is greater: h or -1?
h
Let s = 56 - 27. Which is greater: 1 or s?
s
Let l = -2 - -2. Suppose 0*q - q = l. Suppose 2 = -s - q*s. Is -2 < s?
False
Let t = -17 + 16.1. Let p = t + 0.8. Is p not equal to 0?
True
Let l(c) = -c**3 - 4*c**2 + 5*c + 3. Let h be l(-5). Let x(g) = 0*g - 2*g + g - 5*g**2 + 6 + g**h. Let u be x(5). Are u and -2/9 equal?
False
Let x = -137/15 - -28/3. Which is greater: x or -1?
x
Let y(p) = -4*p - p + 3*p. Let u be y(4). Is u > -7?
False
Suppose 2*u - 27 = -3*w, -w - w + u = -18. Let s be 38/w - 2/9. Is 5 bigger than s?
True
Suppose 7*b - 1012 + 998 = 0. Let n = 4271/7 + -609. Which is greater: b or n?
b
Let u = 2.7 + -1.4. Which is bigger: u or 2?
2
Suppose 130 = -2*y - 4*c, 0*c + 5*c = -2*y - 127. Is -71 smaller than y?
False
Let a(m) = -m**3 - 6*m**2 - 2*m - 11. Let s be a(-6). Is s less than -1/15?
False
Let x = 1.3 + -0.3. Is -1.4 < x?
True
Let j be (1*6/(-20))/(144/60). Which is greater: 1 or j?
1
Let l = 0.109 - 0.009. Are -2 and l equal?
False
Suppose m + 15 = -4*f, 2*m + 0*m - 2*f = 10. Is 2 not equal to m?
True
Let f be ((-19)/57)/(1/(-21)). Which is bigger: f or 39/5?
39/5
Let p be (-3)/(-1)*2/(-3). Let r be p/(-6)*-1*3. Which is greater: r or 0?
0
Let n = -9 - -15. Suppose -5*h = 5*a - 5, -2*a = 8 - 2. Let o be (-22)/(-6) - h/n. Which is bigger: o or -1?
o
Let l be -2 - (0 + 10/(-8)). Let j be 33/(-10) - -2 - -2. Let n = j - 29/70. Is l smaller than n?
True
Let p be (-5 - -5)*1/(-2). Which is smaller: p or -1?
-1
Let u = -1.9 + 2. Let n = -5 + 7. Suppose 0 = -4*c - 3*g - 4, 0*g + 4*g = -2*c - n. Is u at most as big as c?
False
Suppose -2*q + 13 - 5 = 0. Let x be (-1)/(-2) - 2/q. Let l = 118 - 593/5. Is l bigger than x?
False
Let x be 5 - (-2 - 3*-1). Suppose 5*g + 3 = z, 3*g - x*z + 7 = -5. Suppose -3*c + 0*c = g. Is c at most as big as 2/13?
True
Let a = -3377/2 + 1614. Let h = a - -77. Which is smaller: h or 3?
h
Let k = -4 + 7. Which is greater: k or 7/3?
k
Let n = 16 + -11. Suppose j + n = 0, 2*s - 5*s = 4*j + 14. Suppose 2*r + 5 = -2*h - 3*h, -13 = -3*h + s*r. Is h > 1?
False
Let i = 12.9 + -5.9. Let r = -1.9 + 2. Which is smaller: r or i?
r
Suppose -c = -3*c - 58694. Let j = c + 3903203/133. Let u = j - 2/19. Which is smaller: 0 or u?
0
Suppose -4*d + 4*r + r - 5 = 0, -4*r = d + 17. Let k = 3 - 8. Is d equal to k?
True
Let f = -125/21 + 17/3. Is f greater than or equal to -0.01?
False
Let j be ((-2)/36)/((-69)/9)*-4. Suppose -2*o + 22 = 5*w, 0*w = 2*w - 8. Is o greater than j?
True
Let o = -0.96 - 0.04. Do -8 and o have the same value?
False
Let b(k) = -k**3 + 8*k**2 - k + 8. Let l = -9 + 17. Let y be b(l). Which is greater: -1/4 or y?
y
Let h be ((-160)/(-128))/(3/6*-3). Let j be 1/1*-1*2. Which is smaller: h or j?
j
Let x be (-3)/15 + 9/120. Which is smaller: -1 or x?
-1
Suppose -6*x = -x + 10. Which is bigger: x or -4/7?
-4/7
Let p = 27 + -26.8. Which is bigger: p or -0.04?
p
Let f = 56 + -140. Which is smaller: f or -85?
-85
Let x = -194 - -1360/7. Let s = 0 + 0.1. Do x and s have different values?
True
Let k = 7 + -9. Let x be 3/(-3) - 9/(-15). Which is bigger: k or x?
x
Let t = -8 - -7.9. Is t less than 3?
True
Let u be (-380)/1158 - 2/(-6). Let d = 587/1544 - u. Is d at most 1?
True
Let u = 487/20 - 113/5. Which is greater: u or 2?
2
Suppose 2*k - p = -3, -6 = -k - 2*p + p. Suppose -2*a = a. Let n be 1 - (6/9 + a). Which is bigger: k or n?
k
Suppose -3*g + 2*x = -1, g + 2 - 9 = -x. Let d = -125 - -255/2. Which is greater: d or g?
g
Suppose 0*t + t + 4 = -n, -12 = 4*n + 3*t. Is n bigger than 6/29?
False
Let i = 0.7 - 3.7. Let z = 3.1 + i. Let c = 0.2 - z. Is -2 at most c?
True
Let n be 5/(-2)*(-24)/15. Suppose n*j - 18 = 2*j. Let w be ((-6)/j)/((-2)/(-1)). Do -0.4 and w have the same value?
False
Suppose 0*m = 5*m. Is -2/19 less than or equal to m?
True
Let r = 0.42 - 2.42. Is 0.2 != r?
True
Suppose -24 = n - 3*z, 39 = -4*n + 2*z - 47. Is -21 at most as big as n?
True
Let n = -15 - -4. Let c be (-2)/n + 92/(-143). Do c and 0.1 have the same value?
False
Let j(l) = -l**2 + 7*l + 12. Let z be j(9). Let c be (3 - z/(-2))/1. Are -2 and c unequal?
True
Let m = 1/2572 + 79657/192900. Let g = 2/25 - m. Is -0.1 != g?
True
Let k(l) = -5*l**3 - 3*l**2 - 2*l. Let g be k(-1). Are g and 8 equal?
False
Let g = -6 + 3. Let n = 4.4 + g. Let u = n - 0.4. Do -2 and u have the same value?
False
Let r = -1/14 + 17/42. Let t = 0 + 0. Suppose 0 = -3*n, 2*k + n + 3*n + 2 = t. Which is greater: k or r?
r
Let p = -4/2191 + 593793/17528. Let n = 34 - p. Is 1 <= n?
False
Let n be (-2)/(-8) + (-18)/8. Let x be 152*1/5 + n. Let m = -28 + x. Is 1 < m?
False
Let z = 19 - 21. Is z less than or equal to -2?
True
Suppose 5 = -5*i + 70. Let j = i - 13. Is 5 at least as big as j?
True
Let y = 5 - 5. Suppose 0 = 3*h - 7*h. Let k = h + y. Which is smaller: 4/9 or k?
k
Suppose 0 = d + 5*t + 15, -5*d + 0*d = -4*t - 12. Suppose d = -0*a + 2*a + n, a = 2*n. Suppose a = -2*i - 2 - 0. Is i at least as big as -1?
True
Suppose 3*n - 4*n = -5. Let h be (24/(-10))/((-2)/n). Which is smaller: -0.1 or h?
-0.1
Let z = -3/53 - -59/106. Is z less than -65?
False
Suppose 5*i = -5*t + 8*i - 401, -3*i = 2*t + 173. Do t and -81 have the same value?
False
Suppose -3*g - 4*x - 3 = 0, x = -2*g - 2 - 0. Do 0.044 and g have different values?
True
Let k = -8 + 5. Let r = k + 3.3. Let w = -4.8 + 4.6. Do w and r have different values?
True
Let l be (-3)/3*(6 + 3). Let q be l - -2*(-1 - -2). Let n(k) = -k + 1. Let j be n(8). Is j less than or equal to q?
True
Let t(y) = -y**2 + y - 6. Let p be t(0). Let l(c) = c + 5. Let n be l(p). Is 1/15 not equal to n?
True
Suppose 0 = 2*k - 3*k. Let f = 14 - 9. Suppose -2*w - 4*b - 14 = 0, -2*w + f*b + 5 + 8 = k. Which is smaller: -2 or w?
-2
Let d(o) = -o**3 + 10*o**2 - 9*o + 3. Let r be d(8). Suppose 2*l - r = 5*l + 5*g, -4*g = 4*l + 68. Let w be l/(-6) + 2/(-1). Is 0 at least w?
False
Let i be -1 - (-4)/2 - 1. Suppose -x - 8 = -3*j + 4, i = 2*j - 4*x - 8. Suppose -5 = 5*w + 5*d, -j*d + 5 = 1. Which is bigger: -10/9 or w?
-10/9
Let l = 1.59 - 2. Let y = l + -0.09. Is 2/7 >= y?
True
Let q = 41.8 - 42. Which is smaller: -2/5 or q?
-2/5
Suppose 2*z - 6*z = -2*z. Which is greater: z or 3/11?
3/11
Let n be 2/23*66/(-44). Is n smaller than 0?
True
Let o(a) be the second derivative of -a**3/6 + 3*a**2/2 - 5*a. Let k be o(-4). Which is bigger: k or 8?
8
Let v(d) = d**2 - d + 2. Let u be v(0). Suppose -2*z + 27 = 5*a, -13 = 4*z - 7*z - 2*a. Does u = z?
False
Let z = 121/1652 - 3/28. Is 1 >= z?
True
Let h = -120/11 + 1429/132. Let c = 2 + -2. Is c != h?
True
Let o = 18 + -20. Let x be 2/5 + 21/(-15). Which is smaller: o or x?
o
Let s = 0.6 - 3.6. Let j = s + 4. Let h = -57.6 + 58. Is h at least j?
False
Let j be (18/(-150))/((-12)/15*1). Is j >= -1?
True
Let g = 114 - 115. Which is smaller: g or -89?
-89
Suppose -3*a + 3 = -6. Suppose -a*h = 2*h - 5. Which is bigger: h or 1/7?
h
Let y = -1 - 1. Let f = 72 + -73. Which is smaller: f or y?
y
Suppose -10 = 2*d - 0. Which is greater: d or -0.1?
-0.1
Let o = 18 - -6. Let n = o - 14. Is 10 > n?
False
Let r = 43/12 + -23/6. Let p be 3*(-3)/(1*(-6)/(-4)). Which is bigger: p or r