 12 = 3*k - 0*k. Which is smaller: q or y?
y
Let u = -79 + 75. Let i be ((-1)/u)/(4/(-24)) + 1. Is i not equal to 6/13?
True
Let a(f) = 2*f**2 + 5*f - 22. Let d be a(3). Which is smaller: d or 72/7?
72/7
Let x(i) = -i**3 + 11*i**2 + i - 6. Let a be x(11). Is -5.9 at most a?
True
Let c = -174.4 + 179.4. Which is smaller: -0.3 or c?
-0.3
Let c(k) = k**3 + 11*k**2 + 3*k + 11. Let n be c(-10). Suppose 4*f - n = 7*f. Let i = f + 19. Is -8 not equal to i?
False
Let z = -2594/7 - -370. Which is bigger: -3 or z?
z
Suppose -7*c + 6*c = -9. Let n = c + -5. Let x be (0 - -1)*(5 - n). Do 11/5 and x have different values?
True
Suppose 143*p = 137*p + 102. Is -3/19 at least p?
False
Suppose 924 - 4914 = 19*m. Which is bigger: -209 or m?
-209
Let z be 9/(-6) + (-6)/(-4). Suppose z*h - 4*w = h, 0 = 5*h - 5*w + 25. Let j be (-2)/(-7) - 160/70. Are h and j equal?
False
Let j be ((-2)/4)/((-2)/(-4)). Suppose 4*u = -5*p + 13, 2 + 6 = 4*u. Which is smaller: j or p?
j
Let c = 0 - -37. Is 37 at most c?
True
Let u = 1/2861 - 5845/351903. Which is smaller: -1 or u?
-1
Suppose -2*g + 7*n = 4*n + 133, -2*g + n - 127 = 0. Which is greater: -63 or g?
g
Let q = -0.03 - 3.97. Let d = q - -1. Let h be (-6)/(-8)*((-224)/21)/(-8). Is h at most as big as d?
False
Let a be (-60)/35 + -7 - -9. Do a and -8/5 have the same value?
False
Suppose 5*n - 2 = -27. Let l be n - (-1)/((-4)/(-4)). Is 0 greater than l?
True
Suppose -y = y - 2*u - 8, -y - 2*u - 2 = 0. Suppose -6*r = -y*r + 12. Let t = -10 + 17. Which is smaller: r or t?
r
Let v be 2*1/(-2) - 21/(-49). Are v and 0 equal?
False
Let p be -29*((-112)/220 + (-6)/(-10)). Is p less than or equal to -2?
True
Let q be -4*-4*3/(-504). Let u = -22 + 23. Is q less than u?
True
Let r = -1518 - -2618. Is r greater than 1099?
True
Suppose -3*n + 7 = -3*v - 2, v = 2*n - 7. Let f be ((-36)/(-96))/(6/n). Suppose -h - u - 4 = 0, -5*u = -4*h + 28 + 1. Which is smaller: h or f?
f
Let n be -8 + 122823/15048 + (-2)/11. Is n less than -1?
False
Let y = 54 + -27. Let f = y - 30. Which is smaller: 1 or f?
f
Let g = 13/24 + -517/984. Which is smaller: g or -0.3?
-0.3
Let j be (-2)/(3 + (-10)/4). Let z be j/43*4/8. Which is greater: 1/3 or z?
1/3
Let j = 17.4 + -8.4. Let s be (1 - 1)/(-2) + -1. Is s < j?
True
Suppose -4*h = -62 + 30. Suppose -h - 4 = 3*o. Let i = 0.3 - -0.7. Is i at most as big as o?
False
Let i = -42 + 76. Suppose -2*s - i = -5*l, 0 = 2*l + 3*s - 2*s - 10. Suppose -n + l*n = -5. Is n at most -7/6?
False
Let m(k) be the second derivative of -2*k**3/3 - 7*k**2 + 18*k. Let g be m(-6). Is 46/5 not equal to g?
True
Let p(q) = q**3 + 6*q**2 - 8*q - 7. Let w be p(-7). Let n = -476 + 10473/22. Which is bigger: w or n?
n
Let a be 0 + (0/(-2) - -1). Suppose -4*l + 19 = -a. Let y = 5 - l. Which is smaller: -4/5 or y?
-4/5
Let n = 1819 + -5449/3. Let l = 0.1 - 0. Which is greater: l or n?
n
Let p be ((-230)/(90/9))/6. Is p equal to 2?
False
Let w be (14/4)/(14/(-28)) + 3. Let m be 12/(-16)*w + -1. Are 5/8 and m non-equal?
True
Let x(a) = -4*a + 14. Let y be x(8). Suppose -33 = -5*k - 153. Let i be (1/y)/(8/k). Which is bigger: -1 or i?
i
Suppose -3*y = -3*s - 12, 4*s = s - y + 4. Is s greater than -2/61?
True
Let o(z) = 32*z**3 + z**2 + z - 1. Let v be o(1). Suppose 5*r + 5*p = 50, 4*r - 3*p - v = -0. Let s be r/24*(-4)/(-6). Which is greater: -1 or s?
s
Let i(q) = -q**3 - 31*q**2 - 130*q + 54. Let j be i(-26). Is j >= 53?
True
Suppose 3*c = -178 + 187. Which is bigger: c or -39?
c
Let l = 242 - 244. Does l = 95?
False
Let a = -292 + 291. Which is smaller: a or 29?
a
Let o be 2/(-7) + (-122)/(-280). Which is bigger: 0 or o?
o
Let t = 7.8 + -37.3. Let c = -29 - t. Is 2 smaller than c?
False
Let g = -325/9 - -58807/1629. Which is greater: g or 0.1?
0.1
Let o be 1*(-12)/(-6) + -9. Which is bigger: o or 2?
2
Let m = -12 - -14. Let q(n) = -n**2 - n + 1. Let b be q(m). Let x be (-6)/(-9)*(-3)/b. Is x bigger than -1/3?
True
Suppose 14 = -6*k + 8*k. Suppose 0 = 5*x - 4*s - 37, k*x - 4*x - 4*s - 27 = 0. Suppose o = 4*f - 4, 2*o + 3*o = -2*f + 24. Which is smaller: x or o?
o
Let f(i) = 3*i - 5. Let y be f(-5). Let b = -19 - y. Which is smaller: b or -1/13?
-1/13
Suppose 5*b = -15, 0*v + 10 = -2*v - 4*b. Let l be (9/12)/(158175/(-888)). Which is bigger: v or l?
v
Let y(x) = -x**3 - 12*x**2 + 9*x - 13. Let w be y(-13). Which is smaller: w or 41?
w
Suppose -5*t = 7*t - 9*t. Let p be 6/4*(-1)/16. Which is smaller: p or t?
p
Let q be (-3)/(-7) + (-484)/(-847). Which is greater: 48 or q?
48
Let u(w) = w**3 - 8*w**2 - 7*w - 5. Let g be u(9). Is g greater than or equal to 15?
False
Suppose -12 = -5*j + v + 1, -3*j - 3 = 3*v. Are j and -101 unequal?
True
Let i = -3064843/4586780 + 2/229339. Let j = -17/20 - i. Let g = -21 + 21. Which is greater: j or g?
g
Let a(t) = -t - 1. Let f(x) = -2*x - 1. Let g(l) = -13*a(l) + 6*f(l). Let c be g(-7). Which is bigger: c or -10/23?
c
Let t(q) = q**2 + 5*q + 2. Let v be t(-4). Suppose -4*i - 4 = -6*i, 2*k + 3*i = 12. Suppose 10 = -k*n - 7*n. Which is smaller: n or v?
v
Let m = 402/7 + -58. Let d(p) = -p**3 - 5*p**2 + 5*p - 4. Let o be d(-6). Suppose x = -0 - o. Is m at most as big as x?
False
Let d(k) = -k**3 - 9*k**2 - 16*k - 64. Let t be d(-8). Does t = -13/34?
False
Let k(n) = -16*n. Let y be k(-2). Suppose 4*i + 1190 - 1000 = 5*s, 2*s + 2*i - 58 = 0. Which is bigger: y or s?
s
Let s be 3*(-1 + 2) + 0. Let m be ((-1)/s)/(6/(-12)). Let c be 434/(-155) - (0 - 3). Is c less than or equal to m?
True
Let f(h) = 11 - 5*h**2 - 16 + 7*h + 4*h**2. Let k be f(6). Let v be -4*(0 - (-1)/(-2)). Is v less than k?
False
Let x = 29386/5 - 5896. Which is smaller: -19 or x?
-19
Let t(u) = -11*u**3 + 2*u**2 + 14*u - 13. Let x be t(1). Let i = -3 - -1. Let p(q) = q**3 + 2*q + 3. Let a be p(i). Is a bigger than x?
False
Let y(g) = 8 - 13*g + g**3 + 10*g**2 + 7 + 9*g**2 - 6*g**2. Let a be y(-14). Is -4 > a?
False
Let q(p) = 47*p + 2. Let a be q(3). Let r = -713/5 + a. Let y = -12.208 - -0.208. Is r at most as big as y?
False
Suppose 5*z - 3*z = -2*x + 8, 14 = 2*z - 4*x. Suppose z = r - 6*r. Let t be (-12)/26 + 9494/26260. Are r and t nonequal?
True
Let d = 8931/50 - -609/50. Which is smaller: d or 192?
d
Suppose 2*h = -2*l + 120, -33*l + 31*l + 4*h = -102. Do l and 47 have the same value?
False
Let o = -22/259 + -9187/4662. Let a = o + 5/9. Let l be ((-2)/8)/1 + 0. Is l at least a?
True
Let f be (-8)/32 + (338/8 - 0). Is f less than or equal to 41?
False
Let c = -3404/3 + 146450/129. Which is greater: 0 or c?
c
Suppose -5*r + 52 + 18 = 0. Let i(f) = f**3 - 15*f**2 + 15*f - 16. Let p be i(r). Which is smaller: p or -2/3?
p
Let i = 21.25 + 13.75. Is 9 <= i?
True
Let q(r) = -r**3 + 11*r**2 - 17*r - 11. Let j be q(8). Let k be 75/j - 2/4*3. Is 1 >= k?
True
Let q = 420 - 3361/8. Is q smaller than 9?
True
Let j be (0 + 6)/(2 - 0). Suppose j*i = i. Let p be -1*(i - (-2 - -1)). Is p greater than or equal to -2?
True
Let w be 4/14 + (-30)/56. Let g = -411 + 408.83. Let y = -2.1 - g. Which is smaller: y or w?
w
Suppose -3*g - 2*g + 5 = 0. Let r(c) = c + 7. Let w be r(-7). Let p be (g + 13)/(-2 - w). Which is smaller: p or -8?
-8
Suppose 2*x - 5*o + 1 - 26 = 0, -x + o + 5 = 0. Let b = 14/7289 - 1526551/1640025. Let k = b + 1/25. Is k at most as big as x?
True
Let s = -34 - -33.89. Let c = 0.01 + s. Is 0.4 < c?
False
Suppose 18*a + 48 = -2*z + 22*a, -5*z - a = 98. Which is greater: z or 0.11?
0.11
Let s(p) = 750*p**2 - p - 2. Let z be s(-1). Let h be (-14)/z*(-1)/2. Which is bigger: h or 1?
1
Let j(c) = -2*c**2 - 14*c - 12. Let z be j(-8). Let u = 15 - z. Is 44 bigger than u?
True
Let u be (-759)/110 + (-1)/10. Let o be (u - -6)/((-1)/(-4)) - -6. Which is smaller: o or 10/13?
10/13
Let g be (7/(-21))/(2/12). Let f = 7 - 5. Let r = -1 - f. Which is smaller: r or g?
r
Let k be 48/(-36)*3 - 7/(-8). Is k less than or equal to -3?
True
Let s = -2/9851 - 7869/9762341. Which is smaller: 0 or s?
s
Let o = -27 - -30. Suppose 0 = -2*h - 0*h - 3*d + 9, 3*d = -o*h + 15. Let i be (-33)/h - (-3 - 1). Is i at most -2?
False
Let y = -35 + 65. Suppose 0 = -5*w + h - 50, -4*w + w + 5*h - y = 0. Is w equal to -9?
False
Suppose -2*h + 4*q = 114, 0 = -4*h + 25*q - 30*q - 228. Do h and 15 have different values?
True
Let t be (48/(-30))/((-12)/(-20)). Let x = -3 - t. Which is g