). Which is smaller: 0.2 or i?
i
Let v be ((-55)/(-3))/((15865/114)/(-167)). Let a = -1.6 + 2.5. Let l = a + 0.1. Is v > l?
False
Let t be (27/60)/((-11)/(-21428)). Is 877 less than or equal to t?
False
Let j = -79 + 92. Suppose -3*o = -4*f + 1331, 5*o - f + 2211 + j = 0. Let d = 2251/5 + o. Do d and 5 have different values?
True
Suppose 20281*z - 20288*z + 13776 = 0. Which is greater: z or 1970?
1970
Let c be (2/(-6))/((-10)/60). Suppose -g = 4*g + 4*f - 23, -40 = -4*g + 4*f. Let y be (-2 + g/2)*2. Which is greater: y or c?
y
Let q = -683/20 + 187/5. Let r be (-1)/(-2)*(8 + -4). Suppose -r*g = -6*g + 16. Which is smaller: q or g?
q
Let r = 19444 + -19443. Which is greater: r or 15/4201?
r
Let t = -14749 - -14723. Which is greater: t or -78?
t
Let d = -3 - -3. Let u = 349 - 254. Let m = u + -121. Is m bigger than d?
False
Let d be ((-6)/4)/((-18)/1). Suppose -26*s = -14*s - 324. Suppose -20*v = -7 + s. Is d greater than or equal to v?
True
Let u = 138 + -138. Let b = -88 - -93. Let g = -11 + b. Which is smaller: g or u?
g
Let b be (-6)/(-27) + 1026690/(-189). Is b not equal to -5431?
True
Let g = -110639 + 662129/6. Which is greater: g or -284?
-284
Suppose 391*s - 155 + 49 = 285. Which is greater: -2/23409 or s?
s
Let o be (-6)/(-21) + 8/70. Let h(u) = u**3 + 11*u**2 + 27*u + 26. Let n be h(-8). Which is bigger: n or o?
n
Let v = 17/28 + -251/252. Let b = 553/36 - v. Is b less than or equal to 1?
False
Let u(k) = k**3 + 15*k**2 - 18*k - 13. Suppose 5*s + 90 = -2*c, -1 = 4*s + c + 68. Let t be u(s). Suppose -3*n - 16 = -t. Is n greater than or equal to -1?
True
Suppose -499*s + 496*s + 4*y + 15 = 0, 0 = -3*s - 2*y - 3. Which is greater: -3/10 or s?
s
Suppose -5*o + 2 + 173 = 0. Suppose 0 = 2*q - o + 15. Suppose 0 = 4*h + 16, -3*z - 2*h + 47 = -4*h. Which is greater: z or q?
z
Suppose 2560*t + 1359 = 2557*t. Let d = 499 + t. Which is bigger: d or 8?
d
Let r = -2202/35 - -1666599/26495. Is r bigger than 0?
False
Let a = -13124 - -12895. Which is smaller: a or -8?
a
Let q be ((2/(-4))/(9/45) + -5)/37. Which is bigger: 1 or q?
1
Let f be 1/9 - ((-22)/(-55) + (-9947504)/(-19215)). Let q = 31 + 487. Let d = q + f. Which is greater: d or 0?
d
Let p be ((64890/21)/(-5))/((-100)/8 - -2). Is 0.6 greater than p?
False
Let a be (-27 - 1)/((-29)/((-145)/10)). Which is greater: -87 or a?
a
Let t = -3.367 + 0.067. Let w = 2.92 + t. Let c = 31 + -94/3. Is c greater than w?
True
Let o = 38379857/107 + -358687. Is 4 >= o?
True
Suppose 15*p + 8 - 68 = 0. Let j be p/5*62/(-31). Is -2/5 >= j?
True
Let b = -95 - 76. Let k = b - -167. Which is smaller: k or -2/25?
k
Let q be (1*-41)/((7 + -9)/28). Suppose q = -x + 629. Does x = 54?
False
Let f = -20364 + 25224. Which is smaller: f or -2?
-2
Suppose 3267 = 97*w + 2*w - 0*w. Which is greater: w or 97?
97
Let v be (54/(-8))/(3/(-32)). Let p be 16/v + (239/342 - 1). Let a = p - -737/190. Which is greater: a or 5?
5
Let m = -543 - -542.6. Do m and -0.54 have the same value?
False
Let v(a) = -25*a - 101. Let n be -9*(-10)/(-15) + -2. Let h be v(n). Which is smaller: 98 or h?
98
Let u(g) = 2*g**2 + 22*g + 27. Let t be u(-6). Let d(w) = w**2 - 7*w - 8. Let r be d(9). Let b be (66/r)/((-11)/55). Are t and b nonequal?
False
Let q be (-35)/(-210) - 50/84 - (-51386)/14. Does q = 3671?
False
Let m = -440 - -441. Let b be -34 + 29 + m + 0. Which is smaller: -3 or b?
b
Let j = -47/52 - -15/13. Let c = 0.3973 - -0.0157. Let l = -0.713 + c. Which is greater: l or j?
j
Let m = 1960 - 1959.25. Which is bigger: m or 17?
17
Suppose 126*f = -95665 - 215303. Which is smaller: -2464 or f?
f
Let n = 660 - 89102/135. Let r = -419/945 - n. Which is smaller: r or -29?
-29
Let v = 897 + -53819/60. Let d(m) be the third derivative of m**4/8 - 3*m**3 + 13*m**2. Let z be d(6). Which is smaller: v or z?
z
Let q = 7698/19 - 183175/456. Is q != 2?
True
Let c be ((-5)/10)/((-2)/8). Suppose -r - j - 2 = 0, 0*r + c*j + 2 = -4*r. Let h = -439 - -2202/5. Which is greater: r or h?
h
Suppose 9*m - 35 = -i + 12*m, 45 = 3*i + 3*m. Suppose q - 3 = 0, 5*q = -8*f + 3*f + i. Let c = -817 - -46568/57. Is c >= f?
False
Suppose 60*c - 61*c + 2742 = 5*p, -2*c + 5*p = -5394. Which is greater: c or 2713?
2713
Let l be 76/(-18) - 2*-2. Let m = 12576 - 12575.998. Which is smaller: l or m?
l
Let c(d) = d**2 + 4 - 3*d**3 + 4*d**3 - 61*d - 60*d + 119*d. Suppose 0*w = -3*w. Let a be c(w). Is a at least as big as 0?
True
Suppose -7*u + 1198 = 400. Let j = u - 62. Does 50 = j?
False
Let d = -2.69645 + 0.69645. Suppose -18 = -2*x + 2*s, -4*x + 8 = 4*s - s. Which is smaller: d or x?
d
Let y = 192 + -176. Is 40 greater than y?
True
Let k = 39.66 + -40. Which is smaller: 36 or k?
k
Let y be (3 - 8) + (1 + 0 - -7*1). Is y less than or equal to 135/37?
True
Let a be -1*(-1 + 1755/690). Are a and -2 nonequal?
True
Suppose -3*a - 2 = 7. Let n = a - 5. Suppose 4*l = -21*k + 20*k - 1, 4*k = 3*l - 42. Are k and n nonequal?
True
Let s = 577/1528 - 1/382. Do s and -47 have different values?
True
Let h = 9131 - 9137. Is h less than 1/402?
True
Let w(a) = 7*a - 123. Let c be w(29). Let o be 10/255*3*4/c. Are 1 and o equal?
False
Suppose -6880 = -4*d - 37156. Let y = d - -60465/8. Which is bigger: -12 or y?
y
Let f be (-222)/(-4440) - (-11878)/40. Is 295 smaller than f?
True
Let n be ((-12)/14)/(1233/(-14385)). Is -20 less than n?
True
Suppose -6*o = -o + 5. Let w(a) = -7*a**2 + 6*a + 13. Let i be w(-3). Let q be (-1)/14*2 - i/1652. Is q not equal to o?
True
Let n be ((-27)/3)/((-4)/(-388)). Are n and -873 non-equal?
False
Let c be -5*(-10)/(-42) + (-332)/(-581). Let d = 1271/2121 + c. Which is bigger: d or 0?
0
Suppose 5*n - 4*q + 3 + 5 = 0, 6 = -4*n + 3*q. Suppose 5*r + 15 = 3*s, -s + n*s + 5 = -2*r. Suppose 6*b - 4*b + 2 = r. Is b not equal to 7?
True
Suppose -5*h = -4*z + 25, 75*h - 3*z + 12 = 78*h. Is h at least as big as 193?
False
Let h be 2064/64 + (-5 - 0). Suppose 6*g - 16*g + 270 = 0. Which is smaller: g or h?
g
Let k = 9.3 - -22.7. Let f(c) = 2*c - 2. Let v be f(2). Suppose 4 = v*t + 3*y - 5, -t - 3*y + 9 = 0. Is k at most as big as t?
False
Let j(q) be the third derivative of -q**6/120 + q**5/12 - 25*q**4/24 + 40*q**3/3 - 2*q**2 - 45*q. Let m be j(6). Is -109 greater than or equal to m?
False
Let z be -6 - 1/(24/(-48) - (-10)/28). Is z at least as big as -132?
True
Let x be -5 + (-120)/(-18) + 1. Suppose 3*n = 5*d + 87, -3*n + 0*d = 4*d - 114. Let z = n + -30. Which is smaller: x or z?
x
Let n = -18222.0205 + 18222. Which is greater: -4 or n?
n
Let c = -74.44 - -75.44. Let o = 8 + -6. Which is greater: o or c?
o
Let b = 8 + -9.2. Let d = b + 5.8. Suppose 2*w + 4 = 4*u, -5 = -5*u + 4*w + 3. Which is smaller: d or u?
u
Suppose -3*w + 5*w = 0, 2*w = 3*k. Let y = -83/68 + -17137/612. Let n = y + 29. Which is bigger: k or n?
k
Suppose -8*k + 3*k = -10. Let j = -10 + 23. Let f = j + -11. Is f at most as big as k?
True
Let j(x) = 2*x**2 - 28*x + 33. Let u be j(13). Let n be 3*144/(-56)*u. Are n and -54 equal?
True
Let s = 77 + -74. Let i = -1351 - -1353. Which is greater: s or i?
s
Suppose -15*p + 14*p - 362 = 0. Let l = p + 702. Which is bigger: l or 341?
341
Let m(s) = -s - 2. Let x be 15/(-3) + 3 - (0 + 5). Let l be m(x). Let g be (l/(-30)*2)/((-1)/(-9)). Which is smaller: -4 or g?
-4
Suppose 0 = -0*k + 3*k + 3*k. Suppose -y = -2*y + 2, k = -5*m + 2*y + 16. Let o be (-5)/(-16)*m - (4 - 2). Are -1 and o non-equal?
True
Let u = 172/855 + 2/95. Which is bigger: u or 21?
21
Let d be 265/(-318) - 13834/(-16644). Let m = -5652/689339 - d. Is 1 less than m?
False
Suppose -3*u + 690 = 2*u. Suppose -278 = -1264*f + 1262*f + 4*i, 3*f = 4*i + 415. Do f and u have the same value?
False
Let g(j) = -62*j - 43. Let t be g(7). Let y = 226 + t. Is y <= -252?
False
Let j(q) be the third derivative of q**4/24 + 5*q**3/6 - 12*q**2. Let c be j(-3). Let n = 2403/56 - 333/8. Is c > n?
True
Let u = -8.93 - -37.83. Let b = u + -29. Is 637 at most as big as b?
False
Let u be 2/(-2*7) - 112518/2303. Are -61 and u equal?
False
Let y(f) = f**3 - 10*f**2. Let h be y(10). Let x be h + -2 + 408/205. Suppose 5*s = p - 3*p, 4*s = 2*p. Is p <= x?
False
Let n = -0.12529 - -0.20529. Which is smaller: -59 or n?
-59
Let l = -390 - -370. Let z be (-4)/(-3) + l/15. Do z and 3/134 have the same value?
False
Suppose 39*g