h is smaller: v or z?
v
Suppose -45*z = -55*z - 2860. Let u be z/(-58) + -14 + 9. Let o = 1/8 - -3/8. Is u at most as big as o?
True
Let t = 0.693 + -0.43. Let a = 92.263 - t. Which is bigger: a or -0.3?
a
Suppose 44 - 26 = 6*p. Suppose 5*g = 12*v - 9*v, p*g + 3*v = 0. Is -5/26 greater than g?
False
Let v be (2/(-1384))/((-218305968)/16792767 - -13). Let h = v - -8089. Which is smaller: h or 0?
h
Let z = 0.6883 - 0.6883. Is z <= -776?
False
Let p(z) = -2*z**3 - 12*z**2 - 8*z + 8. Let i be p(-4). Suppose 0*h + 4*h = -112. Which is smaller: i or h?
h
Suppose -518*k + 515*k + 35 = -5*x, 0 = -3*x + 3*k - 21. Is -2/17 less than or equal to x?
False
Let b = -0.89 - 252.11. Let f = b + 253. Which is smaller: 1/366 or f?
f
Let q be 2110 + -9 + 0 + -12. Is q less than 2088?
False
Suppose -2*g - 25*k + 20*k = -20, -12 = -g - 3*k. Which is smaller: 4/5 or g?
g
Let x(o) = o**2 - 33*o - 12. Suppose 2*v = -n + 25, -n - 4*n + 125 = -3*v. Let i be x(n). Is i < -212?
False
Suppose 4*p - 128 = -11*h + 13*h, -2*h - 114 = 3*p. Let z be (-8)/12*-1 - h/(-9). Is z at least -20/3?
True
Suppose -f = 3*u + 18, 158 = -5*f + 1093*u - 1091*u. Let s(w) = w - 31. Let m be s(0). Is f > m?
True
Let l be 6*(8 + 146/(-18)). Which is smaller: l or 0.583?
l
Let o be (6/(-4))/((-12)/16). Let f = 258 + -32. Let n = 190 - f. Which is bigger: o or n?
o
Let h be 31/24459*1110087/(-201) - (-2 - 5). Are -1 and h non-equal?
True
Let g be -2 - 158 - 3 - 0. Let x = g + 803/5. Let j = 786 - 789. Is x greater than j?
True
Let i = -6995/488 - -1/1464. Let w(n) = 6*n**2 + 3*n - 3. Let v be w(-3). Suppose 21*m = 18*m - v. Is m < i?
False
Let b be ((-12)/(-15) - 1) + (-876)/20. Let m = -39 - b. Let a(c) = 2*c - 5. Let u be a(m). Is 6 at least u?
True
Let y = -321 + 334.6. Let s = 0.6 - y. Which is smaller: 1.2 or s?
s
Let a(j) = 49*j**2 - j. Let t be a(1). Let o = -140/3 + t. Let i = -746966 + 746971. Are i and o unequal?
True
Let w = 54.8 - 54.55. Let b = -5 - -7. Let l = 2.1 - b. Which is bigger: l or w?
w
Let u be (-2)/7 + (-10)/(-35). Let x(n) = 7*n + 31. Let i be x(-5). Let z be i*14*3/60 + 3. Is z > u?
True
Let x = 84.233 - -1.867. Let h = 86 - x. Is h at most 128?
True
Suppose 158 = 3*i + 4*z - 3*z, 0 = 3*z + 12. Let d = 117/2 - i. Which is greater: 4 or d?
d
Let w(f) = -1094*f + 4915. Let j be w(6). Is j not equal to -1649?
False
Let b be (-3)/(-7) + (-585)/(-105). Let s(x) = 5*x + x + x**2 - b - x + 2. Let o be s(-5). Which is greater: o or -14/5?
-14/5
Let f be 2 - ((54808/(-288))/(-13) - 1/(-4)). Let t = -20 + 7. Which is smaller: t or f?
t
Suppose -22*n + 13 = -21*n. Let d be (n/936)/((-5)/4). Which is smaller: d or 0.1?
d
Suppose 5*l - 11*l = 6. Let v = 58/5 - 1231/110. Is v not equal to l?
True
Suppose -239*b + 121*b = -120*b - 66. Which is smaller: b or -457/14?
b
Let c(a) = a**2 + a - 2. Suppose 5*u - 86 = -2*l, 4*l = -7 - 1. Let h = -20 + u. Let m be c(h). Are 1/2 and m equal?
False
Suppose -13559 = 13*f + 151866. Let r = f - -3728419/293. Is 1 > r?
True
Let k be (5 + 50/(-10))/(1 + 1). Is 1632 at least as big as k?
True
Let d(l) be the second derivative of -22*l + 1/6*l**3 - 13/2*l**2 + 0. Let k be d(12). Do k and 2/55 have different values?
True
Let v = -8.5 + 8.6. Let s = -27 - -23.1. Let z = s + 3.89. Is z at most as big as v?
True
Let y(n) = n**2 - 3*n + 1. Let r be ((-2)/5)/((-19)/95). Let f be y(r). Let j = 115 - 919/8. Which is smaller: j or f?
f
Let j(m) = -5 + 9*m + 5. Let h = 947 + -946. Let s be j(h). Which is bigger: s or 10?
10
Let d = 4.767 + -5.767. Let g be 124/(-6)*(-9)/(-6). Which is greater: d or g?
d
Suppose -13*u + 1861 = -2091. Which is greater: 3356/11 or u?
3356/11
Let s = -260.61 + 260. Let q = s - 0.84. Is q < -2?
False
Suppose 0*b - 825 = -3*b. Suppose -2*z = -3*y - 17, 4*y + 0 = 3*z - 24. Suppose -z*q = 7*q + b. Which is greater: -27 or q?
q
Let s = -280 - -280. Suppose -231*v + 229*v = s. Is v bigger than -3/154?
True
Let z = 0 + -1. Let b = 161 - 156. Let h be (-11)/12 + b/4. Is z <= h?
True
Let p = 64064/3 - 377593219/17682. Do 0 and p have different values?
True
Let d(u) = u**3 - 32*u**2 + 61*u + 61. Let s be d(30). Let o = -103 + s. Which is smaller: o or -9?
o
Let b be 7200 - -20 - 5/(-1). Let v be -6 - (b/(-1125) - 4/(-18)). Which is smaller: v or 4?
v
Suppose -3*f + 4*f = 1. Let i be ((-74448)/74 - -1)*1. Let x = -1005 - i. Is x at most f?
True
Let h = -101.3 + 45.8. Let b = 55.6 + h. Which is greater: 2.46 or b?
2.46
Let u = 732 + -805.3. Let b = 73.3 + u. Let m = 1174/95 - 61/5. Is b less than m?
True
Suppose -4*m + 225 = 3*k, 5*m - 203 = 3*k + 112. Let u be ((-1)/(-3))/(m/9 + -7). Suppose 5*g - 4*g + 1 = 0. Is g greater than u?
False
Let n = -605 - -607.49. Let x = n + -2.59. Are x and -42 equal?
False
Let g = -1006 - -1029. Let j = -52 + 75. Is g bigger than j?
False
Let b = -9966 - -6109. Which is greater: -3856 or b?
-3856
Suppose 0 = -a + 17*a - 22752. Is a greater than or equal to 1421?
True
Let o(y) = 958 + 2*y + 12*y - 836. Let d be o(-11). Which is smaller: -92/3 or d?
d
Let x = 1640 - 1637. Which is bigger: x or 974?
974
Let z = -46.706 - -48.706. Let r = -82.44 + -1.56. Is r <= z?
True
Let f = 1/6454 + -19367/32270. Which is greater: f or 0.021?
0.021
Let b be (-21 + 25)*((-2)/(-7) - 2992/10703). Is 0 < b?
True
Let g = -0.8 - 1.02. Let j = g - -1.92. Which is smaller: j or 10/17?
j
Suppose 4937*o = 4951*o - 672. Does o = 13?
False
Let v be (-5)/(525/20)*(0 - (-1)/2). Which is greater: -33.4 or v?
v
Suppose 6*b - 4*b + 5*k - 24 = 0, 5*b = -k + 60. Suppose -8*j - b*j = -4*j. Is -2/265 not equal to j?
True
Let w(c) = 10*c**2 - 5*c - 25. Let u be w(-6). Let l = u - 106. Is 259 < l?
False
Let d = 12967 + -13446778/1037. Let y = 15547/8296 + d. Are 1 and y equal?
False
Let l(x) = 19*x - 13. Let u be l(3). Suppose -3*g + d + 157 = 0, -4*d - 44 = -2*g + u. Is 55 <= g?
False
Let m = 201.56 + -218.56. Which is smaller: m or 201?
m
Suppose -23*w = 168 + 844. Let c = 4.9 + -5. Which is smaller: c or w?
w
Let y be ((-100)/3)/4*54/(-30). Let u(x) = x**3 - 12*x**2 - x + 14. Let p be u(12). Suppose -p*z + z + 14 = 0. Which is bigger: z or y?
y
Suppose -8 + 13 = -z. Let g = 47 + -39. Suppose 0 = k + 2*o - 2, 2*o + g = 4*o. Do k and z have the same value?
False
Let a = 67.47 + -67.77. Which is smaller: a or -3726?
-3726
Let d = 0.898 + -0.6. Is d > -1.9?
True
Let o(b) = -5*b. Let u(h) = -15*h + 17. Let y(v) = -6*o(v) + u(v). Let i be y(3). Which is smaller: i or 64?
i
Let g(u) = 431*u - 24 + 4 - 489*u. Let c be g(8). Let r be (2 + (-4)/3)/(c/99). Is 1 at least as big as r?
True
Suppose -3*x - 193 = -43. Suppose -4*u = 4*o + 8, -536*u = -o - 535*u + 6. Is o at least as big as x?
True
Suppose -4*v - 5*b + 41 = 0, -2*b = 4*v - 570 + 544. Is 94/19 greater than or equal to v?
True
Let p = -3081 + 1916. Which is smaller: p or -1166?
-1166
Let t be (415/(-440) - (-3)/24)/(-95). Let s = 14/55 + t. Is 0 < s?
True
Suppose 0 = 5*i - 0*i - 40. Let f be (6/5)/(14/((-630)/(-27))). Suppose -n = f*m - 9, -6*m + 2*m + 3 = 5*n. Which is smaller: i or m?
m
Let p = -43.4 - -1.4. Let f be (1/(-2))/((-2)/(-4) - 1). Let m be (f - -2)/1 - 5. Which is smaller: p or m?
p
Let v = -5759 - -5760. Is v smaller than -7/604?
False
Let u = 165 - 162. Let q(x) = 3*x**3 - x**2 + 3*x. Let g be q(u). Is 81 > g?
False
Let d(p) = -41*p - 22. Let x = 45 - 39. Let a be d(x). Is a smaller than -267?
True
Let q = 32 + -20. Suppose -q = 5*n + 23. Let b(g) = -8*g - 32. Let h be b(n). Are h and 23 nonequal?
True
Let l = -2 - -5. Suppose 3*v - 49 = 4*c, -l*v + 6*v = 5*c + 59. Let u be -20 - (-2622)/133 - 22/(-28). Which is greater: c or u?
u
Let h(a) = -3000*a + 3011. Let s be h(1). Suppose -2*p + 3*b + 25 = -0*b, -4*b = 2*p - 18. Is p > s?
False
Suppose -46*c - 1542 = -300. Which is greater: c or -50?
c
Let a be (-21)/14 + -2 + 3/(-6). Let x be (2/a)/((-260)/60). Let k(d) = -6*d + 19. Let c be k(3). Which is bigger: c or x?
c
Let f be ((-2)/4)/((-2)/4). Let p be (-4)/(-18) - ((-7420)/(-90))/(-7). Suppose 5*z - u = p, -12*z + 3*u + 12 = -9*z. Is f >= z?
False
Suppose -2*z = -114*k + 110*k - 18818, 0 = -2*z + 3*k + 18824. Are 9421 and z equal?
True
Let z = -3945 + 7007. Is z >= 3065?
False
Let f be -18 - ((-2)/(-8) + (-15)/12). Let l be 266/3 - (f/(-3) + -5). Let j be (3 - 2) + (3 - l/20).