- -197923/87. Suppose -10 + 25 = -5*h, 3*n + 4*h = -9. Which is smaller: n or q?
q
Let l be -7 - (36/(-6) + (2578/(-13) - -6)). Are l and 192 unequal?
True
Suppose -5*l + p + 83 = 0, -12*l + 3*p = -17*l + 51. Which is smaller: l or 254?
l
Let p = 211 - 164. Suppose 0 = -44*s + p*s - 6. Is 17 less than s?
False
Let y be (-8)/((2/5)/(8/(-10))). Suppose -p + 19 = y. Let c be p + 3/(93/30 - 4). Which is smaller: c or 1?
c
Suppose -6*x + 22 = 2*c - 3*x, 3*c - 4*x - 50 = 0. Suppose 0 = 2*y + 2 - 8. Suppose -j = -y - c. Which is smaller: j or 16?
16
Let s(j) = j**3 + 10*j**2 - 25*j - 15. Let b be s(-12). Let k be 1*(b + -4 + 12). Suppose 5*m + 52 + 26 = -3*t, 4*m - 167 = k*t. Is -31 less than or equal to t?
True
Suppose -w + 282 = -643. Let f = w - 14807/16. Let m(y) = -y**3 + 4*y**2 - 4*y + 3. Let p be m(3). Is f <= p?
True
Let i(h) = 20*h - 2853. Let c be i(98). Which is bigger: -8042/9 or c?
c
Suppose -140*d + 292071 = 3811. Which is greater: 4 or d?
d
Let o = -28 - -27. Let d = -2968/85 + 174/5. Which is smaller: o or d?
o
Suppose 0 = -5*d + 20, -3*q = -3*d + 43 + 56. Let a be 0 + (-1 - -6) - q. Let i be a/(-2)*(-3 + 0). Is i smaller than 49?
False
Let d be 24/(-56) - (-60)/(-7). Let n = d + -27. Let r = n - -110/3. Which is greater: r or 19?
19
Let j = 9 + -7. Let v be (-246)/702 + j/6. Let c be 6*(-4)/(-120)*5. Which is smaller: v or c?
v
Let r(x) = x - 3. Let h be r(15). Let z be 3*(3 + -1 + (-20)/h). Let o = z - -1. Which is smaller: o or 5?
o
Let a = -5 + 8. Let x be (-53)/3*-6 - a. Let p be ((-205)/x - -2)*-2. Which is smaller: 0 or p?
p
Let f = -565429643/3342 + 169189. Is f less than 1?
True
Let m = -183229 + 183296. Let h(t) = 3*t**2 - 4*t + 4. Let o be h(-4). Do o and m have different values?
True
Suppose 4*a = -5*t - 38, t = 5*a - 3 - 22. Let q(l) = 3*l + 6. Let z be ((-9)/(-6))/(3/(-6)). Let v be q(z). Is t < v?
True
Let y = 0.012 - 278.012. Let v = -0.07875 + -0.12125. Is y smaller than v?
True
Let y be -12*21 + 0 + 1. Let c be (-2 + 15/9)/(65/48555). Which is greater: c or y?
c
Suppose -x + 2*c - 8 = -2, 15 = -5*x + 5*c. Suppose -4*i + 5*d = x, 7*i - 4*d = 3*i. Do 15 and i have different values?
True
Suppose 0 = 4*f + 5*l - 12, -4*f + 4 = -2*l - 8. Suppose 0 = -u + 5*j - 16, -f*u + 3*j = 10 + 2. Let r be -27 - (-7)/(28/16). Which is smaller: r or u?
r
Suppose -3*i - 9 = 5*v + 5, -2*i - 4*v - 12 = 0. Let g be 5/i*(-49)/(-35). Let z = -5735 - -5729. Which is bigger: z or g?
g
Suppose 1 + 17 = -6*x. Let j = 3816/35 - 558/5. Are j and x unequal?
True
Let g = 3 - 3.34. Let u = 0.44 + g. Let y(f) = -2*f**2 + 10*f - 4. Let t be y(5). Which is smaller: u or t?
t
Suppose 414 + 8318 = 2*w - 3*q, 4359 = w + 2*q. Which is smaller: -1 or w?
-1
Let m be 47 + (0/5 + 0)/(-1). Suppose -b = 2*u - 2*b + m, b - 1 = 0. Which is smaller: u or 2/5?
u
Let n = 3.534 - 18.504. Let y = -15 - n. Let m(u) = u**3 - 27*u**2 + 50*u - 5. Let s be m(25). Is s greater than y?
False
Suppose 61*v - 58*v = 3*c - 270, -3*v - 264 = -5*c. Which is greater: v or -91?
-91
Let i = 1 + -1. Let p = 484448/19929 + -1774/73. Which is smaller: p or i?
i
Let w = -139.773 - 1.127. Let k = 135 + w. Let h = k + 5.8. Which is smaller: h or -43?
-43
Let p(i) = 435*i**2 - 9*i - 14. Let v be p(-1). Which is greater: 432 or v?
432
Let l be (-10)/(-45) - ((-616)/63 - -9). Which is smaller: l or -32/217?
-32/217
Let c(g) = -21*g**2 - 17*g + 14. Let d(t) = 10*t**2 + 9*t - 7. Let q(y) = 4*c(y) + 7*d(y). Let h be q(2). Let m = -62 - h. Which is smaller: m or -16/7?
m
Suppose 889 = -13*y + 16*y + 2*f, y = 2*f + 307. Suppose y*r = 291*r - 8. Let p = 237 - 3087/13. Which is greater: p or r?
p
Let f = -684087.9422 - -684031. Let k = f - -0.0422. Let d = k - -57. Which is greater: d or -5?
d
Let n be -10*2/(-20)*(0 - -1). Let k be (-2 - -1)*n*(13 - 0). Let z = 0.37 + -0.07. Is z not equal to k?
True
Let w be (-4)/14 + (-750)/(-2674). Suppose 2*h - 2*a - 7 = -9, 0 = 8*h - 3*a - 2. Does h = w?
False
Let k be (2 - 5235/(-161)) + (-8)/92. Let j = k + -884/21. Let s be (4/(-2))/(1/4). Which is greater: j or s?
j
Let y be (282/30)/(2/10). Suppose -7*l - 97*l + 4264 = 0. Is y <= l?
False
Suppose 11*n - 80 = 52. Suppose -34*o = -n*o. Which is smaller: -6/11 or o?
-6/11
Let r = -723492/552955 - -237/181. Which is bigger: 0 or r?
r
Let b(x) = -26*x**2 + 1212*x + 15. Let t be b(50). Which is smaller: -1 or t?
t
Let s(d) = -d**2 - 8*d + 108. Let w be s(-12). Let o(q) = -q**2 + 56*q + 237. Let u be o(w). Which is greater: u or -2?
-2
Let j(h) = -h - 16. Let b be j(-23). Let s be b - 1 - (-9)/(-3). Suppose -5*p = -2*q + 11, s*q - p - 2*p = 12. Which is bigger: q or -0.3?
q
Let b be (27/4*(-4 + 2))/((-1533)/(-2190)). Is -18 != b?
True
Suppose -4*a = 2*y - 3*y, 0 = a + y - 5. Let g be (-3878)/1812 + (-20)/(-120) + 2. Are g and a equal?
False
Let i be -1*(-2 + 1 + 2). Let p be (918/6885)/((-138)/10 + 0). Are p and i unequal?
True
Let x = 371 - 368.87. Let d = -2.33 + x. Which is smaller: 6 or d?
d
Let n(b) be the first derivative of b**4/4 + b**3/3 + 7*b**2/2 - 2*b - 109. Let g be n(-4). Is g < -233/3?
True
Suppose 4*u - 2*j + 12 = 0, 9*u + j + 20 = 15. Is 5/5527 at least as big as u?
True
Suppose -3*g = -2 - 1. Let d = 178.6 - 176. Which is greater: d or g?
d
Let z = -30580 + 28171. Is -2409 greater than z?
False
Suppose 25*v + 14 = 23*v. Let y be (-1)/v + (-48)/42 + -3. Let m be -28 + (-3 - 1 - y). Which is smaller: m or -29?
-29
Let m = -23918/3 - -8060. Is m greater than 4?
True
Let k be (-13)/(-1) + 4 + -10 + 1. Suppose k*i - 1698 = 14*i. Is i > -283?
False
Let b be (114/76)/(2/4). Suppose b*t + 3*q + 15 = -12, 4*t + 46 = -2*q. Suppose 2*j - 42 = 5*j. Is j < t?
False
Suppose -2*r + 27 - 27 = 0. Suppose r = -2*f + 4*f - 10. Suppose 2*b - 4*y - f = 11, -3*y = 12. Is b <= -2/7?
False
Let p = -85 - -20. Let o = -66 - p. Which is smaller: o or -8/41?
o
Let w(u) = -33*u + 33. Let g be w(1). Suppose 22*a - 26*a + 540 = g. Which is smaller: 134 or a?
134
Let l = 713 - 1836. Do l and -0.1 have different values?
True
Let i = 61 - 61. Let h = i - 6. Let g be (h/(-9))/(6/(-108)). Is g smaller than -14?
False
Let i be 1*6/(-128)*-2. Let l(m) = -m**2 - 2*m + 169. Let s be 9/(-1) - (-65)/(-13). Let b be l(s). Which is greater: b or i?
b
Let g be 10/65 - 10986/(-78). Let c = g + -139. Which is greater: c or -4?
c
Let g be (-758)/10 - (-4)/(-20). Let n = 78 + g. Suppose -3*x - 75 = -x - 5*q, -n*q + 35 = -x. Which is greater: -26 or x?
x
Let o = 8223 + -8223. Do o and -5/1984 have different values?
True
Let t = -334 - -336. Let r be 81/(-22) + t*(-3)/12. Which is smaller: r or 0?
r
Let z = -12507/13 + 959. Suppose 5*x = 75 - 90. Are z and x equal?
False
Let j be (15 - 8 - (-74)/(-10))/(2/(-820)). Is j > 181?
False
Let y = 20 + 4. Let u = 80 + -158. Let o be u/(-130) - 112/(-5). Which is bigger: o or y?
y
Suppose -244 = -4*k + 5*c - 681, k = 5*c - 113. Let q be (k/(-20) - 5)*(-1 + -4). Do q and 5 have different values?
True
Let l = 7.3 + -120.3. Let r = -11744 + 11627. Let n = l - r. Is n != 2?
True
Let o = -157 - -142. Let t be (-10)/(50/o)*1/3. Which is bigger: t or 353?
353
Let g(x) be the third derivative of x**6/30 + x**5/60 - 3*x**4/8 + x**3/6 - 20*x**2 + 2. Let b be g(-3). Which is smaller: -72 or b?
-72
Let b be ((-225)/(-84) - 15/35)*(-832)/12. Is b < -155?
True
Suppose -x = -3*y - 37, 2*x - 517*y - 80 = -514*y. Is 27 at most as big as x?
True
Suppose q - 39 = 5*i, 7*q = 6*q + i + 43. Suppose -23*r + q = -25. Let t be 174/70 + 4/(-14). Is r at least as big as t?
True
Let h = -42208 + 130238/3. Is h < 1204?
False
Suppose -233 = -4*p - 3*t - 260, -9 = 3*p + t. Which is greater: p or 1345/8?
1345/8
Let n be (4/(-65))/(15/((-600)/(-16))). Which is bigger: n or 85?
85
Let b be -17 + (-11 - -28)*1. Which is smaller: 1/2505 or b?
b
Suppose -83*y + 299 = -19 - 97. Let s = -15 + 29/2. Which is smaller: y or s?
s
Let x be 3*((-105)/9 - -12). Which is smaller: x or 3/1741?
3/1741
Suppose 3*a = -r - 89, 0 = -2*a + 6*r - 2*r - 64. Let u = 61656 - 61693. Is a less than u?
False
Let r be -64*(-4)/40*30. Let w be 376/r + (-1)/3. Let i = w + 65/24. Which is bigger: 5 or i?
5
Let x = -912 - -810. Is 0 < x?
False
Suppose 0 = 27*j + 6851 + 88. Does -260 = j?
False
Let r be (-218)/3*630/(-420). Which is greater: 106 or r?
r
Let t = -836