 Let f be g(d). Is -1/15 not equal to f?
True
Let k = -45092 - -2389803/53. Which is bigger: k or -1?
-1
Suppose -38*q = -656 + 1341 - 11135. Is q at most as big as 275?
True
Suppose 69*v + 20 + 118 = 0. Let k = 10 - 4. Let b be ((-33)/(-18))/((-4)/k). Is v >= b?
True
Let z(s) = -2*s + 33. Let q be z(-21). Let k = q - 63. Suppose k*l = -14 - 34. Is 2 bigger than l?
True
Let d be 19/2*2/(-184). Let x be (3 + -2 - -3) + (-209503)/50968. Let c = d - x. Is c != 1?
True
Suppose 26 = 5*k + 1. Suppose -54*p + 819 = 9*p. Is k > p?
False
Let f = 0 + -1. Suppose -7*s + 48 - 20 = 0. Suppose q - 16 = -3*x, 12 + 20 = s*x - 4*q. Which is greater: x or f?
x
Let a = -225 + 311. Let g = -87 + a. Is g greater than -1/368?
False
Let o be 36/(-351)*-65*(3/4)/(-1). Are o and -145/26 nonequal?
True
Let t(h) = -2*h**3 + 15*h**2 - 7*h - 8. Let d be t(10). Let f = d + 578. Is 2 at least as big as f?
True
Let z be 1/(-7) + 20136/(-168). Let v be 24/z + (-12)/(-10). Let u be (-15)/70*(v + 5). Which is bigger: u or -1?
-1
Let w = 131 + -127. Let s be 15/(-25) - w/(-15). Do -1.4 and s have different values?
True
Let a be (-895)/2 + (-1 - 1) + 0. Let j = 6329/14 + a. Let l(o) = -o + 1. Let f be l(-3). Are j and f non-equal?
True
Let v = -0.9 - 0.1. Let o = 809.6 + -1542. Let p = o - -732. Which is greater: v or p?
p
Let t be 36/(-45) + 355/(-25). Which is greater: -19 or t?
t
Let s(v) = 3*v**3 + v**2 - 2*v - 2. Let i be s(3). Suppose 0*t + 5*t + 4*j + i = 0, 0 = -3*t + 5*j - 64. Let q = t + 18. Is -6/11 greater than q?
False
Let u = -1.0432 + 0.9432. Is -9304 > u?
False
Let q = -0.06 - -0.123. Let m = q - -25.937. Let c = -25 + m. Which is smaller: -30 or c?
-30
Suppose 4*i = -9 + 5. Let u be 2/2 - 50/35. Is i smaller than u?
True
Let h(v) = 14*v - 203. Let x be h(15). Suppose 23 - x = -8*n. Is n at most as big as 23?
True
Let c be (155/(-15))/((-1)/3). Let k = -63389 + 63425. Which is smaller: k or c?
c
Let i = 424/27 - 562567/35829. Which is bigger: 1 or i?
1
Let w = 17604 + -16771. Is 829 <= w?
True
Let p(h) = -6*h**2 + 12*h - 229. Let g be p(-27). Are g and -4927 nonequal?
False
Suppose 0*m - m = 5609 - 5638. Is 640/21 at most as big as m?
False
Let r = 59784 + -59783. Let p be (-1944)/970 - (-4)/2. Which is smaller: r or p?
p
Let g = 28786 + -28787. Which is smaller: 2/31267 or g?
g
Suppose -9*w = -4*w + 10. Let i be (-3)/(-12)*w/22. Let k = i - -183/308. Is k at most as big as 3/5?
True
Let o(g) = -6*g**2 - 2*g + 36. Let t be o(6). Let w = 192 + -383. Which is greater: t or w?
w
Let b = -3876 + 11629/3. Which is smaller: 210 or b?
b
Let y be 16/10*(0 - (-60)/(-8)). Do y and -236/19 have the same value?
False
Let k be (28/((-27328)/144))/((-6)/(-52)). Is -1 greater than k?
True
Suppose 27*k = 26*k - 1, g + 124 = 4*k. Is -156 less than or equal to g?
True
Let x(o) = 7 + o**2 - 2*o**2 + 5 + 6*o. Let u be x(8). Let w = 943 + -4731/5. Is u equal to w?
False
Suppose -16*s + 138*s - 6344 = 0. Which is smaller: s or -1/4?
-1/4
Suppose -53*i + 49*i + 16 = 0. Let b be (12 - (i - -1))*-5. Is -35 >= b?
True
Let f = -2753068265/8546 + 322147. Is 1 less than or equal to f?
False
Suppose f - x = 8 - 10, 18 = -5*f - 3*x. Let w(j) = j**2 + 4*j. Let t be w(-2). Let g be (-2)/(-4)*(t - 0). Is f bigger than g?
False
Let q = 3 - 1. Suppose q*y + 4 = k, -5 = 2*y + 2*k - 1. Let i(x) = 6*x**3 + 2*x**2 + 5*x + 5. Let g be i(y). Which is greater: g or -0.2?
-0.2
Suppose -2*y - 5*p + 33 = -6*y, -y = -p + 7. Let v be y/(-4)*(-112)/100. Suppose 5*f - 3*n = 2, -4*n = -4*f + 6*n + 32. Which is greater: f or v?
v
Let n = -134 + 139. Suppose -2*i - n - 5 = 0, 27 = -v - 5*i. Are -2 and v nonequal?
False
Let w be 90/(-120)*(-15)/1. Let q = w - 1649/148. Is q > -1?
True
Let z = 4.3 - 0.8. Let i be (38/90)/(-1) + -138 + 11747/85. Which is smaller: i or z?
i
Suppose 0 = -8*u - 7*u. Let n be -3*2/12*u - -2. Is -26/9 at most n?
True
Suppose -5*p + 130 = 4*y - 10*p, 5*y = 4*p + 158. Let j be 90/y - 4371/2916*2. Which is smaller: 0 or j?
0
Let d = -827/180 - -187/36. Which is bigger: 3.797 or d?
3.797
Let d = -218834 - -1748515/8. Let r = -270 - d. Let l be (-3)/(6/4) - -1. Which is smaller: l or r?
l
Suppose 3*m - 191 = -4*q, -4*q + 7*q + 156 = 3*m. Suppose -w - 3*j - 27 = 0, -3*w - 8 = j + m. Let f = -8 - -6. Which is smaller: w or f?
w
Let j(o) = -43 + 4*o**2 - 48 - 47 - 18*o + 121. Let h be j(6). Suppose -3*i = -5*w - 3, h = -4*i + 4*w - 5*w. Which is greater: -29/8 or i?
-29/8
Suppose w - 107*n + 106*n = 749, -5*n + 20 = 0. Is w at least as big as 753?
True
Suppose -3*s = -5*x + 482, 2*s + 10*x + 313 = 5*x. Let f = -173 - s. Is -19 >= f?
False
Let w be ((2628/8)/(-1))/(-3). Let y = w - 75119/686. Are 0 and y unequal?
True
Suppose -x = 4*r - 1096 - 181, 5*r - x = 1585. Which is smaller: -2 or r?
-2
Suppose -5*v = -v - 2*n - 562, 2*v = 3*n + 291. Suppose 2*w + 5*m + 79 + v = 0, -3*m - 207 = 2*w. Is -96 >= w?
True
Let o be (-3)/(-1931)*(-5 + 3). Which is greater: -1 or o?
o
Let i(k) = 5*k**2 - 20*k - 23. Let d(o) = o**2 - o. Let v(l) = -6*d(l) + i(l). Let b be v(-12). Let h be (-375)/(-365) - 1/1. Which is smaller: h or b?
h
Let l = 0.6217 + -0.3917. Let i be 2 - ((-6)/(-45) - -2). Is i not equal to l?
True
Let j = 0.0943 + -193.2743. Let s = j + 193. Is s at most 1?
True
Suppose -41*o - 5251 = 5362 - 3028. Which is smaller: o or -3?
o
Let w be 798/(-4)*(-5 + 3). Suppose -m - 9 + 26 = 4*s, -5*m = -2*s - 19. Suppose -49 + w = m*y. Is 70 at least as big as y?
True
Let w = -27284 + 27284.01. Let t = -0.05 - 5.95. Which is bigger: w or t?
w
Let j = 114 + -107. Let m be j/35*2 - 34/10. Let p be 4/(-14) + 198/(-42). Is m at least as big as p?
True
Suppose 10*f - 13*f = 0. Suppose 2*w + 3*w - 20 = f. Suppose w*m - m - 5 = 5*d, 5*m + d + 1 = 0. Which is smaller: 1 or m?
m
Suppose 35*l = 487 - 522. Which is smaller: l or 3/2003?
l
Suppose 31*o - 26*o - 15 = 0. Suppose o*s - 45 = 2*i, -8*s + 2*i = -4*s - 58. Suppose -3*p = 5*a - 0*p + 35, -s = -3*a + 5*p. Which is smaller: a or 2/7?
a
Let f = -143489/603 - 107/67. Which is greater: f or -241?
f
Let i = 72056067/1004 - 71769. Is 0 greater than i?
True
Suppose -31*j - 3 = -26*j - 3*g, 2*g - 2 = j. Is 6/289 < j?
False
Let y = -64 + -143. Let n be 6 + 625/y - 3. Which is smaller: n or 0?
n
Let f(d) = 2 - d**2 + 4 + 12*d + 5 - 27*d. Let c be f(-16). Is -4 greater than c?
True
Suppose 3*y - 3*u = 15, 8*y = 12*y - 3*u - 16. Do y and 4/7799 have different values?
True
Suppose 20 = -28*w + 33*w. Let h be w*4/(-8) - -7. Which is bigger: h or 6?
6
Let u(c) = -c**3 - 23*c**2 - 9*c + 333. Let t be u(-22). Which is smaller: t or 43?
43
Let u(p) = 31*p**2 + 10*p + 17. Let m be u(-5). Is 742 smaller than m?
False
Let i(z) = -437*z + 92. Let s be i(-3). Which is smaller: 2 or s?
2
Let b(a) = 525*a + 12620. Let x be b(-24). Suppose 4*c - 10 = 14. Let r be c/x*1/30. Which is smaller: 1 or r?
r
Let n = -0.162 + -0.109. Let o = n + -0.129. Let b be 4/16 - (-7)/(-12). Do o and b have the same value?
False
Let m be (-13)/(-169) + 7/364*-4. Which is greater: m or 9/2296?
9/2296
Let l be ((-18 - -15) + 33)/(6/(-9)). Is -86 > l?
False
Let r(d) = -2*d**2 + 0 - d**2 + 25 + 2*d**2 - 5*d. Let q be (24 - 25) + (1 - 0). Let j be r(q). Which is smaller: 49/2 or j?
49/2
Let z be (40/25)/(6/(-1545)). Let f = z - -480. Is 65 >= f?
False
Let g be 7*((-38)/(-7) + -4) - 8. Suppose -72 = 2*v - 0*v. Let n be ((-3)/(-6))/(v/(-208)). Which is smaller: g or n?
g
Let k = 9.93 + -10. Let u = -321008 + 321017. Is u < k?
False
Suppose 5*z - 24 = z. Suppose -z*i + i = -5, 0 = -5*n - i + 16. Suppose 0*h = -p + h + 1, -4*p + n*h + 4 = 0. Are p and -2/11 equal?
False
Let u = -365.0671 + 0.0671. Let y = -594 - u. Which is greater: -1/3 or y?
-1/3
Let v = 4.11 - 0.11. Let p = -0.27 - 2.03. Let y = -3.7 + p. Are v and y non-equal?
True
Let j be (-2 - -13)/(370/(-75) - -5). Let z = j + -165. Which is smaller: -1/42 or z?
-1/42
Let i = -1970 - -4222. Which is smaller: i or 2251?
2251
Suppose -11*u - 4*m = -14*u - 74, 0 = 5*m + 5. Let k(x) = -22*x**3 - 2*x**2 + 1. Let h be k(-1). Let r = u + h. Do -3 and r have the same value?
False
Suppose 4*v - 1 - 11 = 0. Suppose 5*h + v*w = 24, -4*h + h + 18 = 3*w. Let k be -2 - h/((-3)/1). Is 1/12 >= k?
True
Let w = -5782 - -1497. Is w less than -4286?
False
Suppose 3*f - 2231 = 