4707 - 4707.07. Which is smaller: k or 1402?
k
Let d = 65264471/1945 - 33555. Is d at least 0?
False
Let i = -38 - -41. Let r(n) = 2*n**2 - n + 20. Let l(t) = -4*t**2 + 3*t - 40. Let f(h) = i*l(h) + 5*r(h). Let k be f(4). Is k smaller than -35?
True
Let j = -5 - -2.5. Let r = -267.08 + 267.08. Which is bigger: j or r?
r
Suppose 2112 = -724*q + 708*q. Which is bigger: q or -915/7?
-915/7
Let m be 184/(-64)*25/(-10) + 2. Which is greater: 8 or m?
m
Suppose -62 = -9*x + 334. Suppose 0 = 3*i - 8*i + 15. Suppose -o + 180 = i*o. Is o > x?
True
Let y = 141779/89 - 1593. Let q(c) = -24 - 50*c**2 + 51*c**2 - 12. Let j be q(6). Is j less than y?
True
Let l(t) = -68*t - 77. Let n(s) = -34*s - 39. Let x(b) = 6*l(b) - 11*n(b). Let k be x(-1). Is k != 6/209?
True
Let d = 10949 + -87181/8. Let i = 75 - d. Which is smaller: 25 or i?
i
Let l = -1647712/105 - -111093/7. Let m = 178 - l. Let w be ((-7)/(-56))/(5/20). Is w <= m?
False
Let b be (0 - 17/(-7))/(-1). Let v be 30/(-9) - 3/(-1) - 104960/(-38976). Let l = b + v. Which is smaller: l or 0?
l
Let f(o) = -o**3 - 23*o**2 + 422*o + 98. Let q be f(-35). Let z be ((-21)/4)/(2/8). Let a = q + z. Is 5 > a?
False
Suppose 2*h - 5*f = -11811, 13*h + 5*f + 71598 = -5436. Which is greater: -5925 or h?
h
Let q = 620738/65 - 9550. Suppose -2 = 3*k - a, k = -3*a - 4 - 0. Which is greater: q or k?
q
Let m = -130 + 129.7. Which is smaller: m or -461?
-461
Let v = -34.1 + 31. Let z = 3 + v. Suppose 177 + 914 = 46*l - 427. Are l and z equal?
False
Let m(y) = -2*y - 8. Let o be m(6). Let r = -223 - -1093. Let d be ((-56)/(-30))/((-87)/r). Which is greater: d or o?
d
Let u(p) = -p**3 - 9*p**2 - 17*p - 11. Let l be u(-7). Is l less than or equal to -8?
False
Suppose 0 = 5*o - 7 + 2. Let x = -865 - -32. Let m = x + 894. Which is bigger: m or o?
m
Let v = -7039 + 7068. Which is greater: 32 or v?
32
Let s = 12683 - 13652. Are -966 and s unequal?
True
Let t = -4.222 - 56.778. Let w(y) = -y - 2. Let o be (-6)/9*6 + 1. Let b be w(o). Is t greater than or equal to b?
False
Let w be 146/3577 - 76/(-2940). Let t = -2 + 1. Do w and t have the same value?
False
Suppose -29 = q + 4*f, 0 = -3*q - q + 2*f - 98. Let s = -0.0119 - -0.1119. Let i = 0.1 - s. Is i less than or equal to q?
False
Let q = -57023 - -626773/11. Suppose 5*k - 58 = o, -3*o + 2*o + k = 46. Is o smaller than q?
False
Let i(w) be the second derivative of -w**3 - 47*w**2/2 - 130*w. Let m be i(-8). Which is smaller: 13/22 or m?
13/22
Let q = -9.266 + 0.266. Do q and 6.7 have different values?
True
Let m = -16/41 + -2617/123. Suppose -503*u = 7039 + 4530. Which is smaller: u or m?
u
Let n = -581 - -298. Let x = -286 - n. Let k be ((-60)/(-49))/((-4)/14). Is x at least k?
True
Suppose -4323 = 4*m - 4327. Which is greater: m or -1054?
m
Let u = -362 + 165. Let c be (168/60 - 2)/((-2)/490). Which is smaller: c or u?
u
Let p = -99 + 99.0517. Let q = p + 1.9483. Which is smaller: -11.2 or q?
-11.2
Let i = -63 + 68. Suppose i*t + 45 = -3*c - 359, -4*t - 324 = 2*c. Let a = t - -18. Is -64 >= a?
True
Let p be (-9)/(-267)*(-5090)/24. Let g = -29/4 - p. Let q = -167/1869 + g. Are q and 0 unequal?
True
Let s = -76759 + 3377593/44. Which is greater: s or 3?
s
Let k be ((-26)/5 - 2)/(2/(-30)). Suppose k = 2*c - 12. Let r = c + -61. Which is smaller: -4 or r?
-4
Let a(q) = 107*q + 1283. Let i be a(-12). Is -210/109 < i?
True
Suppose 4*y + 5*g = -23, -g = 89*y - 87*y + 7. Is -42/71 greater than y?
True
Suppose 35*c - 38*c = -222. Suppose c - 98 = 4*k. Which is smaller: k or -4?
k
Suppose -3*v + 524*y = 525*y + 38, 0 = v + 2*y - 4. Let j = -22 + 6. Is j greater than v?
False
Let p = -9 - -8.94. Let u = 6 - 18. Let c be (1/((-16)/u))/(42/16). Does c = p?
False
Suppose f - 5*v - 118 = 0, 5*f + 0*v + v - 590 = 0. Let y = f + -60. Let p be 5 + (-35)/7 + y/(-6). Which is smaller: p or -10?
-10
Let y(l) = 6*l - 16. Let z(t) = -7*t + 12. Let u(a) = 2*y(a) + 3*z(a). Suppose 0 = 4*d - 29 + 5. Let r be u(d). Which is smaller: r or -49?
r
Let p(j) = 2*j**3 - 5*j**2 + 25*j - 21. Let f be p(1). Let v = 670/3 - 7322/33. Is f < v?
True
Let h be (0 - -1)/(-1 + 0). Let j = -5540.91 - -5541. Is j greater than or equal to h?
True
Let o = 840 - 831. Let v be -72 + 48 + o*1. Which is greater: 16 or v?
16
Let k(a) = -a**3 - 3*a**2 + 5*a - 545. Let o be k(0). Let r = o - -544. Is 1/607 at least as big as r?
True
Let c = 3.3149 - 3.3749. Is -2308 less than c?
True
Let w(t) be the third derivative of 2/3*t**3 + 5*t**2 + 0 - 1/24*t**4 + 0*t. Let g be w(-8). Is 13 at least g?
True
Suppose 2*b - 5*g + 427 = 0, 2*b + 447 = -15*g + 16*g. Let o = 226 + b. Which is smaller: o or 19?
o
Let s(w) = 30*w - 3288. Let o be s(14). Is o at least -2868?
True
Let t be 445/2380 + (-3)/21. Which is smaller: 17 or t?
t
Let c be (-1*1)/(-8 - (8 - 15)). Which is greater: c or -1/1857?
c
Suppose -9*z + 6*z - 18 = 0. Let y = 6 + z. Let l = 237 - 2131/9. Which is smaller: y or l?
y
Let r(f) = f**3 - f**2 - 3*f + 1. Let x be r(2). Suppose -q = -2*w - 23, 4*q - 25 = 5*w + 25. Let p = 4 + w. Is x at most p?
False
Let z be (-37 - -37)*-3*5/(-45). Which is bigger: z or 31/30?
31/30
Let a(x) = -x**3 - 5*x**2 + 7*x + 2. Let g be a(-6). Let l be (212/(-16))/(g/16). Suppose 2*h = -5*b + l, 3*h + 4*b = -0*h + 62. Which is smaller: h or 3?
3
Let l(d) = d**2 + 26*d - 17. Let m be l(-28). Let f be (7 + m/(-5))*(-30)/4. Is 1 bigger than f?
False
Let u be ((-7)/34)/(-7*583/(-308)). Is 0 < u?
False
Let a be 17602/(-2515) - (-266)/38. Does a = 1?
False
Let z be ((-91)/637)/(3/(-90)). Which is greater: 5/2 or z?
z
Suppose -3*t + 3*b = -12, -3*t - 33 = -6*t - 4*b. Let m be t/42 - 34/(-516). Is m equal to 0?
False
Let s(k) = 3*k - 2. Let v be s(4). Let n be 3 + ((-60)/(-2))/(-6). Let g(w) = -6*w - 2. Let u be g(n). Is v at least as big as u?
True
Let j = 59 - 44. Suppose 0 = -10*u + j*u. Let s = -188/3 - -30641/489. Which is bigger: u or s?
u
Suppose -2*t = -2 - 0. Let l = t + 0. Let q = -20352/5 - -5922422/1455. Is l equal to q?
False
Let y be (-111144)/1914 + (-2)/(-29). Are y and -51 nonequal?
True
Let t = 47863 - 26659706/557. Let u = t - -6191/271259. Is -1 not equal to u?
True
Let x = -490852/217 + 2262. Let n(t) = -t**3 - 4*t**2 - 2*t + 1. Let i be n(-3). Let w be ((-3)/(-6))/(i/4). Which is smaller: x or w?
w
Let n(v) = 13*v**2 + 18*v**2 - 20*v**2 - 4 + v**3 + 9*v. Let c be n(-10). Let z(s) = -9*s + 30. Let r be z(c). Is r at least as big as -25?
True
Let h be 18/(2700/(-61935)) - 4/(-10). Which is greater: -414 or h?
h
Suppose -2*r + 16*r = -168. Let y be (54/(-42))/(r/(-21)). Let x = -21/10 - y. Is -1 bigger than x?
False
Let b = -26392.25 + 26385. Which is smaller: -1.3 or b?
b
Let c be -9 + 11 + (-56)/30. Let j = 4 - 0. Let d be (-12)/(-24) - 2/j. Which is greater: c or d?
c
Let o be (-80)/(-24)*(3 - 606/(-10)). Let j = -846 + o. Is -634 bigger than j?
False
Let l = 2/2389 + -117065/4778. Let v = -0.01 - 2.59. Let u = 1.6 + v. Is l at least u?
False
Suppose -80*f + 77*f - 1386 = 0. Let w = -572 - f. Which is bigger: -112 or w?
w
Let h = -0.1 + 0.1. Let o = -19.1778 - 0.0222. Let p = -19.44 - o. Do p and h have different values?
True
Let a = -263 - -1307. Do a and 1042 have the same value?
False
Let n be (36/(-727))/(364 - 367). Is 1 > n?
True
Let w be (-2 - -8) + (-35 - 11). Do -207/5 and w have the same value?
False
Let c = 4148549/1555707 + 1/518569. Let u be (-1)/(-2) + (-5)/(-2). Which is greater: c or u?
u
Let s = -6 - -9. Suppose s*r = 3 + 3. Let l be 2/(-1) + r + 5. Which is smaller: l or 6?
l
Let m be 1 - (456/(-40) + 10)*16/(-14). Are m and -0.191 equal?
False
Let s = -3/3089 + -704259/33979. Let g(m) = m**2 - 31*m + 62. Let t be g(28). Is t smaller than s?
True
Suppose -1709 = 6*r + 277. Let f = -334 - r. Are -5 and f equal?
False
Let b be 24 - 5/((-5)/(-3)). Let m be b/12 + -2 + (-51)/(-12). Suppose -11*t = -m*t. Is -6/13 smaller than t?
True
Let j(r) = 110*r + 1348. Let h be j(-14). Is -383/2 at least as big as h?
True
Let x be (45/108)/((-20)/(-24)). Which is smaller: x or -1034?
-1034
Suppose -4*w = -4*j - 268, 0 = -4*w - 5*j - 71 + 384. Is 41 less than or equal to w?
True
Let d = -37 - -58. Let g be 90/4*(-12 - 760/(-60)). Which is greater: g or d?
d
Let n be (-1 - (680/6 - 3))*-1. Suppose -r = 5*d - 550, -3*d = 3*r + 209 - 551.