hich is smaller: h or g?
g
Let o be 5/(-8) - -3*6/144. Which is smaller: 2/453 or o?
o
Suppose 3*x - 4*i = -0*i + 29, 3*x + i - 4 = 0. Suppose -n - x = -4*v + 2*n, -n - 1 = -v. Which is bigger: 2/3 or v?
2/3
Let n be 1*3/9*3. Let w be (-8)/(-37)*n/12. Which is smaller: 1 or w?
w
Suppose -4*p + 8 = 2*k, -4*p = k - 4 - 4. Suppose -3*c + 10*q - 5*q - 34 = 0, -2*q = c - 7. Let m be (1/c)/(p/(-30)). Is m smaller than 5?
False
Let r(x) = -3 + 3*x**2 - 4*x + 0*x - 2*x**2. Let n be r(5). Let u be n/(-4) - 6/(-8). Is u bigger than -3?
True
Let i be -2*2/6 + 17. Let a be -1 + (1/((-24)/(-428)) - 4). Let d = i - a. Which is smaller: -2 or d?
-2
Let n = 22.6 - 22.473. Let x = n + 0.003. Which is smaller: 4 or x?
x
Suppose 5*w = 3*k - 215, -211 = -0*k - 3*k + w. Let s = -73 + k. Is s greater than -3?
False
Let y be (-210)/2625 + 2/25. Is 1/49 less than or equal to y?
False
Let m = -10 + 2. Let r be m/78*(-1)/(-2). Let u be 3 - (3 + 4/(-4)). Which is bigger: u or r?
u
Let g = -316/3 + 4102/39. Let t = -2 - -1.9. Which is bigger: g or t?
t
Let o be ((-652)/44 + -2 + 2)/20. Let y = 1014 + -111539/110. Let g = y - o. Which is smaller: 1 or g?
g
Let z be ((-8)/(-6))/((-2)/180). Let d = z - -66. Do d and -53 have the same value?
False
Let n(g) = -g**2 + 8*g + 100. Let t be n(-7). Which is bigger: -7 or t?
t
Let j(c) = -c**2 + 3*c + 3. Let l be j(4). Let t be 4/8*60/65. Is l greater than or equal to t?
False
Let c = -2 + 1. Let r = 7258 - 7257. Which is smaller: c or r?
c
Let j = 377 + -377. Is j != -286?
True
Let b(i) = -7*i**2 + 19*i + 5. Let v be b(3). Which is smaller: v or 1/298?
v
Let x be (140/(-34) + (-19 - -23))*26. Is x > -4?
True
Let w(v) = v**2 + 6*v + 4. Let f be w(-5). Suppose -2*u = 3*u - 20. Suppose -u*n - 1 = 5*q + 3, -2*q + 5*n + 5 = 0. Which is bigger: f or q?
q
Suppose l - 6*l = 3*t + 92, -5*t = -3*l + 176. Which is greater: -33 or t?
-33
Let d = 2287/7 - 324. Which is smaller: -0.2 or d?
-0.2
Suppose -158*g = -159*g. Which is smaller: g or -108?
-108
Let i = 28 - 77. Which is smaller: -50 or i?
-50
Let f(l) = -2*l**3 + 2*l**2 - 2*l + 2. Let r be f(4). Let i be ((-2)/r)/((-5)/15). Which is smaller: 1 or i?
i
Let z = -84 - -25. Is 1 less than z?
False
Let t be -2*57/38 - (-187)/(-1). Is -0.3 smaller than t?
False
Suppose -10*y - 5*r = -5*y - 3180, -5*r = 3*y - 1912. Let u = y - 89392/141. Do 0 and u have different values?
True
Let l be -4 - (-1)/((-3)/(-18)). Suppose 0 = 3*b + 5*k - l*k - 27, 3*k = 0. Let g = 23 - 14. Do b and g have different values?
False
Let d = -56 + 30. Let j = 203 - 221. Let p = d - j. Is 2 greater than p?
True
Suppose 2*f - 5*b - 5 = 0, 7*f - 2*f = 2*b + 2. Which is smaller: f or 2/9?
f
Suppose -2*p + 14 = u + 3*p, -5*u + 3*p + 14 = 0. Let i be (u + -5)/((-2)/(-24)). Let l = i + 11. Which is smaller: 2/9 or l?
l
Let y = 1674 + -1117. Which is smaller: 556 or y?
556
Let z(g) = g**3 + 5*g**2 - 52*g - 76. Let o be z(-9). Which is bigger: 66 or o?
o
Let w be 2*(-164)/(-14) + 6/(-14). Let y be (14/(-4) + 3)/(w/10). Is 1 greater than or equal to y?
True
Suppose 7*w - 26 = 3*k + 2*w, 0 = -2*w + 8. Let h = -1 - -4. Let v = h + k. Which is greater: v or -1?
v
Let i = -25 + 52. Let v = 25.92 - i. Let c = v + 1.1. Which is smaller: c or 1?
c
Let z be 4*4*(-5)/(-80). Let v be (3/z)/(-3) - 20. Is v greater than -21?
False
Let y = -0.004 + 0.214. Let b = 0.2 - y. Let m = b - 2.99. Is m at most 0.3?
True
Let g be (12/(-99))/(2/(-3)). Let p = -13.1 - -11.84. Let j = -0.26 - p. Is g less than j?
True
Let j = 0.8 - -0.8. Let q = j - 1.88. Let s = 0.02 - q. Are 1 and s non-equal?
True
Let j = -55 - -13. Let o = j + 43. Do -3/19 and o have the same value?
False
Let g(f) be the second derivative of -f**5/20 + f**4/4 + 5*f**3/6 - 5*f**2/2 + f. Let p be g(4). Let k be (2/(-8))/(39/(-52)). Which is bigger: p or k?
k
Let z(k) = 17*k + 173. Let v be z(31). Which is greater: v or 701?
701
Let p(m) = -m**2 - 10*m - 1. Let q be p(-8). Let d = q - 10. Which is smaller: d or 4?
4
Suppose 3*b = -5*z + 21, 4*z - 3*b = -4*b + 14. Suppose -5*c - 5*i - 5 = 0, -z*c + 2*i - 43 = -3*i. Let r be (4/c)/(24/(-252)). Is r less than 7?
False
Let y = 2.5 + -2.7. Let c = -0.325 - -0.165. Which is greater: y or c?
c
Suppose 0 = 2*o - z + 25, 12 + 2 = -o + z. Suppose -2*i - 3*u - 3 = 2*u, 0 = -3*i - 3*u - 18. Which is smaller: o or i?
o
Let o = 781.1 + -781. Which is smaller: 470 or o?
o
Suppose -2*h - 345 + 43 = 0. Which is greater: h or -303/2?
h
Let c(k) = 5*k + 9. Suppose -5 = -4*f + 11. Suppose -q - j - 2 = 0, f*q + 11 + 0 = -j. Let n be c(q). Is n at most -1?
True
Let w = 3.571 - 1.571. Which is bigger: w or 110?
110
Suppose 0 = 13*i - 18*i - 5355. Let y be (-1)/(-2)*i/18. Let w = 30 + y. Is w >= -0.3?
True
Let s be ((-2)/(-14))/(-5 + 4 - 2). Is s at least as big as -1?
True
Let n be 28/11935*(-2)/(-4)*-5. Which is greater: n or 0?
0
Let q be 10/4 + (-1)/(-2). Let w(z) be the first derivative of z**2 - 3*z - 6. Let y be w(q). Which is smaller: y or 0?
0
Let h = 19.955 + -18.9. Let n = -0.055 + h. Which is greater: -5 or n?
n
Suppose 20*f - 114*f - 1316 = 0. Is f smaller than 15?
True
Let i = 4/1121 + 814/3363. Is 1 less than i?
False
Let i be 286*2/(-4)*-1. Is i at least 144?
False
Suppose 7 = 4*s + 3. Let y = 4447 + -4484. Is s not equal to y?
True
Suppose -p = -2*p + 20. Suppose 2*j = 5*o + 12, -2*o - p - 10 = -5*j. Let v be (-1)/5 + j/30. Is 4/3 not equal to v?
True
Let n be 54/112 - 1/(-7). Suppose -t + 16 = -5*t, -3*p + 3*t = -12. Let r = 2 - p. Which is smaller: r or n?
n
Suppose -10*d - 3*d - 3822 = 0. Let c = d + 4412/15. Which is smaller: -6 or c?
-6
Let k be 4/(-6)*(-2)/((-396)/(-27)). Which is smaller: k or -1?
-1
Let h(a) = 10*a**2 + a - 4. Let v(z) = -21*z**2 - z + 9. Let f(n) = 5*h(n) + 2*v(n). Let l be f(1). Is l < 6?
False
Let h = -3.2 - 0.8. Let r be 1372/(-120) + 2/4. Let b = r + 34/3. Do h and b have the same value?
False
Let a be -16*(-1)/2 - 2. Let c = a - 5. Let d be 207/(-552)*(1 + (-5)/9). Is c greater than d?
True
Let o = -814 - -363. Which is smaller: -452 or o?
-452
Let p(m) = 4*m + 33. Let q(l) = 2*l + 4. Let s be q(-7). Let c be p(s). Suppose -5*g - 18 = -2*g. Which is smaller: g or c?
c
Let q = 2706 - 5605/2. Let w = 1265 - 4087/3. Let d = q - w. Which is smaller: 0 or d?
0
Suppose 40 = -12*j + 8*j. Let n = 0 + j. Is -10 smaller than n?
False
Suppose 0 = 4*r - 5 + 1, -r = 5*p - 271. Suppose -63*c = -p*c - 36. Which is smaller: 3/7 or c?
3/7
Suppose 0 = 3*i - 9 - 0. Suppose 97 = 5*h + 3*n, -3*n + 4*n = 4. Suppose -19*v + 4 = -h*v. Is i <= v?
False
Let n(v) = v**3 - 3*v**2 - 6. Let b be n(3). Let p be b/9*(0 - 1). Is p at least as big as -1.8?
True
Suppose -165 = -5*n + 4*u, 4*n - 3*u - 72 = 59. Let h = n + -57. Let z be 4/14 - 76/h. Is 3 bigger than z?
False
Suppose 3*i = 8*i + 55. Let o = 46 + -59. Is i >= o?
True
Let c(f) = -2*f + 2. Let k be c(1). Suppose -9 = -3*p - k*p. Suppose 3*o - 5 = 1. Which is smaller: p or o?
o
Let u = -2505265 + 52621186/21. Let d = u - 506. Which is smaller: -1 or d?
-1
Let u be 2 + -6 + 2 + 2. Suppose -2 = -2*f - u. Which is smaller: -1 or f?
-1
Let p = -17 - -43. Let t be p/(-4) + 3/6. Suppose 3*v - j = -2*v - 20, v - 5*j = 20. Is t > v?
False
Let x be 0/(-1 - 0) - -33. Let o = 39 - x. Which is smaller: -1 or o?
-1
Let k = 109.05 + -109. Which is greater: k or 61?
61
Let h(c) = 2*c - 14. Let x be h(7). Suppose x = 5*g - 5*p + 20, 5*p + 46 - 18 = -3*g. Do -3 and g have the same value?
False
Let w = 0.293 + 45.707. Which is smaller: -0.05 or w?
-0.05
Let b(f) = f**2 - 14*f - 15. Let m be b(14). Let t be -3 + (-6)/m + 1161/60. Is 18 at most as big as t?
False
Let o = 24 + -15. Let q be (-4)/(12/o) - (9 + -16). Suppose -5*u + 3*z = -11, 14 = -0*u + 4*u - 5*z. Which is greater: u or q?
q
Suppose 21 = -3*i + 10*i. Suppose 3*t - 5*b = -10, -2 - 4 = 5*t - i*b. Are 19 and t non-equal?
True
Let b = -471.2 - -473. Is 4/9 >= b?
False
Let i = 25 + 4. Is i > 28?
True
Let l be ((-1)/(-4))/(5/(-4)). Let g = 5 - -13. Let y be (-4)/g*((-30)/(-4))/5. Is l greater than or equal to y?
True
Let k = 42 - 28. Let o be 43*(1/(-2) - 7/k). Is -43 != o?
False
Let f = -0.032 + 6.782. Let l = f + 7.17. Let a = -14 + l. Is a less than or equal to 0.1?
True
Let s = -1765.9 + 1766. Is s <= -4?
False
Let p be (2/(-4))/((-8)/(-16)