
f
Let a = 254 - 229.3. Let g = 22.7 - a. Is g bigger than -21?
True
Let b(x) = 16 + x - 15*x**2 - 6 - 12 - 4*x. Let v = -9 + 8. Let n be b(v). Is n <= -14?
True
Let c be 26*6*((-14)/6 - -2). Let q = 1 - -5. Let s be (q/c)/(-21 - -24). Which is smaller: s or -1?
-1
Suppose h - 9*i + 7*i = 0, -33 = -5*h - i. Let o be h/(-30) + 2/30. Is o smaller than -2/9?
False
Let k be (-521)/(-7 + 18 - 14). Which is smaller: 173 or k?
173
Let t = -59 - -69. Let r(f) = 7*f**2 - t*f**2 + f**2 + 28*f. Let a be r(14). Which is bigger: a or -2/97?
a
Let t = -0.625 - -0.625. Let i = -493 - -495.47. Let v = 2.4 - i. Is t equal to v?
False
Suppose 0 = 2*y - 8 - 38. Let p(q) = 3*q - 165. Let b be p(56). Suppose -161 = b*c - y. Is -48 smaller than c?
True
Suppose -3*r + 5*i - 788 = 0, 0*r - 8*i + 516 = -2*r. Which is greater: -267 or r?
r
Let l = -11933/3 + 3977. Which is smaller: l or 36/11?
l
Let x(v) = -53*v - 443. Let l be x(-11). Which is smaller: 135 or l?
135
Let y = -0.02 - 145.98. Let m = 1365 - 1365.3. Which is bigger: y or m?
m
Let b(c) = c**2 - c. Let u(x) = -x**3 - 3*x**2 - 3*x - 8. Let t(m) = b(m) - u(m). Let y be t(-4). Let z be 5/(105/12) + y/5. Which is bigger: 0 or z?
z
Let b be (3826/1880 + -2)*8. Let g = -33869/940 + b. Let h = g - -35. Which is greater: -1 or h?
h
Let h = 28 + -55. Let f be 68/(-18) + 6/h. Let k be ((-3)/(18/f))/(-9). Are 0 and k equal?
False
Suppose -13*z + 339 - 326 = 0. Is 3/1246 greater than or equal to z?
False
Suppose 585*a - 3198 = 572*a. Which is bigger: a or -1/10?
a
Suppose -35*w - 2550 = -20*w. Let y = w - -116. Is -276/5 smaller than y?
True
Let i be (4*(-6)/(-12))/2. Let d be i + -1 - (-50)/(-75). Is -3 greater than or equal to d?
False
Let s = 1 + -8. Let o = 66 + 181. Let h = 246.9 - o. Which is smaller: s or h?
s
Suppose 2*r - 2 = -2*q, 4*q = 3*r + 2*q - 18. Suppose n - 66 = -r*n - 4*j, -n + 4*j - 6 = 0. Is 9 > n?
False
Let l = 3310 - 3309. Is -11/317 at most as big as l?
True
Let p = 7992 - 39831/5. Let z = p + -893/35. Which is smaller: z or -39.8?
-39.8
Let w = -480506/5 + 96558. Which is smaller: w or 457?
w
Suppose l - 12 = -14. Let n = -6 - l. Let y = -1059/205 - -15/41. Is n less than or equal to y?
False
Let h be 4/(384/(-23148)) - (-2)/16. Is h at least as big as -1695/7?
True
Suppose -573*y + 555*y = 0. Which is smaller: -3/76 or y?
-3/76
Let v = 1913/4 + -101441/212. Is v less than or equal to 1?
True
Suppose 31 - 621 = 2*n. Let m(s) = 40*s - 1056. Let d be m(19). Is d >= n?
False
Let k(z) = 3*z - 27. Let a be k(11). Let r be a/27 + (-4 - 129/(-27)). Let s(x) = -5*x**3 + x**2. Let l be s(r). Which is bigger: l or -3?
-3
Let q(g) = g + 81. Let z be q(-36). Suppose 2*j + 43 = 3*p, j + 2 = 3*j. Suppose z = -10*t - p. Does -6 = t?
True
Let s = 823.2 + -823. Is s equal to 22/45?
False
Let c(k) = 2*k**2 - 44*k - 34. Let f be c(23). Suppose -f = -o - 3*i, o + 0 = 5*i - 12. Are 2 and o unequal?
True
Let m = 38 - -76. Let d = -78 + m. Let g be -1*(44/d + 4/(-18)). Is g smaller than -1/2?
True
Let l = -0.5765 + 0.3765. Which is smaller: -4/993 or l?
l
Let j = 515.43 + -524. Let p = 8.37 + j. Which is smaller: 216 or p?
p
Let m(v) = 4*v - 28. Let h be m(6). Let n be ((-3)/h)/((-5)/(-120)). Is n smaller than 18?
False
Let a(s) = 2*s**2 + 49*s + 6. Let c be a(-27). Let j be c/49 + 6 + 72/(-8). Which is smaller: 0 or j?
j
Suppose -5*c + 3*z - 4*z = -13, z = -2. Let r be (c/(-4))/(9/30). Let v = 0.75 + 0.25. Which is smaller: r or v?
r
Let a = 64416 + -197048550/3059. Is -1 != a?
True
Suppose -5*a = -c + 5227, 3*a = -4*c - 160 - 2944. Is a less than or equal to -1044?
True
Let x be ((-8)/(-2))/(2/8). Suppose 5*i - 355 = -4*f, 50*i + 80 = 51*i - f. Suppose -i = 17*o - x*o. Is o at most -76?
False
Suppose -1856*z = -1836*z - 3500. Which is smaller: 156 or z?
156
Let s be (-175)/20*576/36. Let z = -7 - -8. Are z and s equal?
False
Suppose -37*b + 43*b = 264. Suppose 0 = -3*z - n + 361 - b, 0 = -z + 3*n + 119. Is z at least as big as 107?
True
Suppose 962 = 8*k - 116*k - 874. Which is smaller: k or 49?
k
Suppose 5*w = 7*w + 62. Let z = w + 25. Let i be (-28)/(-21)*9/z. Which is smaller: i or -1?
i
Let x be (-25)/20*-44 - -5. Let j be ((-1)/5)/((-42)/x). Which is bigger: j or 1.84?
1.84
Let f(x) = x**3 + 3*x**2 + 2*x + 1. Let v be f(-3). Let y be (6/15*4)/((-2)/v). Let t be (-1)/y - 27/(-76). Does t = 1?
False
Let u = 17.942 - 18. Let o = u - 3.842. Let i = -9.9 - o. Which is greater: i or 5?
5
Let f = -252 + 254. Let m be f/(-5) - ((-4173)/795 + 5). Is m greater than or equal to -1?
True
Let p(q) = -22*q**2 + 89*q - 223. Let j be p(-9). Which is bigger: j or -2804?
-2804
Let d be (-3)/(-456)*((-5)/(-4))/(53/1272). Which is smaller: 1 or d?
d
Let d be (-1280)/(-14) + 0 - (-210)/15680*-32. Let u be 47*2 - (0 - -2). Are d and u unequal?
True
Let w(k) = -k**3 + k**2 + k + 1. Let o be w(0). Let a be ((-24)/50)/(4/22). Let c = -337/175 - a. Which is greater: c or o?
o
Let m be 2 + (333/(-12))/3. Let p = 70 - 70. Suppose -5*i + x - 21 - 19 = p, -5*x + 60 = -5*i. Which is greater: i or m?
i
Let a = -97 + 103. Suppose g = -w + 2*w + a, 2*w + 4*g = 18. Let y = 73/390 + 1/78. Which is bigger: w or y?
y
Let g = -2 + 5. Suppose -g*i + i - 40 = 0. Let j(q) = -4*q - 66. Let p be j(-11). Which is smaller: p or i?
p
Let o(r) = 2 - 798*r - 3 + 792*r. Let k be o(-2). Suppose 3*d - k - 4 = 0. Which is greater: d or 8?
8
Let t(k) = 5*k + 5. Let v be t(-17). Let h be 3 + (-29438)/v - (2 + -4). Let m = -373 + h. Is 0 < m?
False
Suppose 0 = 4*l - 2*h - 3100, -3092 = -14*l + 10*l + 4*h. Let q = l - 784. Are q and 2/17 nonequal?
True
Suppose 0 = -5*h - 54 + 254. Let y be (((-216)/h)/9)/((-150)/(-4)). Is -1 > y?
False
Let w = -52141 - -52346. Let u = 276 + -70. Are w and u equal?
False
Let g be (1 - 1/(-8)) + -1. Let o = 1.95234 + -9.94124. Let z = o + -0.0111. Is g less than or equal to z?
False
Let p(a) = -a**3 - 82*a**2 - 88*a - 453. Let c be p(-81). Is 3.2 < c?
True
Let s(q) = q**3 + 11*q - 50. Let p be s(0). Is p > -94?
True
Let m = 42.95 + -37.4. Let x = 0.55 - m. Is x less than -3/19?
True
Let d be (-213594)/33992 + 6 - 20/(-70). Are d and 1 non-equal?
True
Let g be 6 + (1056 - (-35)/(-5)). Suppose 5*c = -4*b + g, 0*b - 3*b - 633 = -3*c. Is c <= 212?
True
Let j = 913 + -914. Let s = 58 - 41. Do s and j have the same value?
False
Let i = 0.18407 - 0.25257. Which is greater: -5/4 or i?
i
Let s be -11745 - (21/3 + 3 + -2). Is s bigger than -1/4?
False
Suppose -i + 88 = u, 251 - 71 = 2*i + 3*u. Let d be 30/(-20)*(-3 - i/(-27)). Suppose 3*w = -3 - 54. Does d = w?
False
Let i = -6042 - -151063/25. Does i = 1?
False
Let r = -1089.3 + 1089.27541. Is -0.2 != r?
True
Let v be 39*4*(-15 + 6 + (-460)/30). Is -3795 at most v?
False
Suppose 7604 = -1828*x + 1811*x - 7407. Is x less than -2/3?
True
Let m be (0 + -2)*(121/(-44) - -3)*12414. Is -6209 > m?
False
Let q = 16 + 61. Suppose -35*w + 12 = 5*m - 32*w, -w + 4 = 5*m. Is q smaller than m?
False
Let s(l) = 2*l**2 - 8*l - 16. Let m be s(5). Suppose 20 = -2*j + 4. Which is bigger: j or m?
m
Suppose 0 = -3*n + 4*n + 28. Let w be (0 - -1)*(-27)/(-9) - -4. Suppose w*g + 377 = -6*g. Is n >= g?
True
Let m = -17097 + 19374. Which is bigger: m or 3?
m
Suppose 7650 = -37*x + 12*x. Is x at most -1841/6?
False
Let t = -0.061 + -53.939. Let f = 2469 - 2422. Let j = f + t. Do j and -1/4 have the same value?
False
Let l = 43 + -25. Let d be 1101/27 - (-4)/l. Let a(w) = 1991*w + 11988. Let n be a(-6). Which is smaller: d or n?
d
Let n be ((-67650)/(-495))/((-10)/(-4)). Let x(d) = -16*d - 9. Let c be x(-4). Is c != n?
True
Suppose -35*d = -264 + 89. Suppose p - 76 = 2*j, p - 16 = -d*j - 192. Which is smaller: -37 or j?
-37
Let i = -37 + -58. Let s = i - -135. Let o = 34 - s. Which is greater: -4 or o?
-4
Let w = 2492 - 2435. Which is smaller: w or -4?
-4
Let d be (-2)/5 - 3/((-45)/201). Let j be 16/(-4) + 0 - (-154)/d. Which is greater: j or 8?
8
Let l(g) = 3*g**2 + 133*g - 85. Let o be l(-45). Let a be (-3717)/(-3745)*o - (1 - -4). Are -1 and a unequal?
True
Let b be (-2684)/1771 + (-94)/(-23) + -4. Do b and 0 have the same value?
False
Let i(n) = n**3 - 10*n**2 + 4*n + 51. Let g be i(9). Which is smaller: -370 or g?
-370
Let w = 14722/3 + -4908. Is w > -1626?
True
Let y = 153 + -153. Let i be (3 - 195/110)/(-39). 