 is greater: i or x?
i
Suppose 4*v + 4*n + 32 = 0, 0 = 4*v + 23*n - 20*n + 24. Is 100/113 < v?
False
Let x be 2/3*(-6)/(-106). Let m(f) = 4*f**2 + 19*f + 23. Let i be m(-12). Suppose i*c = 373*c. Which is smaller: c or x?
c
Let r(i) = 11*i**2 - 185*i - 33. Let q be r(17). Which is smaller: 2/29849 or q?
2/29849
Let i = -3389 + 989589/292. Is -1 smaller than i?
True
Let s(d) = -d**3 + 122*d**2 + 1176*d + 356. Let w be s(131). Let f = -4 + -34. Is f > w?
False
Let y be -1 + (-415)/(-139) + -2. Let s = -115275 + 115274. Is s at least as big as y?
False
Let n be -17 + 630 + (-2)/(-1). Let g = -653 + n. Do -37 and g have the same value?
False
Let p be (-3 - -1) + 11 + -2. Suppose -8*h = -p*h. Let a be (-2)/((-1)/(-2)*-46). Does h = a?
False
Suppose -44*g - 1248 + 852 = 0. Is 1.08 greater than g?
True
Suppose 2*l = -2*h - 4, -5*l + 2*h + 11 = -0. Let f be (-141)/(-658)*20/135. Do f and l have different values?
True
Suppose 0 = 38*t - 88*t + 50. Let s(z) = z**2 + 2*z - 3. Let m be s(-3). Suppose 3*k + 0*h + 4*h - 3 = 0, 3*k + 5*h = m. Is t != k?
True
Suppose 5*y = 4*p - 8 + 30, -5*y + 19 = -3*p. Suppose o = -3*u - y*o - 117, -39 = u + 2*o. Let i = 479/2172 + 16/543. Is u at most as big as i?
True
Let k = -5 - 8. Let f = -36 + k. Let v = f - -48. Is 38 less than v?
False
Let a(z) = -z**2 + 48*z + 2571. Let p be a(81). Is p greater than -3/8?
False
Let a = 38086 - 3998954/105. Let x = a + -13/18. Which is smaller: x or -1?
-1
Let a = -572231/217 - -2637. Let n(y) = 294*y - 3823. Let u be n(13). Is a less than u?
False
Let f(l) = 3*l**2 - 11*l + 7. Let n be f(3). Let g be (-1)/6*(-5 - n). Is g equal to -3/89?
False
Let m(s) = -7*s. Let j be m(-6). Suppose j = 14*d - 8*d. Is 55/9 greater than d?
False
Suppose -150*d - 137 = -13*d. Is 8/681 != d?
True
Let u = -18 + 20. Suppose 4*v + 19 - 373 = u*z, 0 = -v - 3*z + 71. Let j = -29 + 115. Is j equal to v?
True
Let r be (-50)/60 - 14246/(-17799). Is r >= 1?
False
Let s be -58 + 49 - (-534)/50 - 0. Is 1 > s?
False
Let r be ((-152)/35)/(66/(-20)). Let v = r - 9/7. Let b = 5322 + -5321. Which is smaller: b or v?
v
Let h be 1/(-3) - (-846)/(-1269). Which is smaller: -7/96 or h?
h
Let z be (-18)/(-117) - 8368/(-26). Suppose -15*o - 533 = z. Is -57 != o?
False
Suppose -36 = -o + 2*o. Let x(u) = -u**3 - 5*u**2 + 21*u - 19. Let a be x(-8). Let f be 25/a + (12 - 52). Which is smaller: f or o?
o
Let z = 3031 + -3030. Let u be ((-3)/(-75))/((-3)/2). Is z at least as big as u?
True
Let v = -7640 + 8486. Is 1 at least as big as v?
False
Let m = 0.03 + -2.03. Let f = -15066 - -15064. Is f at most as big as m?
True
Let v = -173 + 177. Suppose v = 13*j - 9*j. Let s(n) = -n - 3. Let u be s(-5). Is u at least j?
True
Let f be (-2)/(-7) - 1092/(-637). Which is greater: f or -3/295?
f
Let j be (-2)/11 + 21/(-2772)*-90. Which is greater: j or -7/27?
j
Let w(n) = n + 6. Let r be w(-6). Suppose 6*f + 33 + 3 = 0. Let s be f - (-298)/14 - 4/14. Is s smaller than r?
False
Let p be 13462/(-762) + -1*8/(-2). Which is greater: p or -33?
p
Let s be (778/438 - 2)/((-5)/(-5385)). Let a = -241 - s. Let b = -215/5183 - a. Are b and 0 unequal?
True
Suppose 314 = -583*w + 584*w. Let a = w - 313. Is a equal to 11?
False
Let d(z) = z**3 + 10*z**2 - 53*z - 19. Let u be d(-7). Which is greater: 501 or u?
501
Let k = 3353 - 3346.894. Let j = -0.106 + k. Which is smaller: j or -0.04?
-0.04
Let c = 14 - 9. Let y be 7/((11 - c)/6). Are y and 32/5 nonequal?
True
Let z(l) = -l**3 + 44*l**2 - 60*l + 11. Let p be z(42). Are 1021 and p unequal?
True
Let f(z) = -z**2 + 103 - 3*z**2 - 4*z**2 - 91 - z**3 + 10*z. Let m be f(-9). Suppose p = -m - 7. Which is smaller: p or -11?
-11
Let o = 10 - 5. Suppose 4*w + 19 = -o*t + 69, 19 = 4*t - w. Let d be (-3)/15 + 4/20*0. Is t greater than or equal to d?
True
Let b be 10/3 + 8/12. Suppose 0 = 3*g - 31 + b. Suppose u + g = -8. Do u and -18 have different values?
True
Let k(j) = 3*j**2 - 6 - 2*j**2 - 2*j**2 + 4*j + 4*j**2. Let i be k(2). Suppose -z + 14 + i = 0. Is z > 27?
True
Let a = -9506 + 18000. Which is greater: -1 or a?
a
Let r(x) = x**2 - 22*x + 172. Let h be r(32). Let n be 5*(1 - h/30*2). Is n < -160?
False
Let y be (28 + (26 - 176))*1. Which is greater: -151 or y?
y
Let f = 174 - 214.5. Let p = f - -37. Let i = -2.5 + p. Which is smaller: i or -1/4?
i
Let o = 370598/913415 + -168/415. Let h = o - -684501/11005. Which is smaller: h or 63?
h
Let q = -417 + 538. Does -13 = q?
False
Let l(f) = 80*f - 1120. Let b be l(14). Which is greater: 2/9401 or b?
2/9401
Suppose 7*u = -15*u + 792. Let t be (-2*6/(-30))/(9/795). Which is smaller: t or u?
t
Suppose 0 = 4*x - 0*x - 4. Let m be (-79 + x)*(-6)/9. Suppose 0 = -0*p + 2*p - 6, -5*l + m = 4*p. Which is smaller: l or 1/4?
1/4
Suppose -165 = -5*k - 2*v, 5*k - 4*v + 51 - 246 = 0. Suppose 92 = 3789*t - 3787*t + 24. Is k greater than or equal to t?
True
Let x = 1442 + -1467. Which is smaller: -13 or x?
x
Suppose -v + 3 = -3. Suppose -90 = 4*o + o - 2*q, -5*o - 3*q = 65. Let s be 56/24 + (-2 - o/6). Which is greater: s or v?
v
Let t = 254 - 264. Let v = -221 + t. Is -232 < v?
True
Suppose -2*i - 339 = -4*p + 331, 0 = -4*p - 3*i + 675. Let m = p + -4199/25. Is 0 equal to m?
False
Let s = 34209/311917 - -27/823. Which is bigger: s or 0?
s
Let p = -375/43 - -134358/215. Which is bigger: p or 615?
p
Let i be 6852 - (8 + -25 - -13). Which is greater: -1 or i?
i
Let o = -45.6 - -46. Let u = 26.7 - 29. Which is bigger: u or o?
o
Let q = 15977/2130 + -1/1065. Which is greater: 8/7 or q?
q
Let c = 449.72 + -451. Let p = 6.68 + c. Which is greater: -2 or p?
p
Let r = -1964 + 1964.07. Is r at most 20?
True
Let v = 411 - 389. Let c be (v - 1)*((0 - 4) + 5). Which is smaller: 25 or c?
c
Suppose 11*l - 518 = 9*l. Let p = l + -4298/17. Do p and 5 have different values?
True
Let x = -62.65 + 63. Let w = x + 0.65. Let h = -364.75 + 364. Is h < w?
True
Let q = -0.0409 - -4.8909. Let h = q - 4.99. Which is smaller: -4 or h?
-4
Let j = 1/22737 - -11345758/113685. Let d = j - 100. Is d smaller than -0.06?
True
Suppose 7*b = 2*d + 5*b - 4, 5*b = 3*d - 12. Is d at most as big as 24/173?
True
Suppose 27*f - 4*f - 10741 = 0. Let z = f - 463. Which is greater: z or 24?
24
Suppose -238 - 18 = -4*u. Suppose -4*x - 8 = -u. Suppose 0 = j - 2*j + 13. Is x not equal to j?
True
Let p be (-2 - -11)/(2 + -3). Let j(f) = 3*f**2 + 3*f - 12. Let x be j(3). Let r be (x/(-15))/(-3*(-2)/30). Does p = r?
False
Let o = -102 - -106. Suppose 2*d + 1038 = 3*f + 5*d, o*f + 3*d = 1380. Suppose 8*c = f - 94. Is c at most as big as 32?
True
Let w be (13532/20370)/2 + (-24)/72. Is -1 bigger than w?
False
Let n be (7 - (-5 - -12))*(-13)/91. Are -96/409 and n equal?
False
Suppose 2*q = 4*r - 1008, r + 96 = 4*q + 355. Let n = 93 - r. Which is greater: -159 or n?
n
Let t = -25248 - -25470. Suppose -2*j = -3*p + 659, 4*p = 2*p - 4*j + 466. Which is greater: p or t?
p
Suppose -v + 13*w = 15*w - 205, -7*v = 3*w - 1435. Which is smaller: 6 or v?
6
Let q = 0 - -3. Suppose -q = -x + 2*x. Let w = 315 + -316. Which is smaller: x or w?
x
Let f be 1664/(-278) + (-39)/(-3) + -7. Which is greater: f or 0?
f
Suppose 0 = 3*p - l - 189, -29*p = -28*p + l - 47. Suppose 3*d - 258 = -72. Is d > p?
True
Let u = 173/4 + -1219/28. Let i = -138.2 + 110. Let x = i - 4.8. Do u and x have the same value?
False
Suppose f - 1316*j = -1311*j - 15, 3*f + 3*j = 9. Which is smaller: f or 1/11206?
f
Let k = -4703/4 + 2732435/2324. Let l = 36 - 36. Which is smaller: l or k?
k
Let s be (-6)/(-3) - 11/(-12). Let r be -2 - ((-85)/(-20) - 4). Let d = r + s. Is 0 greater than or equal to d?
False
Let b = 4617445 + -9581198159/2075. Let w = 2/83 - b. Is -1 equal to w?
False
Let j = -338 + 337.8. Let a = 0.101 + -50.101. Which is greater: j or a?
j
Suppose -4*y - 110 = -p + 335, 0 = -3*p + 4*y + 1367. Let q = -547 + p. Is q equal to 2?
False
Suppose -q - 207 = -84. Which is greater: q or -14?
-14
Let a = -78 - -87. Let b(u) = -u**3 - 8*u**2 + 6*u + 17. Let o be b(-9). Let t = o + -36. Which is smaller: a or t?
t
Suppose -15 - 20 = -5*c - 5*p, c = -6*p - 8. Which is greater: c or 125/12?
125/12
Let w(n) = -13*n - 20. Let l be w(-2). Let j be (49/(-147))/((-8)/l). Is j not equal to 19?
True
Let a = -5 - -17. Let m(x) = 16 + 21*x**2 - 22*x**2 + 11*x - 3*x + 5*x. L