3). Let y = a - -9740/1329. Which is bigger: 6 or y?
y
Suppose 19*s - 2 = 17*s. Let v(g) = 7*g**2 - 17*g. Let m(x) = -x**2. Let l(k) = s*v(k) + 6*m(k). Let f be l(17). Are f and -1/20 unequal?
True
Let b = 93 + -52. Are b and 40 nonequal?
True
Let s be 45/234*(-8)/3. Which is greater: s or -2?
s
Let f be -1 - 313/(-209) - (-206)/(-1133). Are -1 and f equal?
False
Let h be -17*((-147)/(-14) - 5). Is h greater than or equal to -94?
True
Let u(f) be the first derivative of f**2/2 - 5*f + 24. Let g be u(2). Is -3 less than g?
False
Let r = 760 + -790. Is r less than -151/5?
False
Let d = -1.15 - -3.09. Let c = 0.06 + d. Let s be (-1 + -2)*6/(-81). Is s bigger than c?
False
Let l = 2.7 - 2.7. Let r = 22.7 + -23. Let s = l - r. Is s at most -4?
False
Let c = 5.8 + 19.2. Let i = c - 26. Is i not equal to -9?
True
Let r be ((-187)/44)/(339/12). Which is smaller: r or 0?
r
Suppose 14*m - 4 = 12*m. Suppose -v = m*v + 6. Do v and -2 have different values?
False
Let j = 7/228 - 2713/28956. Which is greater: 1 or j?
1
Let g(w) = w**3 - 6*w**2 + 21*w - 311. Let x be g(9). Which is smaller: 127 or x?
x
Suppose 3*l - u = 59, -5*l + 5*u = -54 - 51. Suppose -37 - l = 14*o. Are -3 and o equal?
False
Let g be (-3 + 1 + 1)*-2. Let n = 0.03 - 0.63. Which is greater: g or n?
g
Let x be (-1*1)/(19/10203). Which is greater: x or -536?
-536
Let q(j) = j**3 - 7*j**2 + j - 4. Let z be q(7). Let n = z + 2. Suppose -d + 2 = n. Which is greater: -4 or d?
d
Let o = 1.5 - -0.5. Suppose 4*t = -23 - 97. Let j be (-3)/((-15)/(-2))*t/18. Which is bigger: j or o?
o
Let o = 230 + -228. Which is greater: o or -274?
o
Let l(f) = 9*f**2 + 3 - 1 - 4*f - 12*f**2. Let d be l(3). Which is smaller: d or -36?
d
Let b = -3.07 + -3.93. Which is smaller: b or -0.9?
b
Suppose 6*g - 26 = 4*g. Suppose -5*y - g = -3*u, 2*y = -3*u - 26 + 67. Suppose -u*x + 9*x + 2 = 0. Which is greater: x or -1/6?
x
Let s = 1.1 + -11.9. Is 2/3 at most as big as s?
False
Let q(v) = v**3 - 5*v**2 + v - 3. Let o be q(5). Suppose l - 7 = -3, 118 = -o*j - 3*l. Which is bigger: j or -66?
j
Suppose -t + 27 + 145 = 0. Suppose 3*s - 9 + t = 5*g, g = -5*s - 253. Is -52 < s?
True
Let t = -159.8 + 159.7. Which is bigger: 0.88 or t?
0.88
Let r = -8 - -55/7. Let y be (0 + -1 + 0)/1. Let i = y - -2. Which is smaller: r or i?
r
Let r = -18 + 21. Suppose 0*a = a - v - 5, 20 = r*a + 2*v. Is a less than or equal to 4?
False
Let u = -8.14 + 8.6. Let q = u - 0.56. Let a = 0.1 - -0.2. Is q <= a?
True
Let o = 7402 + -3797228/513. Which is greater: 1 or o?
1
Let u = -259305/4036 + -2/1009. Let v = -65 - u. Which is smaller: v or 4?
v
Let b be 344/44 + 4/22. Suppose d = -d + b. Suppose d*q - 6 = q. Which is smaller: q or 1?
1
Suppose 0 = -107*w + 20*w + 435. Which is smaller: 43/12 or w?
43/12
Let x = -19 - -18. Let z be 43*3/(-21) + 4. Is x greater than z?
True
Let t be 2*(-39)/6 + -1. Let y(o) = -o**2 - 14*o + 5. Let f be y(t). Is 5 at most f?
True
Suppose 0 = 3*m + 9, 2*v + v + m = -3. Let z(c) = c - 1. Let t be z(v). Let b be 0/1 - 6/(-16). Are b and t unequal?
True
Suppose -24*f + 19*f = -615. Is f < 0.2?
False
Let o be (1 + 0)*(-25)/(-5). Suppose -2*g + o*g - 3 = 0. Which is smaller: -2/39 or g?
-2/39
Let g be (-2 - (-1)/4)*-24. Let v be g/(-32) + 11 + -10. Let m = 223/816 + v. Is -1 >= m?
False
Let u = 132.27 + -133. Let z = u - 3.27. Let o = -1 - 1. Which is smaller: o or z?
z
Suppose 22*u - 34 = 76. Which is bigger: 8 or u?
8
Let s = -288/22699 + -5755729/439089456. Let d = s - -2/403. Is -2/5 at most as big as d?
True
Let d be (2/(-6))/(2 - (-95)/5). Let a be 21/12 + (-3)/4. Which is smaller: d or a?
d
Suppose 11*b + 4*r - 60 = 7*b, -2*b + 2*r = -34. Let d = -9 - -23. Which is bigger: d or b?
b
Let o = 3 - 1. Let a = 6.96 - 7. Let h = 6.04 + a. Which is smaller: h or o?
o
Let g = -87 + 97. Suppose -2*f = -g*f. Are -2/11 and f unequal?
True
Let p(t) = -t**3 - 5*t**2 - 6*t - 9. Suppose 0 = -2*u - 2*u - 16. Let g be p(u). Which is smaller: g or -5?
-5
Let i(m) = 9*m**3 + 5*m**2 - 9*m - 34. Let f(x) = -5*x**3 - 3*x**2 + 5*x + 17. Let o(v) = -5*f(v) - 3*i(v). Let k be o(4). Which is smaller: k or -104?
-104
Let y(r) = 16*r - 2. Let z be y(-1). Let x be (4/z)/(16/(-24)). Is 61 greater than x?
True
Let x = -2 - -2. Let w = -0.17 + 0.27. Let a = w - x. Does a = -2?
False
Suppose 5*c + 2715 = c + m, 0 = -5*c + 3*m - 3385. Let w be c/70 + (-4)/14. Let h(g) = g + 11. Let q be h(w). Which is bigger: q or -2/23?
q
Let i = -221 - -216. Let x = 0.7 + -1. Let v = 1.3 + x. Is v smaller than i?
False
Let t be 0/1 - (1 - 0). Let u = 2.56 + -2.46. Which is bigger: t or u?
u
Let r = -6/8867 + -12307354/62069. Let l = r - -198. Is l != 1?
True
Suppose 96 = 4*z - 5*p + 13, 5*z + 5*p - 160 = 0. Let s = -35 - z. Let k be (-6)/21 - s/119. Which is smaller: -1 or k?
-1
Let f be 24/(-15) + 2/(-5). Let h = -691 + 2757/4. Is h less than or equal to f?
False
Let m(a) = 10*a - 250. Let t be m(10). Which is smaller: -0.1 or t?
t
Let p = -795 + 591. Are p and -202 non-equal?
True
Let x = -94 + 73. Let f = x - -85/4. Let a = -3.3 + 3. Which is bigger: a or f?
f
Let i = 1/100023 - -226752136/500115. Which is smaller: 454 or i?
i
Let y be 6/((-336)/469) + (-4)/2. Which is smaller: -11 or y?
-11
Let t = -55.4 - 7.6. Let u = t + 61. Are -3/7 and u equal?
False
Let p = 11 + -10.964. Let v = p + -0.996. Let o = 0.04 - v. Is 2/9 at least as big as o?
False
Let h be 50 - -3 - (-9)/(-3). Suppose -h = -4*q + 2*q. Suppose -q = 7*z + 24. Which is smaller: z or -6?
z
Let p = -3708 - -25755/7. Let c = 45 - 16. Let f = c + p. Which is bigger: f or 0.2?
f
Suppose 2*p - 5 = 5*g, 8*g - 4*g - 9 = -p. Let w be (-105919)/(-55)*5/(-16). Let r = 602 + w. Is r at least g?
False
Let a be 46/5 + 12/15 + -1. Suppose 3*k - 2*n = -1, 8 = -k + 4*n - a. Which is bigger: 2 or k?
k
Let k = -966 - -39604/41. Which is smaller: -1 or k?
-1
Let g be 5 + -5 + (0 - -1). Let z be g - (51/24 + -1). Which is smaller: 0 or z?
z
Suppose p + 2*t + 7 = 0, -p - 6*t + 7*t = -2. Let s be ((-15)/(-20))/(21/(-12)). Is p < s?
True
Let r = 43 - 816/19. Let q be (2 - 3)*-1*0. Let m be (q - -3)*(-15)/(-45). Are r and m non-equal?
True
Let p(o) = -23*o**2 + 14*o - 12. Let f be p(1). Let i = -1 + -21. Which is smaller: f or i?
i
Let y = 77 - 78. Let l = 930 - 15816/17. Is y >= l?
False
Let r(q) = 16*q**2 + 2*q + 1. Let g be r(-1). Suppose f = 13 - 4. Let k be (f/(-20))/(g/(-10)). Is k less than 0?
False
Let r(g) = -8*g**2 + 2 + 13*g**3 - 12*g**3 - 5. Suppose -x - 1 = -3*x + 5*i, -5*x = -4*i - 28. Let a be r(x). Do -3 and a have the same value?
True
Let o be -6 + 10*43/75. Which is bigger: o or -1/33?
-1/33
Suppose -23*q = -2279 - 757. Does q = 131?
False
Let k be 6/(-5)*((-25)/15)/(-1). Let g be 4/(-6) - (-34)/6. Is g at most k?
False
Let b(k) = 3*k - 32. Let r be b(14). Is r less than or equal to 8?
False
Let v = -1.2 + 2.33. Let z = -0.33 + v. Does z = -1/2?
False
Let d = 0.101 + -0.101. Let y = 4 + d. Is 0 at most as big as y?
True
Let z = -255 + 425. Which is greater: z or 2/3?
z
Let v(w) = 2*w + 17. Let r be v(-15). Let p = -11 - r. Suppose -2*i = p*i. Which is bigger: i or -1/3?
i
Let o(h) = -3*h + 3. Let w be o(8). Let k = w - -35. Let q be (-5)/(-1 + 4/6). Which is smaller: q or k?
k
Let l(s) = -s**2 + s + 2. Let d be l(9). Let q = 71 + d. Is 1/41 at most as big as q?
True
Suppose 0 = 129*v - 98*v - 558. Which is bigger: 17 or v?
v
Let v be (2/(-3))/(7/(-84)). Let g = 9 - v. Let m(t) = t + 1. Let q be m(g). Do 7 and q have different values?
True
Suppose -2*g + 4*j = -20, -6 = -5*g + 4*j - 5*j. Suppose -5*k - 3 - 4 = 2*q, -g*k - 38 = 4*q. Is -10 greater than q?
True
Let s = 707 + -706. Is 2/13 at most s?
True
Let a = -758287/79 + 9599. Which is bigger: 1 or a?
1
Let t be 13/52 - (1 - (-146)/(-152)). Let y(g) = -4*g + 7 + 3*g + 0*g. Let z be y(6). Is t < z?
True
Suppose 0 = 4*c + 16, -2*y - 6*c = -7*c + 156. Are -79 and y unequal?
True
Let y = 283767/25 + -11349. Which is smaller: 3 or y?
y
Let z(r) = -r**3 - 8*r**2 - 7*r + 6. Let d be z(-7). Let p be 3 - 6*3/d. Let y = 6/281 - 664/4777. Which is smaller: p or y?
y
Suppose 0*h - 40 = 4*h. Let d = 63 + -75. Which is bigger: d or h?
h
Let y = -20.9346 + -0.0654. Is -1 >= y?
True
Suppose -117 + 26 = -7*a. Let n be -17 - -16 - (a - 0). Is -13 > n?
True
Let g = 28