 x and y have the same value?
False
Let x = -214.39 - -214.49. Which is bigger: 4717 or x?
4717
Let b(t) = -20*t + 39. Let f be b(8). Suppose 247 = -4*m - 233. Is f >= m?
False
Let g(l) = l**2 - 2*l - 71. Let k be g(-7). Let q(p) = 5*p + 44. Let f be q(k). Which is bigger: 34/11 or f?
f
Let w be ((1925/10)/(-11))/(1/(-2)). Let m be (5 - 180/w) + 1/7. Which is smaller: m or -1/60?
-1/60
Let i = 24.68 + -27.68. Which is greater: -16 or i?
i
Let n(w) = -2*w**3 + 16*w - 1 - 18*w**2 + 22 - 6*w**3 + 9*w**3. Let x be n(17). Suppose x*y - 12 = 4*z, 0 = -2*z - 4*y + y + 4. Which is bigger: z or -2/33?
-2/33
Let j = 2/13941 - 125581/780696. Which is smaller: -1 or j?
-1
Let j = -57 + 82. Let c = 1866 + -1857. Is j bigger than c?
True
Let j be -1 + 0 + 4/(-12) + (-184)/(-138). Are j and -58/263 equal?
False
Let j be (-36)/72*(2 + (1 - 5)). Let t be (1 - -1)*(9/6 - j). Which is smaller: 1/82 or t?
1/82
Let q be 13 + (-9)/(-225)*-25. Let f = -2 + 2. Which is smaller: q or f?
f
Let k be -3 + 17790/(-75)*(-2)/192. Let q = 11/80 - k. Let f = 36/7 - 5. Are f and q unequal?
True
Suppose 108 = q + 8*q. Suppose -q*m = -10*m - 158. Let i = 80 - m. Is 3 at least as big as i?
True
Suppose 4*p - 3*x - 22 = 0, p - 11*x + 10*x - 6 = 0. Let q = 2981/91 - 197/7. Which is greater: p or q?
q
Let z be (-16 - 1334)*2/(-4). Let w = z - 735. Is -64 less than w?
True
Let g be 198/8 + 48/(-64). Let s = -42 - -69. Which is greater: g or s?
s
Let j(h) = -155*h + 974. Let y be j(-14). Is 3144 greater than y?
False
Suppose 0 = 5*x + 5*b + 40, x - 2*x + 5*b = -10. Let a be (5/x - -2)/1. Which is smaller: -64 or a?
-64
Let h = 11156 + -13731. Which is greater: h or -2570?
-2570
Suppose -3*s = 4*p - 45, 2*p - 15 = -5*s + 2*s. Let r be (-48)/32*(-1 + 187/p). Suppose 0*g + 64 = -4*g. Which is smaller: r or g?
r
Let p = -3.1 - -15.6. Let y = -7.5 + p. Let c = -3.8 + y. Are 2/7 and c non-equal?
True
Let t(r) = 12*r - 385. Let p(q) = q**3 + 11*q**2 + 15*q + 5. Let x be p(-9). Let j be t(x). Let z = -19246/31 + 621. Is j at least as big as z?
False
Let j(f) = -2*f**2 - 37*f + 549. Let w be j(-39). Which is smaller: w or -1048?
w
Let t = -18 + -132/5. Let j be -7 - (53/(-2))/(112/32) - 8736/196. Which is bigger: j or t?
j
Let d = -764 - -763. Let m = -44859/2445373 + -1/11269. Is m > d?
True
Let h(t) be the third derivative of -5*t**4/12 + 10*t**3/3 + 14*t**2. Let c be h(7). Let j be (12/10)/(15/c). Is -2 less than j?
False
Let x(d) = -24*d**2 + 9*d + 9. Let y(n) = 11*n**2 - 4*n - 4. Let k(g) = -6*x(g) - 13*y(g). Let i be k(-1). Is 2/125 not equal to i?
True
Let d = -490 - -666. Let h be 76/342 + d/18. Is h bigger than -1?
True
Let x(t) = -4*t + 98. Suppose 15*h - 370 + 10 = 0. Let y be x(h). Let g = 2/249 - -3721/1743. Is y < g?
True
Let u be 3720/375 + 1 + -2. Which is bigger: 10 or u?
10
Suppose -1511 = -97*v - 610 + 4822. Do v and 86 have the same value?
False
Let u = 4 + 2. Suppose -4*p + 6 = -a, -u*a - 18 = -3*a - 5*p. Suppose 0 = -24*j - 103 + 7. Does j = a?
False
Suppose -5*z - 3*i - 33 = -7, -z + i = 2. Let t be (-3)/(15/(-10))*z/4. Let l be (-2)/(-7) - 12/7. Is l at least as big as t?
True
Let o be 3*(102/(-12) + -3 + 8). Let s = 64 + -91. Let z = s + 15. Which is greater: z or o?
o
Let b(v) = -v**3 + 8*v**2 + 23*v + 9. Let d be b(10). Suppose -8*l - 4*x = -11*l + d, 4*l + 2*x = 30. Is l >= 5?
True
Suppose -9*l + 5*o = -12*l + 83, 3*l = -4*o + 79. Let f be (-1 - (-4 + 0))*7/l. Which is bigger: -1/542 or f?
f
Let q(o) = 3*o**2 - 157*o + 77. Let a be q(26). Which is smaller: a or 1/4?
a
Let y(p) = 0*p**2 + p**2 + 17*p - 6 + 3*p**3 - 25*p + 5. Let v be y(-5). Is -311 > v?
False
Suppose 0 = -125*z + 160*z + 46130. Are -1319 and z non-equal?
True
Let k(t) = 2*t - 5. Let a be k(4). Let s = 3121 - 3121. Suppose a*r + m = 18 + 1, s = -r + 3*m + 23. Is r smaller than -1/3?
False
Let a = -2862 + 2074. Is a greater than or equal to -787?
False
Let l = -168444/43 - -13444652/4171. Let s = l - -694. Is s at least -1?
True
Let q be (-10394735)/2300 + (1 - (-6)/(-8)). Is q > -4520?
True
Let i(p) = -40*p - 1276. Let c be i(-55). Which is greater: 922 or c?
c
Suppose 0 = -52*d - 16*d - 2477 + 6489. Is 80 at least d?
True
Let z = 535.54 + -537.2. Let k = -13/21 - -1/3. Which is bigger: k or z?
k
Suppose -26*w = -29*w + 2*i - 680, -5*w = 5*i + 1150. Let c be 2064/(-9) - ((-2)/(-2))/(-3). Is c <= w?
True
Let o = 0.031 + -1.031. Suppose 6*g = -186 - 180. Let y = g + 84. Which is bigger: y or o?
y
Let q = -6835 + 2118847/310. Let p = -202 - -203. Is q < p?
True
Let t = 970 - -620. Suppose -7*v - t = 23*v. Let a = 32 - 85. Is a smaller than v?
False
Let u = -1.7263 - 0.0537. Let b = u + 1.84. Let m be (2/(-39))/((-2)/6). Is b not equal to m?
True
Let g(q) = -q**2 + 14*q - 9. Let f be g(5). Suppose f*x - 4 = 35*x. Suppose -2*u + 8 = x*p, -3*u - 5*p + 4 = -6. Which is bigger: -2/43 or u?
u
Suppose -37*f - 23 = -17*f - 3. Which is greater: 3/4969 or f?
3/4969
Suppose -6 = -a, -3*x - 569*a + 566*a - 42 = 0. Let u = 16 + -11. Are x and u unequal?
True
Suppose 0 = 2*u - 4*t - 66 - 122, -3*t = 5*u - 548. Which is bigger: u or 126?
126
Let y be 118/8 + ((-810)/72)/(-9). Is y bigger than -19?
True
Let u = 78.92 - -2.08. Let n = u + -81.22. Is -1 <= n?
True
Let h be (1 - 2)*(-1 - -2). Let s be 89096/5168 - 17 - 24/114. Do s and h have different values?
True
Let j(d) = 23*d - 137. Let m be j(6). Is m >= 3/32?
True
Let h be (-3)/30 - ((-1386)/(-140))/(-9). Which is smaller: -25/91 or h?
-25/91
Suppose -168 = 36*j - 38*j + r, 0 = 5*r + 10. Which is smaller: 70 or j?
70
Let u = -135 - -140. Suppose -4*v - g = 24, -12 = -v + u*v - 2*g. Is -4 less than v?
False
Let a = -1.2879 + 0.2879. Which is bigger: a or -2930?
a
Let o(j) = 214*j + 4. Let m be o(3). Let t be (-6438)/(-10) - (3 + -3). Let v = m - t. Which is bigger: 1 or v?
v
Let b = -19646.0013 + 19646. Which is smaller: b or 0.06?
b
Let z = 0.13263 - -0.01137. Which is bigger: 5 or z?
5
Let d be (-264)/(-1056)*((-2)/2 + -43). Which is greater: d or -46?
d
Let p = -17898 - -10498. Which is smaller: p or -7401?
-7401
Suppose 4*i = 17 + 71. Let d(q) = 4*q - 18. Let n be d(6). Let y be 21 - (n/(-8) - 11/44). Is i at most y?
True
Let g = -94982/975 - 1096/39. Which is greater: g or -125?
-125
Let m = 16573 + -34059/2. Let x = 482 + m. Which is smaller: 25 or x?
25
Let z = -98 - -106. Let v = z + 5. Is v less than 2?
False
Let q be 3 - (-1 - (-3)/1). Let p be (q - 3/6)*(2 + 6). Suppose -p*g + 102 + 30 = 0. Is g greater than or equal to 0?
True
Let p(n) = 2*n - 2. Let f be p(1). Suppose -5*x + 3*y = 2*y + 2, f = -3*x + 3*y + 6. Let o be 1/((-9)/12 - x). Which is smaller: o or 5?
o
Let c be (7 + -9 - (-4 - -1)) + 29. Let u(m) = m**3 - m**2 - 2*m + 2. Let a be u(-3). Let p = a + c. Are p and 1 equal?
False
Let j = 77 - -84. Let d = j + -159. Let p = 4 - 8. Is p bigger than d?
False
Let x = -60.0473 + 1.0473. Is x at least 21?
False
Let s = 22.21 - 23.21. Let c = 0.3 + -0.15. Is c at most s?
False
Let f be 3885/111*2/70. Is 32/27 bigger than f?
True
Suppose 4*u - 1 = -5. Let n be 4/(-8)*(0/2 + 0). Suppose -18*t + 28*t = n. Is t less than u?
False
Let s(c) = -2*c**2 + 43*c + 22. Suppose -w + 41 = -5*f, 5*f = 28*w - 29*w + 1. Let u be s(w). Is u > 263/6?
False
Let u(r) = 20*r - 288 + 292 + 4*r**2 - 2*r**2. Let s be u(-10). Suppose -s*n + 6*v - 122 = 7*v, -v = 2*n + 62. Do -29 and n have the same value?
False
Suppose 2*a + 5*f + 1511 = -a, -2*a - 3*f - 1007 = 0. Is -503 at most a?
True
Suppose 2*z - 4*t = -0*t - 24, 5*z - 4*t = -36. Let m(v) = -20*v - 76. Let q be m(z). Suppose -p + 13 = 5*k, -5*k - 8 + 3 = -5*p. Which is greater: p or q?
q
Let t = -0.067 - 0.149. Let u = 11146 - 11145.9. Is t > u?
False
Let v = 4109 - 4109. Which is smaller: v or 0.2447?
v
Let q = 39 - 14. Let p(b) = -3*b**2 - b. Let k(i) = 19*i**2 - 2*i - 82. Let c(j) = k(j) + 6*p(j). Let w be c(15). Which is greater: w or q?
q
Suppose -8*l + 32 = -40. Suppose l - 5 = -4*n. Let o = -1/382 - 2287/1910. Which is smaller: n or o?
o
Let c = -5624 - -5620. Which is smaller: c or -487?
-487
Suppose -h = 2*f + f + 11, 4*h - 3*f = -14. Let i = -3/7 + -5/21. Which is bigger: i or h?
i
Let k = -9042.6 + 9042. Do -275 and k have different values?
True
Let d be (-61824)/(-30816) - (1 - -1)*1. Suppose k + j + 4 = 2*k,