?
False
Let q be 34/(-5)*70/(-28). Suppose -73 = q*o - 22. Which is smaller: -1 or o?
o
Suppose -43*v = -46*v - 60. Let h = -46 - -26. Is v >= h?
True
Let u = -61.5 + 61. Let v = 6.7 + -7. Let m = v - u. Which is greater: -0.06 or m?
m
Let h be 2/(-8 + 6) + 24/33. Suppose -g = 4*o - 13, 5*g - 5*o + 3 = -7. Let t = g + -2. Which is greater: h or t?
h
Suppose 3*h + 293 = 4*f, -f = 5*h - 0*h + 450. Let a = -101 - h. Let i(o) = 11*o. Let p be i(-1). Which is smaller: a or p?
p
Let w = 0.2146 - 9.1046. Is 1 less than w?
False
Suppose -c + 40 = -5*g + 4*c, 5*c + 15 = 0. Let j be (0 - (2 + 3)) + 8. Suppose 0 = 2*d - j*s + 17, -3*s = 2*d + 2*s + 25. Do g and d have the same value?
False
Let u(s) = s**3 + 8*s**2 + 7*s + 4. Let h be u(-7). Suppose 4 = h*z - 0. Let y be 3 + -7 + 9/2. Which is bigger: y or z?
z
Let o be (-4)/(-14) - (-6 + (-3392)/140). Let p be ((-2)/(-15))/(2/(-462)). Let h = o + p. Is h <= 0?
True
Let h = 10.9 + -7. Let t = 1.9 - h. Which is greater: -12 or t?
t
Let b be 204/(-12) - -2 - (-4 + 0). Let i(h) = -3*h + 9. Let y be i(6). Which is greater: y or b?
y
Let s(j) = -j**3 + 9*j**2 + 11*j + 12. Let m be ((-100)/35)/((-4)/14). Let g be s(m). Suppose 53 = 4*p - 3*y - 51, 3*p - 4*y = 85. Which is bigger: g or p?
p
Suppose 2*g + 0*t + 2*t = 0, 2*t + 7 = 5*g. Suppose -2*y + g = -y. Let v = -1/436 - -1755/4796. Which is bigger: v or y?
y
Let i be 5/((-385)/(-42)) - 14114/22. Is i greater than -640?
False
Let q = -538 + 13448/25. Let d be ((-4)/(-8))/(2/(-4)). Is d not equal to q?
True
Let b(k) = -2*k**3 - 38*k**2 - 4*k - 77. Let l be b(-19). Which is smaller: l or 3/259?
l
Suppose -2*u = -4*u - 5*h + 13, 3*u - 4*h = -15. Let d(f) = 16*f**2 - 4*f + 5. Let i be d(4). Let l = -3183/13 + i. Is l > u?
True
Suppose -59*b + 41*b = -864. Which is greater: b or 45?
b
Suppose 0 = -5*n + 4*c + 10, -5*n + 4*c = 3*c + 5. Let u be n/(-6)*(-24)/(-32). Which is greater: 1 or u?
1
Let b(w) = -2 + w**3 + 2*w**3 + 2*w - 2*w**3 + 2*w**2 - 6*w. Let v be b(-3). Let t be 2/(-4)*1/(-5). Do t and v have different values?
True
Let z = 174.591 + 0.409. Let v = -180 + z. Let l(h) = -h**2 + h + 1. Let k be l(0). Which is smaller: v or k?
v
Let d = 2298/1271 + -50/31. Let g be -8*(-2)/(-820)*31. Let k = g - d. Which is bigger: k or -2?
k
Let v be (-47850)/47982 - 1*-1. Which is smaller: v or 1?
v
Let g = 374 - 374.1. Which is smaller: -10/27 or g?
-10/27
Let w = 16 + -33. Let l = w - -18. Is 1/9 < l?
True
Let w(y) = y + 4. Suppose -7*d + 4 = -2*a - 4*d, 2*a + 4 = d. Let j be w(a). Is 0 at most as big as j?
True
Let h = 269 + -270. Let o = 3.6 - 5. Which is bigger: o or h?
h
Let q be 1/(-3) + -1 + 1. Suppose 3*f - 104 = -j - 8, -f = -2*j + 199. Let p = j - 889/9. Is q at least p?
False
Let c = -107 - -115. Let p = -10 + 20. Which is greater: p or c?
p
Let p(u) = -u**3 - 10*u**2 + 3. Let f be p(-10). Suppose w + 2*q - 2 = 0, -w - f*q = 2*w. Is w at most as big as -3?
False
Let m = -1.4 + 1. Let q = -0.8808 - 0.1192. Which is smaller: q or m?
q
Let k be 2 - ((-14)/21)/(93/(-261)). Which is smaller: k or 0?
0
Suppose -1975 = 15*d - 1915. Does d = 9/5?
False
Suppose 6*b - 3*b = 18. Let y = b - 2. Let d = -2 - y. Is 1 greater than d?
True
Let z = -165 - -160. Let d be ((-12)/20 - -1)/((-124)/z). Is 0 at most as big as d?
True
Let w(l) = -l**2 - l + 2. Let y be w(-2). Let d(f) = 2*f**2 - 5*f - 26. Let m be d(5). Which is smaller: y or m?
m
Suppose 21 = 76*p - 73*p. Let w(v) = -v**2 - 6*v + 2. Let x be w(-6). Suppose -b - p = -x. Which is smaller: b or -1?
b
Let b be 2/(-2) - 6 - ((-245)/(-21) - 18). Let s(p) = -4*p - 1. Let j be s(-2). Suppose -2 - 2 = 2*r, 5*w + r = -j. Is w less than or equal to b?
True
Let j = 78 - 51. Let w = -15 + j. Let z be (2/64)/(2/w). Is z > -1?
True
Let x = -642 + 633. Is 22 at most x?
False
Suppose 247 = 17*x - 4*x. Is x less than 22?
True
Suppose -12 - 27 = -4*r - 5*l, -r - 6 = -4*l. Suppose -r*q - q = 0. Is -1/2 != q?
True
Suppose 3*m - 4*c + 7 = -0, c - 1 = m. Which is greater: -4 or m?
m
Let y(a) = -9*a**2 - 33*a - 2. Let g be y(-3). Which is smaller: 0.2 or g?
0.2
Suppose 162 = -4*q + 5*i, -9*q + 3*i + 184 = -14*q. Suppose -4*c = 36 + 124. Which is greater: q or c?
q
Suppose 4*h + 0*n = -2*n - 94, -5*n + 41 = -2*h. Which is smaller: -24 or h?
-24
Let b = 0.3 + -0.26. Let y = b - -1.96. Which is smaller: 23 or y?
y
Let w = 3423423/8 - 427376. Let d = -551 + w. Which is bigger: 2 or d?
2
Let w = 1.1 + -1.5. Let z = w + 0.6. Let c = 2.2 - z. Which is bigger: c or -0.02?
c
Suppose -9*m + 13 = 4*m. Is -2/749 != m?
True
Let u = -1.49 + 1.7. Which is greater: 0.4 or u?
0.4
Let m be (-5)/22*(-104)/2096. Let j = m + 3/262. Which is bigger: 1 or j?
1
Let t(q) = q**2 + 11*q + 11. Let z be 2/((-6)/21) - 3. Let i be t(z). Let b be -2 + (i - 1) + -2. Is -4 bigger than b?
False
Suppose 0 = 2*o + 4. Let q = -1129/5 + 225. Which is smaller: o or q?
o
Suppose 714 = -101*x + 115*x. Is 47 at least x?
False
Let s = -1883/5 - -378. Suppose 0 = -5*m + 3*i + 11, 5*i + 6 = -4*m - 0*i. Is m greater than s?
False
Let y = -0.915 + 4.205. Which is greater: y or -1/3?
y
Let h = 61 - 75. Which is smaller: h or 1?
h
Let d(s) be the first derivative of s**4/2 - 25*s**3/3 - 7*s**2 + 15*s + 33. Let c be d(13). Which is bigger: 3 or c?
3
Suppose 6*i - 43 = 767. Which is smaller: i or 0?
0
Let l = 1216/35 - 246/7. Is l != 375?
True
Suppose 4*q - 3*h + 3262 = -8*h, -5*q + 3*h - 4059 = 0. Which is bigger: q or -814?
q
Let l = 23486/180509 - 32/241. Let g = 1/120159746 - 32211394981/25714185644. Let r = g - l. Are r and 0 unequal?
True
Suppose -6*w + 461 + 223 = 0. Is 114 at least as big as w?
True
Let k = -13.2 - -12.59. Let v = 0.81 + k. Which is bigger: -0.4 or v?
v
Let p be ((-2)/(-4))/((-3)/(-12)). Suppose -m + 6*m - 18 = x, p*m - 5*x - 21 = 0. Suppose 0 = -3*h - m*j + 30, -10 = -5*h - 2*j + 5*j. Is h <= 2?
False
Let c = 129 + -389/3. Is c < 61?
True
Let f = -0.1 - -4.8. Let q = -1.7 + f. Let m = 1.2 - 1.2. Is m less than or equal to q?
True
Let t be 2 + ((-2)/(5 + 1) - 2). Is t >= -1/88?
False
Let d(l) = -l**3 - 8*l**2 - 8*l + 13. Let q be d(-7). Let n be (3/(-20)*-4)/(2/q). Which is smaller: 0 or n?
0
Let u be (-1425)/(-10)*(-64)/(-24). Do 381 and u have different values?
True
Suppose 0 = -c - 2*c. Suppose -2*z + 5*z + 2259 = 0. Let p be z/189 - (-20)/5. Is c != p?
True
Let q = 69 + -69.37. Let v = q + 0.27. Which is smaller: v or -2.8?
-2.8
Let p be (-39)/36 - 9/(-27). Let g(k) = k**3 - 7*k**2 + k - 7. Suppose 0 = -3*l - 2*l + 35. Let r be g(l). Is r < p?
False
Let d be (-1)/4 + (-146)/24. Suppose o + 2*o = -f + 208, 342 = 5*o + 4*f. Suppose 6*q + o = -4*q. Is d at most as big as q?
False
Let a(p) be the first derivative of -7 + 7/3*p**3 + p + 1/4*p**4 - 4*p**2. Let u be a(-8). Which is bigger: 2/87 or u?
u
Let q be 4/10 + 5020/(-50). Let c be (-5)/(-35) - q/(-28). Which is smaller: -2 or c?
c
Suppose -5*j + j = -200. Let b = j - 251/5. Let o be (3 - 4) + (-2 - -3). Is o smaller than b?
False
Let v(f) = 15*f**2 + 3*f - 6. Let q be v(2). Which is smaller: q or 61?
q
Let j = 0 + 2. Let l = 0.23 - 0.43. Is l bigger than j?
False
Let v be (40 - 4) + (0 - -2). Let c = v + -41. Let u = -1 - 1. Which is bigger: u or c?
u
Let i = -1.32 + 0.22. Let n = 1.5 - i. Let m = n + -2.4. Which is smaller: 4 or m?
m
Let r = -802 + 781. Which is bigger: r or 10?
10
Let h = 2128 + -1463. Which is bigger: 663 or h?
h
Let p = -959/13298 - -5/218. Which is smaller: -1 or p?
-1
Let f(o) = 3*o**3 + 10*o**2 + 3*o + 6. Let m(d) = -5*d**3 - 19*d**2 - 5*d - 12. Let n(w) = -7*f(w) - 4*m(w). Let z be n(6). Which is smaller: z or 2/3?
z
Let h be (-1 - (-1)/7) + (-10)/70. Let i be 40/(-3) + -2 - 2. Let u = -19 - i. Do u and h have different values?
True
Suppose 5*p - 3*p + 95 = 5*g, -p = 0. Which is smaller: 119/6 or g?
g
Let u(r) = 5*r + 64. Let v(i) = 9*i + 127. Let y(z) = -5*u(z) + 2*v(z). Let b be y(-6). Is -22 < b?
False
Let l = -59 - -40. Let s = 18.8777 - -0.0223. Let x = l + s. Does 1/3 = x?
False
Suppose 5*b - 43 - 7 = 0. Suppose -b = 3*h + 2*h, 5*h - 22 = -4*j. Which is greater: j or 9?
9
Let w = -520 + 519. Is 14/269 > w?
True
Let a(j) = -2*j**2 + 17*j + 1. Let s be a(8). Let u be s/(-3) + ((-26)/(-10) - -1). Let b = -0.4 + 0.2. Which is greater: b or u?
u
Suppose 4*v = -5*f + f - 212, -51 