w be 1595/g - (-3)/(-12). Which is smaller: w or q?
w
Let n = -76/23 - -78/23. Is n not equal to 1?
True
Let d(n) = n**3 + 17*n**2 - 4*n - 66. Let m be d(-17). Suppose c - 29 = 2*v - 0*c, -73 = 4*v - 5*c. Is v != m?
True
Let w = 1.4 - 3.3. Let z = w + 13.9. Let g = z - 13. Which is bigger: 1 or g?
1
Let d be (-2741 - -7) + 3 + 2 + -1. Let i be (d/25)/(-7) + 3. Which is greater: i or 19?
19
Let t = 8.7 + -0.7. Let l = t + -8. Suppose 2*h = 4*h - a, 4*h = -2*a + 16. Which is bigger: l or h?
h
Let f(z) = -3*z**2 - 9*z - 1. Let y be f(-4). Is -10 < y?
False
Let f(c) = c**3 + 12*c**2 + 27*c - 1. Let v be f(-9). Which is smaller: 22/71 or v?
v
Suppose b = -4*a - 2, -4*b - 3*a + 9 = -22. Suppose -r + 3*r - b = 0. Suppose n - 1 = -2*n + 4*o, 0 = -r*n + o - 4. Which is greater: n or 2/19?
2/19
Let n(h) = 3*h**2 - 10*h + 124. Let g be n(6). Is 172 smaller than g?
False
Let x be (-10)/4*(1 + 37/(-5)). Is -2 greater than x?
False
Let l = 2195027/1620 - 27093/20. Let o = 2/405 - l. Which is smaller: o or 0?
o
Let c(b) = -b**3 + 6*b**2 + 4*b - 5. Let v be c(6). Let g(i) = -2*i**2 - 11*i - 2. Let s be g(-8). Let z be 12/(-4 - s/9). Is z bigger than v?
False
Let j = 249 + -273. Is j smaller than -0.1?
True
Let v be 5 - -2*575/(-370). Which is smaller: 3 or v?
v
Suppose -18 - 7 = -5*w. Suppose -8*r = -w*r + 12. Is r not equal to 0.6?
True
Let o = -380 + 366. Which is bigger: o or -13?
-13
Let b be 48/(-16) - (1 - -205). Let u be 35/b + (-14)/133. Which is greater: 0 or u?
0
Let n = 5/2599 + -540637/23391. Which is smaller: n or -22?
n
Let j be ((-6)/5*-2)/((-24)/64). Which is smaller: j or -6?
j
Suppose -4*m = -7*m + 15. Let w be 36/42*7 - 8. Is m greater than w?
True
Let x = 112.2 - 113.2. Which is greater: -0.379 or x?
-0.379
Let z = -6/3499 - 6840527/10497. Which is smaller: z or -653?
-653
Let j = 618 - 7415/12. Which is smaller: 0.16 or j?
j
Let w = 85 - -380. Which is greater: w or -1?
w
Let h(v) = 3*v - 2. Let s be h(0). Let x be (-35)/s*(14 - 12). Let d be ((-10)/x)/((-12)/14). Which is bigger: d or -11?
d
Let q = -30 + 9. Let n(p) = -p**2 - 14*p - 20. Let l be n(-14). Which is greater: q or l?
l
Let k(s) = -s**3 + 19*s**2 + 19*s + 23. Let v be k(20). Let x be (1*2/(-4))/(v + -2). Is 0 less than x?
False
Suppose 3*j - 7*j + 108 = 0. Let s = -166 - -168. Are j and s equal?
False
Let z be (-2)/((-34)/(-32) + 0). Let k = -785/408 - z. Is 0 less than or equal to k?
False
Let v = -23 - -22.96. Let b = 9.04 + v. Let z = b - 9.1. Is -2/7 at least z?
False
Let f = -39.3 + 41. Let p = 5599 - 5602. Is f less than p?
False
Let c(b) = -2*b**2 + 2*b + 1. Let i be c(2). Let w = 3 + 0. Let g be 1/w*(7 + -10). Which is bigger: i or g?
g
Let b = 0.204 - 2.204. Is b < 53/9?
True
Let g = -304 - -292. Is g >= -73/6?
True
Let v = 8325 + -174859/21. Is -1 greater than v?
True
Let k(a) = a**2 - 13*a - 14. Let r be k(14). Suppose -4*i - 36 - 40 = r. Which is greater: 2 or i?
2
Suppose 7 = 4*v - 45. Let j = v - 11. Suppose -j*d = 2*l - 0*d - 6, 17 = -5*l + 3*d. Is -2/5 < l?
False
Let o = -469 + 491. Is 150/7 not equal to o?
True
Let r be (-56)/(-14) + 32935/(-8235). Which is smaller: 1 or r?
r
Let r be (2/(-16) + 0)/((-3)/18). Suppose -9 = i + 2*i. Do r and i have different values?
True
Suppose 1 = 5*p - 9. Suppose -p = -6*h + 16. Suppose -5*l - 2*d - 33 = 0, 2*l + h*d + 0 + 22 = 0. Is l smaller than -4?
True
Suppose -2*k + 14 + 56 = 0. Suppose -10*y = -5*y - k. Which is smaller: 9 or y?
y
Let p be ((-708)/(-3))/(-1)*14/4. Let t = 6583/8 + p. Is -2 less than t?
False
Let y = -2/3085 - -163509/6170. Let u be ((-5)/(-5) - 23) + -4. Let l = u + y. Is l equal to -1?
False
Suppose 0 = -42*v + 5*v + 259. Which is smaller: v or 92/11?
v
Suppose 20*m = 25*m + 365. Is m < -73?
False
Let l = -25 + 30. Suppose 0 = -l*o + 4*d - 150, 0 = -5*d + 13 + 12. Let q = o + 27. Which is bigger: q or 10/7?
10/7
Let h = -467 - -838. Is h > 371?
False
Let w be (-55 - -61)/(-10 + (-6)/(-3)). Which is bigger: w or 148?
148
Let i = 18398/11 - 1671. Is i < 2?
True
Let a(t) = 9*t**3 - 4*t**2 - 5*t - 6. Suppose -3*y - 15 + 3 = 0. Let u be a(y). Let j = u - -20656/33. Is -1 <= j?
True
Let i = -77 - -55. Suppose 10*y - 11*y = 0. Suppose 4*v = -16, y = 3*z - 2*v + 4*v + 71. Which is greater: z or i?
z
Let r be (12/(-40))/((-84)/4630). Let d = -86/7 + r. Which is bigger: d or -1?
d
Suppose -11 = -38*o + 27. Are 6/1217 and o equal?
False
Let j = 0.899 - -190.101. Is 0 smaller than j?
True
Let q = -1530 - -16876/11. Let y be (-1 - -2)/(2/8). Is q >= y?
True
Let x = -377 + 370. Is x != -7?
False
Let y = 0.9 + -1. Let m = -1572.87 + 1580. Let w = m - 0.13. Which is greater: y or w?
w
Let q be 14/(-7) + (-35)/620*-34. Are 0 and q unequal?
True
Let r = -3.33 + 3.13. Which is smaller: r or 2.5?
r
Suppose -4*u + 0*u = 5*o - 67, -3*o - 3*u + 39 = 0. Suppose -4*c - 5*r - 222 = -c, 5*r = o. Which is bigger: c or -78?
-78
Let i = 0 + -0.02. Suppose -6 = 3*a + 2*x, -5*a - 3*x + 3 = -4*x. Which is smaller: i or a?
i
Let y be (4 + -3 + -2)*-68. Let l = -99 + y. Let o = l + 26. Are -6 and o equal?
False
Let f be 144/(-1464)*2/(-4). Which is greater: 2/5 or f?
2/5
Let r(v) = v**3 + v**2 - v - 9. Let x(g) be the second derivative of -g**4/12 - 7*g**3/3 + 15*g**2/2 - g. Let p be x(-15). Let i be r(p). Is i < -9?
False
Let i = -0.028 + 2.928. Let r = i - 3.3. Which is smaller: r or 0.07?
r
Let a be (3 + -2)*-2*(-29 - -1). Let o = 50 - a. Are o and -29/4 nonequal?
True
Let y = -5 + 3. Let v = -2.177 + 1.577. Which is greater: v or y?
v
Let u be 30/396*(-12)/(-32)*-1. Which is greater: u or -1?
u
Let r be (-20)/(-6) + -2*1. Let l(x) = -2*x**3 + 73*x**2 - 37*x + 37. Let b be l(36). Which is smaller: b or r?
b
Suppose 6*v - 5*v - 6 = q, -3*v + 16 = -2*q. Suppose -2*p = -4 + 6. Are q and p unequal?
True
Let q = -2/549 + 16492/6039. Is q != 2/3?
True
Suppose 3*s - 108 = 123. Is 77 at most as big as s?
True
Suppose 10*k - 9*k = 3. Suppose -1 = 3*g + 2*h, k*g + 7 = -0*h + 4*h. Is g less than -1/14?
True
Let g be 10775/350 + (-6)/(-4). Is 33 <= g?
False
Suppose -17 = 73*a - 56*a. Is a at most 6/169?
True
Let d(q) = 2*q**2 + 7*q - 5. Let b be d(-4). Let x be -1*15*4/370. Is x less than b?
False
Let y be 1/(((-102)/(-4))/3). Suppose -5*k + 7 = -3. Suppose 0*a = -k*a + 5*l + 20, -5*l - 20 = -5*a. Which is smaller: a or y?
a
Let h be (-5)/(-37)*2/5. Let k(y) = 3*y**2 - 106*y + 135. Let w be k(34). Is w < h?
True
Let x = -256 + 35579/139. Is x less than 2/5?
True
Suppose -2*i - 45 = 3*i. Let g = i + 8. Let a be (g/(-2))/((-1)/2). Which is smaller: -2 or a?
-2
Let s(y) = y**2 + 16*y + 53. Let l be s(-11). Which is greater: l or -237?
l
Let x be (-259)/6 + 8/576*12. Which is smaller: x or 1?
x
Suppose 0 = 41*f - 47*f - 12. Let p(h) = -h**2 + 3*h - 3. Let z be p(1). Is z at least f?
True
Let i be (-4)/(48/(-93)) - (-3)/(-4). Suppose i*g - 1 = 139. Is 18 > g?
False
Let q = -4832 - -38737/8. Is 11 not equal to q?
True
Let n = -9 + 12. Let p(j) = j - 3 - n*j + 3*j. Let o be p(3). Which is greater: o or -2?
o
Let y be (11*8/176)/((-2)/(-908)). Does y = 225?
False
Let u(x) = 28*x - 7. Let k be u(2). Suppose -5*q + 44 = k. Let w = 4.7 - 5. Which is bigger: w or q?
w
Let q = 0.0825 + 10.9175. Is -41 greater than or equal to q?
False
Let j = -8.1 + 8. Let r = 124.3 + -124.9. Is r smaller than j?
True
Let a be (-60)/15*1/15. Which is greater: 0 or a?
0
Suppose -10 = -2*u, -12*h - 13 = -10*h - 3*u. Let c = 5 + -13. Let f = c - -9. Is f less than or equal to h?
True
Let d(j) = -j**2 - 19*j + 43. Let s be d(-18). Let m = 58 - s. Which is bigger: -18/7 or m?
-18/7
Let k = -44.8 + 41. Let d = -27.8 - k. Let p = d + 23.7. Which is smaller: p or -4?
-4
Suppose 7*l - 2*l = -90. Let v = 18 + l. Let c = -111 - -2110/19. Are v and c equal?
False
Let y = -437349/10 + 43700. Let a = y + 35. Is a greater than or equal to 0?
True
Let g be -4 - (-276)/54*(-6)/(-8). Let c = 0.3 - 0.45. Let t = 0.05 - c. Is g less than or equal to t?
True
Suppose -3*g = -2 - 19. Let z(k) = k**3 - 9*k**2 - 11*k - 15. Let h be z(11). Let p = -99 + h. Are p and g equal?
True
Let n = 105.1 + -102.1. Let z be 4/(-10) - (-16)/90. Is n < z?
False
Let j = 2174/189 - -786803/1512. Let k = 10 + -541. Let c = j + k. Is c at least as big as 0?
True
Suppose -22*j = -17*j - 5. Which is bigger: j or 