s smaller: g or 0.48?
0.48
Let s = -2.11 - 1.89. Do s and 12/7 have the same value?
False
Let w = -2 + -3. Let g = -65.9161 + 0.0161. Let n = g + 66. Which is bigger: n or w?
n
Suppose 77 - 27 = 5*z. Let a be (z - -2)*2/6. Suppose 4*b - a + 8 = 0. Is 8 <= b?
False
Suppose 5*n - 1 - 14 = 0. Let l be ((-220)/24)/(-11)*19/(209/198). Is n < l?
True
Suppose 8*v + 56 = 22*v. Suppose v*r = -16, -4*g + 126 = g - 4*r. Is g > 22?
False
Let l = 272 + -269. Is l < 0?
False
Let v(a) = -a**3 - 3*a**2 - 5*a - 4. Let y be v(-2). Suppose -y*j = 4*h - j + 37, 5*h = 3*j - 42. Let r be 16/(-5)*20/8. Which is smaller: h or r?
h
Let b = -1 + 3. Let f(p) = -3*p + 3. Let j = -65 - -67. Let i be f(j). Which is smaller: b or i?
i
Let t be 1 + (3 + -2)*7. Let s be ((-3)/(-2))/(126/t). Let m = -18 + 17. Is s > m?
True
Let x be 42/(-44) - (-2 + 1). Let s = -12768 - -12770. Which is smaller: x or s?
x
Let f(j) = -j**2 - 12*j + 16. Let p be f(-13). Suppose p*z - 21 = -6. Suppose -z*q + 0*q = 0. Which is greater: 1/14 or q?
1/14
Let a = 39.9 - 40. Let t be (6 + 18/(-5))*(-10)/(-4). Is t at most as big as a?
False
Let h = 233/690 - 1/230. Let b = -26 - -155/6. Are b and h nonequal?
True
Let a(c) = c - 7. Let o be a(10). Let d be (o - 1/1) + -5. Are 1 and d unequal?
True
Let m be (2/(-6))/((-2)/(-6)). Is -1/169 at most m?
False
Let k = -2898 - -2896. Let o be 2/5 - 32/55. Is o not equal to k?
True
Let w be ((-760)/(-1824))/(10/16). Which is bigger: w or -1/11?
w
Let c = -599/2 - -301. Is c greater than 3?
False
Suppose i - 6 = -4*u - 126, -4*i + 2*u = 570. Let x = i + 260. Let f be x/126*9/6. Which is greater: 0 or f?
f
Let b(l) = -l + 11. Suppose -c + 24 = 2*c. Let f be b(c). Suppose 2*o - 4*y = -12, -f = 5*o - y - 0*y. Are 3/7 and o non-equal?
True
Suppose -63 = 17*r - 114. Suppose 2*a = -a - 2*p + 3, 4*a = -4*p. Suppose 0 = -2*b + r*w + 10, a*b - w - 2 + 1 = 0. Which is greater: b or -3/5?
-3/5
Let j = 0.371 - -0.169. Which is smaller: j or 1?
j
Let m = 27 + -30. Let h be (2 + 6/6)/((-1)/m). Which is smaller: h or 11?
h
Let p be 2/16*(-3)/(-594)*2. Are 1 and p equal?
False
Let x(z) be the second derivative of -z**4/12 - 5*z**3/6 + 5*z**2/2 + 2*z. Let f be x(-5). Let i(d) = -2*d**2 + 29*d + 19. Let c be i(15). Are c and f unequal?
True
Let q = 0.06 + -0.06. Suppose c + 3 = 2*b, -2 = -3*c - 5*b + 11. Is q at most as big as c?
True
Let p = 5.2276 + -0.0276. Which is greater: 0.1 or p?
p
Let j = 121.1 + -80.8. Which is smaller: j or -1?
-1
Let h = -519/10 + -20353/10. Let g = -2098 - h. Is g at most as big as -11?
False
Let f(q) = q**3 + q**2 + 22*q. Let c be f(0). Is 2/1295 <= c?
False
Let y = -8 - -4. Suppose 0*l = 3*l - 5*q - 22, q = -5. Let h be (-12 + 18)*(3/(-2) - l). Which is smaller: y or h?
y
Let f = -215 - -215.06. Let p = -139 + 136.94. Let k = p + f. Is k equal to 0.2?
False
Let d(h) = -h**2 - 30*h - 56. Let f be d(-28). Which is smaller: f or -3/44?
-3/44
Let r be 5 + -6 + (-3 - -1). Let u be (r/36)/((-4)/(-6)). Which is greater: u or -1?
u
Let m(y) = 179*y - 6. Let x be m(1). Is x != 175?
True
Suppose -4*q - 14 = 5*x, -2*q - 2*x - 7 + 1 = 0. Is -5/7 equal to q?
False
Let o = 0.0668 - -61.9332. Is 0.1 greater than o?
False
Let l = -14 - -66. Let x be (-39)/l + (-14)/(-8). Is x at most 1/6?
False
Suppose -3*r + 8 = -j, 5*r - 36 = -j - 3*j. Suppose -j*k + 6*i = 3*i + 59, -k = -3*i + 26. Let q(n) = -n**3 - 11*n**2 + n + 3. Let x be q(k). Is -7 > x?
True
Suppose 809*y = 819*y - 2880. Is y smaller than 288?
False
Let z be 1/(-4) - (-259)/28. Let n = z + -10. Is -3 greater than n?
False
Let c = -102 + 175. Let b = -107 + c. Let u be (9/b)/((-9)/(-12)). Which is smaller: u or -1?
-1
Suppose -8*h - 9 = -5*h. Let l be -6*(80/26 + h). Is 1 >= l?
True
Let q(d) = -2*d**2 + 2*d + 18. Let f be q(6). Let y = f - -167/4. Which is smaller: y or -2?
-2
Let q = 24 - 44. Let b = q - -22.1. Let h = b + -2. Is -0.02 greater than or equal to h?
False
Let n = 0 - 18. Let s = n - -18.05. Which is smaller: 0.1 or s?
s
Let i be 17/34*-354*(-10)/(-22). Do i and -79 have the same value?
False
Let x(q) = -q**3 + 5*q**2 + 17*q - 14. Let j be x(7). Let k(o) be the first derivative of o**3/3 - 3*o**2 + 8*o - 2. Let g be k(j). Is 31/2 != g?
True
Let n(s) = 6*s**2 + 35*s + 33. Let p be n(-7). Which is bigger: p or 78?
p
Suppose 41*a = 36*a. Let w be (-30)/5 - 4 - a. Is -9 smaller than w?
False
Let o(n) = -5*n**2 + 4*n. Let m be o(-9). Let b be (-3)/(-9) + m/27. Let c be ((-9)/6)/((-66)/b). Is c bigger than -1?
True
Let z(n) = -n**3 + 3*n**2 - n - 2. Let l be z(2). Let d = 14631883599/2057 + -7113215. Let m = 6/121 - d. Is l smaller than m?
False
Suppose -271*s + 269*s - 2 = 0. Which is bigger: s or 1/514?
1/514
Let d = -2 - 1. Let k be 38/d + 18/27. Let f be (k/21)/((-6)/28). Are 2 and f non-equal?
True
Let a(n) = -7*n**2 - 7*n. Let i(t) = 11*t**2 + 11*t. Let g(u) = 8*a(u) + 5*i(u). Suppose -7*y - 10 = -2*y. Let j be g(y). Is j less than or equal to -3?
False
Let w be 2 + (-4)/((-5444)/(-2711)). Let p = w + 400079/6805. Let x = p - 2626/45. Do 1 and x have different values?
True
Let f be (1/2)/(6/(-36)). Let k be (-1 - -1)/f - -5. Is k less than or equal to -1/4?
False
Let d be (-2 + 1 + 0)/1. Let j be (1 + -4)*(-2)/28. Which is smaller: j or d?
d
Suppose 0 = o + 4*d - 9*d - 25, 0 = -3*o - 4*d - 20. Suppose x + x = 24. Let k be 4/x - 28/30. Which is greater: k or o?
o
Suppose -6*x - 168 = -0*x. Let g be 8/28 + 512/x. Is -17 greater than or equal to g?
True
Let t(z) = -z**2 + 3*z. Let c be t(3). Suppose c = q + 2*q + 6. Which is smaller: q or -22?
-22
Let j = 9/31 - -57/124. Suppose p - v + 0 = -5, -5*p - v + 5 = 0. Is j >= p?
True
Let d be (-4556)/(-201)*21/(-2). Is -238 > d?
False
Let g = -14 - -9. Let h = g + 2. Which is bigger: h or -7?
h
Let f be (-60)/(-9)*6/4. Suppose -f*b + 8*b + 66 = 0. Which is smaller: b or 34?
b
Let b(r) = 2*r**3 - 4*r**2 - r - 26. Let h be b(5). Suppose 0 = -9*f - h - 70. Is f at most as big as -21?
True
Let z = -106 + 66. Let i = -241/6 - z. Let p = 42.9 - 41.9. Is i at least as big as p?
False
Let c be (4 - (5 + -13 + 6)) + -13. Let d = 469/2 - 4337/18. Which is greater: c or d?
d
Let b(j) = j**3 - 5*j**2 + 2*j - 4. Let w be b(5). Suppose 0 = 18*d - 0*d + 18. Let l = d - w. Is -10 not equal to l?
True
Let z be 20/70 - ((-32)/(-14) - 1). Let w = 563 - 50109/89. Is w >= z?
True
Let w be (-46)/(2 - (-32)/(-20)). Let n = 102 + w. Is -13 <= n?
True
Let y = -6 + 17. Suppose p = 3*l + 14, -y - 12 = -4*p + l. Suppose -2*t = -p*w - 20, -5*w - 2*t - 35 = -7*t. Is w at least as big as -2?
True
Let b be (-576)/360*(-2)/(-8). Suppose 0 = -2*j + 17 + 9. Are j and b unequal?
True
Let g be (38/152)/(2/8). Which is bigger: g or -8/39?
g
Suppose 3 - 56 = -d. Let a = d + -54. Which is bigger: a or -10/17?
-10/17
Let z = 23 + -3. Let k be 2/(-2)*(-5)/z. Let q = k + -7/2. Which is smaller: -4 or q?
-4
Let b(a) = 4*a - 53. Let j be b(14). Suppose -6*q + 2*q = -4*c - 12, j*c + 4*q = -9. Is -19/9 equal to c?
False
Let v(i) = 2*i**3 + 83*i**2 - 46*i - 98. Let c be v(-42). Is 68 less than c?
True
Let i be 2*-262*2/48. Let l = i + 68/3. Is l equal to 0?
False
Let z be (-3081)/(-84) - 33/77. Is 35 smaller than z?
True
Let w be 36*-1*5/1230*8. Which is smaller: w or -1?
w
Suppose w + 20 - 17 = 0. Let z(d) = d**3 + 5*d**2 + 7*d + 3. Let q be z(w). Which is greater: q or 6/25?
6/25
Let g = 19 - 37. Let d = 18.1 + g. Which is smaller: d or -11/7?
-11/7
Let k(n) = 12*n - 47. Let t be k(4). Is 1/218 bigger than t?
False
Let p = 25 - 33. Let c = p - -1. Let o = 9 + c. Which is greater: -6/7 or o?
o
Let p = -1687/8471 + -2/197. Is p > -1?
True
Let x(v) = -v**2 - 8*v + 105. Let l be x(-15). Does 1/117 = l?
False
Suppose 0*m + 2*m = 4. Let p be (-636)/371*14/(-45). Which is bigger: p or m?
m
Let z(j) = 2*j**2 - 19*j - 1. Let d be z(5). Are d and -44 non-equal?
True
Let v be ((-24)/9 - -3)/(10/30). Do v and -6.2 have the same value?
False
Let t(b) = 62*b**3 + 3*b**2 + 9*b + 5. Let f be t(-1). Is f > -62?
False
Let i be 1*(202/(-20))/((-23)/(-92)). Is -41 > i?
False
Let d be 11/(-55) - (-3 + 111/40). Which is greater: d or 0?
d
Let w be 617/(-307) + 2/1. Which is bigger: 0.1 or w?
0.1
Suppose 4*b - 509 = -5*q, 25*b + 5*q + 338 = 28*b. Do -2 and b have different values?
True
Let o be (-218)/(-16) + 1 + 9