lue?
False
Suppose -3*z - 3656 = -11*z. Let w = -452 + z. Do w and -3 have the same value?
False
Let h be (-188000)/(-136) - (-114)/(-323). Which is smaller: 1380 or h?
1380
Let p = 1624426/37 + -43900. Let y = -4883/185 - p. Which is bigger: y or -31?
y
Suppose -4*k + x + 1283 = 0, 4*k + 382 = -5*x + 1647. Is -5 greater than k?
False
Suppose 7*c + 5*c = c. Let w(k) = -k + 8. Let l be w(c). Suppose -3*v + 5 = -l*v. Is v >= 1/69?
False
Let f = 155 - 175. Let z = -20.213 + -0.087. Let y = z - f. Which is smaller: -2/31 or y?
y
Let g be ((52/(-130))/(8/70))/((-3)/8634). Are 10073 and g non-equal?
False
Let j be (21/(-14))/(3/6). Suppose -45 = -5*w + 10. Let u be w/((0 + j)/(-6)). Is 22 greater than u?
False
Let c be 148/(-11) - (-28)/(-154). Which is smaller: 9 or c?
c
Suppose -2*a + 2*y = -324, -3*y + 274 = 3*a - 194. Let f = 158 - a. Is f != -2/391?
True
Let p = -21434 - -21433. Which is bigger: -1/8821 or p?
-1/8821
Let j be (30/20)/((-2)/6 - (-2131)/6420). Which is smaller: -1 or j?
j
Let o(b) = -4*b**2 - 4*b - 15. Suppose 0 = 5*t - 102 - 13. Suppose 2*m - t = -33. Let f be o(m). Which is greater: f or 0.1?
0.1
Let m(v) = 7*v + 96. Let p be m(-14). Let t be 2 + 1 + p + 39/(-28). Do t and -1 have different values?
True
Suppose 2*l - 2*w + 0*w = -316, -4*l + 3*w = 634. Let f be (-361524)/2256 - ((-1)/4 - 0). Is f <= l?
True
Suppose h = 6*h - 5, 7 = 2*s + 3*h. Suppose -s*l - 1 = -l + 5*x, 0 = -3*l - 5*x + 17. Suppose f - k - l = 12, 4*f + 3*k - 105 = 0. Does 23 = f?
False
Let g = -0.1717 - 0.8283. Let o = 1 + 1. Let a = o + g. Which is smaller: a or 0.99?
0.99
Let n = -14088 + 14263. Which is smaller: n or 177?
n
Let c be (108/8)/((-483)/63). Is -2 at most as big as c?
True
Let m be (-2255)/18600 - 46/(-345). Let o(h) = -h**2 - 8*h - 13. Let i be o(-6). Is m bigger than i?
True
Suppose 6*a - 4 = 2*a, 2*v + 4*a - 338 = 0. Suppose p = b - 47, 2*b - v = -2*b - 3*p. Let w = -35 + b. Is -1 equal to w?
False
Let q = 81 + 71. Let w = q + -168. Which is smaller: w or 7/3?
w
Let l = -1103/20 - -7681/140. Let f = -18 - -18.06. Is f smaller than l?
False
Let o = 26313.018 + -26288. Let v = o + -0.018. Let l = v - 24.8. Is l at least as big as -3?
True
Let z be 7 - (12/54 + (-5927800)/(-874620)). Which is greater: z or 1?
1
Let a = -12671/3 + 165866/39. Let d = a + -29. Let w be 4/(-6)*51/(-34). Is d <= w?
True
Let v = 8.064 + -7.994. Let r = 119 - 709/6. Which is smaller: v or r?
v
Let r be ((-42)/(-525))/(1079 - 4). Is r > -1?
True
Let y = 216 + -198.9. Let c = y - 17. Let p = 109/81 + -1/81. Which is greater: p or c?
p
Let a be 22/((-152152)/(-22092)) + -4 + 1. Are 0 and a unequal?
True
Let o = -158 - -168. Let q be -2 + -4 + (3 - 0). Let u be (o/4)/((-6)/(-4) - q). Which is smaller: 2 or u?
u
Let k = 768 - 577. Suppose -k + 186 = -5*p. Which is greater: -1/105 or p?
p
Let r(g) = 10193*g - 377146. Let n be r(37). Let o be 80/(-18) + 1 + -1. Is o greater than or equal to n?
True
Let p be (-390)/(-8) + (-9)/(-36). Let v = -498 + 560. Suppose 36 = 2*w - v. Is p at most w?
True
Let t(g) = -5*g**3 + 76*g**2 - 5*g - 148. Let n be t(15). Is -3/1826 not equal to n?
True
Let s = 45056155319/726 + -62064404. Let g = s + 3584. Let n = g + -17417/5082. Which is greater: -1 or n?
-1
Let d be (-384)/(-160)*(1 + (-37)/(-3)). Suppose -d = 8*j + 40. Let r be (2 + (-10)/j)*24/80. Are 1 and r equal?
False
Let d = 6240 - 6240. Are -8/797 and d equal?
False
Let x = 62 - 61. Let h be x + 1*0/4 + 9. Let i be (2 - (-25)/h)*-4. Which is smaller: -1 or i?
i
Let l(j) = -246*j**2 + 45*j - 290. Let x be l(5). Is x at least -24865/4?
True
Let m = 2135/88 + 23307/3080. Is 33 smaller than m?
False
Suppose 12*u + 259 - 79 = 0. Let s be 42/u*1665/(-18). Is s at most 259?
True
Let c = 1.904296 - 0.904296. Let m = -39 + 39.083. Which is bigger: m or c?
c
Let z be (2175/(-60))/((-2)/(-8)). Which is smaller: z or -152?
-152
Suppose 0 = 3*z - 4*w - 23, 0 = 6*z - z - w - 10. Let h = -349405/9999 + -1/2222. Let x = h + 73/2. Which is greater: x or z?
x
Suppose 1086 = v + 3*z, -134*v - 4404 = -138*v + 3*z. Which is smaller: 1104 or v?
v
Let x = -23 + 26. Let p = -69 + 58. Let i = -12 - p. Does i = x?
False
Let u(l) = -l**3 - 4*l**2 + 12*l + 1. Let b be u(-6). Which is smaller: b or 2/8343?
2/8343
Let o = -13 + 12.9. Suppose -n + 4*q = 4, 7*q - 2*q - 65 = 5*n. Let u be 2*(-4)/n + 0. Is o >= u?
False
Let k = -97 - -129. Suppose -k*a = -36*a - 164. Are a and -39 equal?
False
Let q = 2420 + -2743. Let i = 41/1718 - 17193297/53258. Let w = q - i. Do w and 1 have the same value?
False
Let a = 0.136 - -0.094. Let r = 1.77 + a. Which is smaller: -0.53 or r?
-0.53
Suppose 0 = 5*h + 6*v + 161, v - 56 + 12 = 2*h. Which is smaller: 33 or h?
h
Let j = 25.2 + 185.8. Let a be 30/3 + -11 + 2 + -1. Which is bigger: a or j?
j
Suppose 4*s - 8*s + 112 = 0. Let o be (3 - 6)*s/6. Let j be ((o + 0)/(-6 + 7))/(-2). Do 19/3 and j have the same value?
False
Let q(h) = -h - 59. Let f be q(-36). Let g(o) = o**3 + 24*o**2 + 20*o - 70. Let w be g(f). Are w and -20/9 non-equal?
True
Suppose -a - 9 = -12. Let q(m) = -m**3 - 5*m**2 + 4*m - 3. Let r be q(-6). Suppose 0 = -3*g + 6*g - r. Is a at least as big as g?
True
Let u = -2.2098 + 2.142. Which is smaller: -2/3 or u?
-2/3
Let p be ((-175)/2100)/((2 - -1) + (-15)/12). Suppose -3*i + t = 2*t - 8, -3*i = -3*t + 12. Is i > p?
True
Suppose -5*p + 23 = 3*x, 2*p + 172 = -5*x + 204. Does p = -2/5303?
False
Let m(t) = -t**3 - 2*t**2 + 2*t - 6. Let l be m(-3). Let b = 1.312 - -5.398. Let g = b - -0.29. Is g > l?
True
Let g be (12/(-2))/((-99)/132) - 4. Suppose -29*l + 10 = -31*l + 4*u, -g*l + 4*u - 12 = 0. Let i = 721513/674 - 2141/2. Is l equal to i?
False
Suppose -14*m = 126 - 42. Let h(t) = 22*t + 74. Let x be h(-4). Which is greater: m or x?
m
Suppose 9*k + 30 = 8*k. Let u be (-1)/2*k/(-9). Which is greater: -3 or u?
u
Let z = -511 + 532. Suppose 2*w + z = 37. Suppose j + 2 = 3*j. Which is bigger: w or j?
w
Let z = -2253 - -2253. Which is smaller: z or 1/5179?
z
Let i = 598 + -598. Suppose i = 2*p + 14 + 96. Are p and 2/7 nonequal?
True
Let u be 62/15 - (-6)/(-270)*6. Suppose -28*p + 32*p = -u. Let m be p/(-6) + (-3)/18. Which is greater: m or -1/39?
m
Let j = -606.4 + 628. Let y = -500 - -499.8. Which is bigger: j or y?
j
Suppose 8*x + 35 - 26 = 17. Which is smaller: x or 1/5436?
1/5436
Let v = 1/39 + 34/195. Let z be (-9)/(-63) + 2/((-518)/51). Which is greater: v or z?
v
Let p(g) = -g**3 + 6*g**2 - 10*g + 7. Let y be p(3). Suppose 3*w = -4*r + w - 42, -3*w + 67 = -y*r. Suppose -5*b - 2*t - 73 = 0, 25 = -b - 8*t + 5*t. Is b >= r?
True
Suppose 5*z - 135 + 120 = 0. Suppose 0 = v + 3*v - l + 10, -z*v = l + 11. Do -3 and v have the same value?
True
Suppose 6202*p = 6172*p + 2820. Which is smaller: 286/3 or p?
p
Let r be (-6)/(-3) + (-2 - (-4 - -682)). Let k = r + 4081/6. Is k < 2?
False
Let b = -1.6 + -0.4. Let k = 0.12 - 28.12. Let y = k - b. Which is bigger: y or -2?
-2
Suppose -5*u - 18 = -4*s, 3*s + 3727*u - 27 = 3724*u. Let g = 26 + -18. Is s greater than or equal to g?
False
Suppose -111*v = 4*p - 112*v - 18, 2 = -p - 3*v. Let h be (-6)/(-15) + 1032/220. Which is bigger: h or p?
h
Let v(k) = 16*k**2 - 30*k - 563. Let p be v(-12). Which is bigger: p or 2103?
2103
Let s(r) be the first derivative of r**4/4 - 4*r**3/3 - 21*r**2/2 - 12*r + 49. Let j be s(7). Which is smaller: j or -6?
j
Let q = 0.02472 + 372.97528. Is -0.1 greater than or equal to q?
False
Let w = 77/10 - 46/5. Which is bigger: -2 or w?
w
Let c = -7858 + 7842. Which is smaller: 3/80 or c?
c
Let n = 11597/3 + -3866. Is 1729 <= n?
False
Let i = -14719 - -14720. Which is smaller: i or 110.1?
i
Let c be (-6)/(-10)*(0 - -4)/(142/355). Which is bigger: -0.343 or c?
c
Let y = -4358 - 4369. Let q be y/498 + 15 - 10/(-4). Which is smaller: q or -0.05?
-0.05
Let w be (32/(-20) - -1)*(-109 - 6). Suppose -45*t = -50*t + 335. Which is smaller: t or w?
t
Let a(f) = 2*f**2 + 5*f + 9. Let p be a(-3). Let r be (-100)/24 + 2/p. Let n be (0/5)/((-4)/r). Which is greater: n or -2/79?
n
Suppose s - 7*s - 52 = -4*s. Which is bigger: s or -2?
-2
Suppose -z = 5*k - 26, 4*k = 2*z + 34 - 16. Suppose k*h + 103 = -3*r - 135, 2*h = -2*r - 96. Which is smaller: h or -52?
-52
Let z be (-1 - (-14)/(-3))*(-6)/4. Suppose 2 - 8 = -3*i. Suppose