4?
q
Suppose -g + 6 = 0, 4*g - 3*g - 6 = -d. Let k be -2 + (-1)/(255/(-512)). Is k not equal to d?
True
Suppose -5*j - 190 - 519 = -3*b, -4*b = 5*j + 688. Let d = -195 + 194.8. Is d at most as big as j?
False
Let m(d) = 6*d + 4. Let q be m(3). Suppose 1 = 6*l - 59. Suppose 34 = x - 3*h, 24 = 2*x + 15*h - l*h. Is q bigger than x?
False
Suppose s - 2*s = 1. Let t be 66/204*60/(-440). Which is smaller: t or s?
s
Let f be 51680/32 - (-143)/11. Which is greater: 1629 or f?
1629
Suppose -150 = -2*p + 38. Let o be (-9)/(-21) - 46/(-7). Suppose o*g + 17 - p = 0. Are g and 10 unequal?
True
Suppose 0 = -3*r - 3*r + 54. Let q(a) = a**2 - 9*a + 6. Let h be q(r). Let l(j) = j**2 - 2*j - 2. Let c be l(-2). Do h and c have different values?
False
Suppose -4*v = 5*c - 34, -41*c + 36 = 4*v - 37*c. Let w = 0 - -2. Suppose -5*a + t = -58, 0 = w*a - 3*a + 3*t + 20. Are v and a nonequal?
False
Let q be 1652/413*145/4. Is q smaller than 175?
True
Let b = -30.88 + 61.88. Are 20 and b equal?
False
Let i = -30 - -34. Suppose 2*v = 4*w - 0*w - 28, -i*w - v = -16. Suppose -b + w = 0, 4*c - c - 4*b - 7 = 0. Is 11 < c?
False
Let x(n) = -277*n + 3877. Let z be x(14). Let j be (-3)/15*1/2. Let u = j - -13/50. Which is greater: u or z?
u
Let o be (-3)/(-9) + 0 + 12/18. Suppose 19 = 4*j - o, -15 = 5*d - 2*j. Does d = 2/721?
False
Let u(v) = v**3 + 9*v**2 + 9*v + 17. Let h be u(-8). Suppose 0 = -h*p - p - 140. Do -14 and p have different values?
False
Suppose 3*j + 276 = w, -2*w = -3*j + 3*w - 288. Let d = j - -119. Is 26 > d?
False
Suppose -4*g + 83 = -3*c + 85, g = 5*c - 9. Which is bigger: g or 29/46?
g
Suppose 45*i + 22*i + 194 = -30*i. Is 8/7 at most i?
False
Let l be (-358)/(-895) - (-54)/(-35). Is l != 1/36?
True
Suppose 11*i + 3513 = 10036. Is i < 592?
False
Let y be (-3 - -1) + 110*1. Let r(p) = -9 - 37*p**2 + 35*p**2 + 17*p + 5*p**2. Let t be r(4). Which is smaller: y or t?
t
Let a = -981/5 - -195. Let d be ((-9)/(-9))/(-3 + 2). Do a and d have different values?
True
Let o = -33083 + 33082. Let z = -1/62437 - 17357471/936555. Let g = z - -3404/195. Is o at least g?
True
Suppose -2*r + s = 162, -15 = -3*r - 5*s - 245. Let x(t) = -t**3 - 76*t**2 - 144*t + 217. Let l be x(-74). Which is greater: l or r?
l
Suppose -97 - 281 = 9*k. Let u be 60/(-63)*(-63)/k. Which is smaller: u or -6?
-6
Let l(h) = h**2 + 4*h - 2. Let t be l(-4). Let b(u) = -29*u**3 - 5*u**2 - 4*u - 1. Let m be b(-1). Let n be 6/m + (-134)/117*1. Which is smaller: t or n?
t
Suppose 4 + 300 = -38*p. Which is greater: p or -3?
-3
Let k be (-3)/(1746/112)*6/4. Is 1 < k?
False
Let q = 724.1 - 724. Which is bigger: 172/41 or q?
172/41
Let r = -5 - -32. Suppose -r*f = -28*f - 1. Is f bigger than 2/105?
False
Let t = 20179 + -59231/3. Let q = 434 - t. Is q <= 47?
True
Let m = 158 - 131. Suppose -705 = m*w - 4323. Which is bigger: 132 or w?
w
Let k = -1761 + 1832. Let b(j) = j**3 + 12*j**2 - 18*j + 4. Let s be b(-13). Which is smaller: k or s?
s
Let d = -3018905/1190532 + 2/42519. Is -2 not equal to d?
True
Let j = 305036039972 + -45824649175903975/150227. Let g = j - 2/13657. Let a = -7 + g. Which is smaller: a or -2?
-2
Suppose -38*x = -5*r - 40*x + 8, 3*r + 2*x - 8 = 0. Let t(i) = -7*i**3 - i**2 + i. Let m be t(1). Let b be m/133*(r - -1 - -1). Which is bigger: 1 or b?
1
Suppose 58*w = -108*w + 16*w - 3600. Which is bigger: -25 or w?
w
Suppose -5*h - s = -6*s + 10, -5*s = -4*h - 10. Suppose 5*m + 0*b = 2*b + 105, -3*m + 4*b + 63 = h. Let p be (57/m + -1)*7/56. Which is bigger: 1 or p?
1
Let w(l) = -69*l**3 + 2*l**2 - l - 2. Let v be w(-1). Suppose v = -u + 41. Suppose -d - 120 = 3*d. Which is greater: u or d?
u
Suppose -3*z + 12 = 0, 6*k - 11*k = -5*z - 5. Suppose -558 + 573 = k*y. Which is smaller: y or 72/17?
y
Let c be 2/5 - 2464/(-140). Let f be 3/(c/(-6)) + 2. Which is greater: 2/201 or f?
f
Let r = -0.10528 + -0.89472. Which is greater: r or 1541?
1541
Let d be (5 + -3 - 5/3) + (-8844)/99. Are -95 and d equal?
False
Let s = 6242 - 3686. Is 2557 at most as big as s?
False
Suppose 1115 = -98*k + 4839. Let r(v) = 33*v**3 + 2*v**2 - 2*v + 1. Let m be r(1). Suppose k*o = m*o + 72. Which is greater: -2/11 or o?
o
Let m = 1129 - 801. Suppose -5*p + p + m = 4*x, 0 = -2*x + p + 152. Let d = x - -19. Is 98 at most as big as d?
False
Let p be (-4 - -1 - -2) + (-4182820)/(-1005). Let o = p - 4161. Is 1 >= o?
True
Suppose 491*z - 485*z - 24 = 0. Suppose 2*p + 14 = -2*i - 0*p, -3 = p. Which is smaller: i or z?
i
Let z(t) = t**3 + 6*t**2 + 8*t + 14. Suppose -j - 3*r - 2 = -0*j, -5*r = 3*j + 10. Let g be z(j). Let c = -93/260 - -1/20. Which is smaller: g or c?
g
Let n = 6.63 + 1.32. Let m = n + -8.15. Which is bigger: -255 or m?
m
Let z = -29164 - -28579. Which is smaller: z or -581?
z
Let k(u) = -u + 9. Let f be k(8). Let p = 425 + -1029. Let z = p + 579. Which is bigger: z or f?
f
Let z be 8*6/4*(-559)/195*-215. Is 7397 greater than z?
True
Let y = 72 - 20. Let n be 2/(-9) + 4 + y/(-9). Which is greater: -17/7 or n?
n
Let a = 3868 - 3869. Which is greater: 4/35 or a?
4/35
Let f be 194640/(-312) - (11 - 0). Let b = 609 + 24. Let p = f + b. Which is bigger: -2 or p?
p
Let i = -32850.62 + 32850. Is i greater than or equal to -9/31?
False
Suppose 7*p + 0*p - 364 = 0. Suppose 4*x - 2*n = 178, x - 4*n + 11 = p. Let b be (-498)/(-15) - 3/x*3. Which is bigger: b or 35?
35
Let d be (42526/(-28) - 20) + ((-20)/8 - -3). Which is smaller: d or -1539?
-1539
Let t = -725 - -256. Let q = t - -7031/15. Let g be 2/8 - 1/4. Which is smaller: g or q?
q
Let h be (-27)/(-11 - -15 - (-35)/(-9)). Let p = 36 + h. Which is greater: p or -208?
p
Let j = 8071/55 + -147. Is j bigger than 1?
False
Let d be (-3948)/540 + (3/(-1))/(-27) - -6. Is d bigger than -240?
True
Suppose -5*m + 66 = -5*p + 81, 2*p - m - 4 = 0. Which is bigger: p or 9/8?
9/8
Let q = 47 + -95. Let c = -103 - q. Let j = -31 - c. Which is greater: -2/5 or j?
j
Suppose 2*k + 2 = k. Let w be (18/2)/(-1) - k. Let p be ((-351)/(-819))/(3/(-14)). Which is smaller: p or w?
w
Suppose -165 - 537 = 13*i. Let u = i + 56. Suppose 2*q - 1 = 3*y + u, 3*y + 3 = 4*q. Which is smaller: 10 or q?
q
Suppose -a + 2*a = -5*p, 2*a + 2*p = 0. Suppose 4*b - b - v - 12 = a, 5*v + 18 = b. Let f(k) = -2*k - 4. Let x be f(b). Which is greater: x or -11?
x
Let h = -5571 - -5383. Which is smaller: 13 or h?
h
Let c = -2146 + 2145.9033. Let s = -11.0067 - c. Let m = s - -10.1. Is m < -1?
False
Let q = 347 + -346.9886. Let y = 0.1386 + q. Which is smaller: y or -3/2?
-3/2
Let h(w) = w**3 + 7*w**2 + 7*w + 6. Let i be h(-6). Let m be (-2 + 1)/(6 + -5). Let n be (9 + -7)*(i - m/(-2)). Which is greater: -22 or n?
n
Let u(k) = 5*k + 112. Let o be u(-11). Suppose 0 = -61*m + o*m + 4. Are -12/61 and m nonequal?
True
Let u be 6/2*20/(2280/(-23066)). Which is bigger: -7896/13 or u?
u
Let n = 5175 - 4459. Is n <= -5?
False
Let s = -2397 + 2396.9. Are 1271 and s non-equal?
True
Let a be (4/14)/(1/14). Suppose 2*n = a*n + 66. Let v = n - -34. Which is smaller: 0.9 or v?
0.9
Suppose -25*w = 736 - 711. Is w > 18/119?
False
Let o = -8011 - -7917. Suppose -5*b - 744 = 3*b. Is b equal to o?
False
Let y = 3/120844376 + -4097832791447/51842237304. Let n = 874/11 + y. Is n at least 1?
False
Let o = 12333/5 - 2466. Let j(n) = n**3 + 6*n**2 - 8. Let m be j(-6). Let f = -8 - m. Is o <= f?
False
Suppose g - 7 + 13 = -a, 4*a + 16 = 0. Let z be (-20)/(-14)*(-8)/16. Which is bigger: z or g?
z
Let a = -230 + 219.3. Let m = a - -66.7. Let c = 55 - m. Is c <= -2/13?
True
Let y = 31168 - 12872400/413. Which is smaller: -1 or y?
-1
Let m = 38 + -56. Let u be (136/6)/((-66)/m - 3). Suppose -u*r + 4 = -32*r. Is r at most 3/2?
False
Let x be (2 - 8/(-6))*6/(-4). Let j be 10 + -6 + x/((-6740)/(-5384)). Is 0 at least as big as j?
False
Suppose -2*c - 196 = 5*f, f - 6*f - 5*c = 190. Let q be ((-684)/15)/(12/f). Which is smaller: 0.1 or q?
0.1
Let j(x) = 3*x**3 + 52*x**2 + 210*x - 3. Let m be j(-11). Is m > -131/9?
True
Let t = -61 + -8. Let j = t - -178. Let i = 178 - j. Which is smaller: i or 70?
i
Suppose -17*l + 21*l - 4*r = 7620, 2*l = -r + 3795. Are 1905 and l non-equal?
True
Suppose -618*w + 396099 = 3625767. Is w greater than or equal to -5226?
True
Let u = -3255/4 + 1639/2. Let x be 8/1 - (-6)/(-3). Is x greater than or equal to u?
Tru