/9 - -439. Is d at least as big as v?
False
Let u(g) = -145*g + 1. Let t be u(1). Let j = -32883 - -32738. Which is smaller: j or t?
j
Let w = 2532 - 1378. Does 1153 = w?
False
Let w = -636 - -653. Suppose -12 = -2*c - 5*o, 17*c - 18*c + 3*o + w = 0. Suppose -1 = -2*a + 19. Are a and c nonequal?
True
Let q = -0.04 - -11.54. Let z = 13426 + -13425. Is z < q?
True
Let n = 57529378/687 + -83740. Let k = 1 - 0. Is n at least k?
False
Let d = -62303/4 + 303023/20. Let k = -435 - d. Do k and -10 have the same value?
False
Let l = -323.147 + 323. Let n = 0.26 + l. Let z = n - -0.087. Is 0 at least as big as z?
False
Suppose 0 = -5*m + 2*q - 1290 - 13392, 4*m - 6*q = -11728. Which is greater: m or -2937?
-2937
Let x = -311 + 477. Let f = -165.8 + x. Which is bigger: f or 0.031?
f
Suppose 3*k = 16 - 1. Let w be (-4)/7 + (-29)/((-1015)/4220). Suppose 115*p + 25 = w*p. Is p greater than k?
False
Let t = -13 - -6. Let v be (13254/(-18))/((-13)/39). Let x = v + -11087/5. Which is greater: t or x?
t
Let q = -22169 + 26586. Which is bigger: 17671/4 or q?
17671/4
Let t be ((-1248)/1456)/(4/(-14)). Suppose -z + 3*i = -0*z - 35, 3*z = -4*i + 131. Suppose -z + 26 = t*s. Is s greater than -1?
False
Let y(i) = 130*i**2 - 679*i - 23. Let a be y(5). Which is bigger: a or -123?
-123
Let o be 411345/990*(-8)/18*-3. Do o and 555 have the same value?
False
Let s = 5279 - 5279.1. Is s at most as big as 41/3?
True
Let v = 299 - 664. Let a = 365 + v. Is a at most as big as 4/77?
True
Let n = 2588/55 + -17122373/363880. Is -1 != n?
True
Suppose -4*r - 131382 + 131358 = l, 2*r + 12 = 4*l. Let f be (((-138)/4)/(-3))/(-8). Which is bigger: f or l?
l
Let u be (-44)/64*12*(-9 - 1067/(-22)). Is -325 < u?
False
Let u be ((-23)/(-2))/(-23) - ((-138)/100 + 0). Is 2 greater than u?
True
Suppose 4*m - 98 = 4*j + 42, 2*m - 166 = 5*j. Let v be (6/(-8))/(4*2/j). Let p(q) = q**2 + 2*q. Let w be p(-3). Is w smaller than v?
False
Let o be 1*-1 - 6 - 1. Let j be 17 - (4 + 0 + -2). Suppose 3*i = 2*s + 5, -j*s + 19*s = 5*i - 13. Which is smaller: o or s?
o
Let u be 4610/(-24)*(-9)/((-1552860)/8). Let m = 91941883/24742236 - u. Let z = m + 6/239. Is 5 at least z?
True
Suppose 6 = -73*h + 74*h. Let c = -18059/76 + 85/76. Let g = -231 - c. Which is bigger: g or h?
h
Let h = 4224.41 - 4242. Let x = -18 - h. Let r = 0.32 + x. Are 4/3 and r equal?
False
Let a be (16/5 - 3) + (-68)/(-10). Suppose a*u = 8*u - 21. Let m = u - 21. Is -1/2 >= m?
False
Let f be (27*(-10)/(-15))/1. Suppose -6*u - 42 = -30. Let t be u*(f/(-12) + 2). Which is smaller: t or -3/62?
t
Let m be 70/(-4) + (-3)/(-6). Let s be (-14)/119 - 210/(-51). Let c(y) = -2*y**3 + 7*y**2 - 6*y + 23. Let k be c(s). Is k bigger than m?
False
Let l = 30416 + -50256. Which is smaller: l or -19839?
l
Let j be (-29)/3 - -3 - 10/(-15). Let f be j/(-2) + 7/((-182)/118). Do -1 and f have the same value?
False
Let k = -23.653 + -0.467. Let z = -25.5 - k. Is z at least as big as 2?
False
Let g = -87987/455 - -967/5. Let x = -150 + 94. Let j = x - -57. Which is smaller: g or j?
g
Let u = -34/23 + 133/230. Let r be (4536/(-72) + 64)/2. Which is smaller: u or r?
u
Suppose 5*t - 3*z = 10089, 3*t - 3*z + 3228 = 9279. Which is smaller: t or 2018?
2018
Let j(m) = -m**3 + 32*m**2 + 63*m + 141. Let s be j(34). Which is smaller: -106 or s?
-106
Let q be (15490/25)/(34/119). Are 2169 and q unequal?
True
Let h = -759 - -1639. Suppose -19*g + 6 = h. Is 4 less than g?
False
Let g be 26 - (-4 + (2 - 11)). Is g < 668/17?
True
Suppose 0 = 379*z - 370*z - 9. Let c be 3/(-274)*((-48)/18)/4. Which is bigger: z or c?
z
Let s = -1271.8 + 1147.8. Which is smaller: 3.1 or s?
s
Suppose 1 = -m + 11. Let r be (-8)/(-20) - (-366)/m. Suppose -540 = -192*l + 177*l. Is r at most as big as l?
False
Suppose -28*a + 12*a - 32 = 0. Let q = -12 + 12. Let i be 6/6 - (q/a - 2). Are 12/5 and i non-equal?
True
Let x be 368/(-10) - (-3)/(-15). Let w = -638 - 564. Let q = -1238 - w. Is q less than x?
False
Let k = -104146/33839 + 2/2603. Let t be 1 + -1 + (2 - 4). Which is smaller: t or k?
k
Suppose 3*p + 40 = -p. Suppose 12*x = v + 10*x - 4, 0 = -3*v - 5*x + 12. Are v and p non-equal?
True
Let h = -26336 - -25977. Suppose -3*k - 1082 = 2*j + 2*j, 5*k = -2*j - 1794. Is k at most as big as h?
False
Let k be (-1*(-12)/3)/(8/(-20)). Let o be k/(-12)*(-12)/2190. Let i = o - -3071/1095. Is i at most 3?
True
Suppose -2*c - 28 = 4*f, -f - 4*f = 4*c + 41. Let w = 1 + f. Is -2 equal to w?
False
Let g be ((-4)/(-16))/(((-2185)/(-40))/(-19)). Do -15 and g have different values?
True
Suppose r + 52 = -v, 181*r = 185*r - 8*v + 196. Let j(g) = -4*g**2 + 5*g - 6. Let t be j(4). Is t at most r?
False
Let k be -4*((-4524)/(-288) + -14). Which is smaller: k or 10?
k
Let b = 121714/34387 - 474/137. Is b < 0?
False
Let c = -0.36441 + 0.00441. Is c less than or equal to 2/3?
True
Let r be 3276/(-630)*1/(-12). Are r and 0 nonequal?
True
Let l = -804094117/100 - -8040872. Let p = -277/4 - l. Which is bigger: 0.9 or p?
0.9
Let v(z) = z**3 - z**2 - 4*z + 7. Let l be v(0). Let n be (l/(-4 + -3))/(1/(-2)). Which is bigger: 3/4 or n?
n
Let g be (-15)/6*392/308 + 3. Is 152 at most g?
False
Let w = -39 - -43. Suppose -3*r + 25 = -w*r + 5*j, -3*r - 19 = -j. Let t = r - -3. Is -20/7 > t?
False
Suppose -6*w = 1743 + 93. Let t be w/(-61) + 55/(-11). Is 1 greater than t?
True
Suppose -241*o - 1854 = -234*o + 2367. Is o > -601?
False
Let d be 2*-80 + 292 + -306. Which is bigger: -521/3 or d?
-521/3
Let g = 223.5 - 223. Let r be 2/4*(0 - 5). Which is smaller: g or r?
r
Let j be 8/(((-369)/(-432))/(-41)). Is j less than or equal to 3?
True
Suppose -6*t - 39 = -117. Let v(l) = -14*l**3 - 2*l**2 + 1. Let o be v(-1). Suppose 0*z - o = -z. Is t at least as big as z?
True
Let t be (319100/1250)/((-2)/3). Let s = t - -383. Let y be 1 + (-1)/2*0. Is s at least y?
False
Let b be -9 - -7 - ((-491)/177 + 1). Is 0 less than b?
False
Let i be ((-1665)/(-90))/((-10)/(-28)). Let t = i + -1429/30. Is t < -0.1?
False
Let z(n) = -2*n**2 + 4*n + 2. Let s be (8 - 5 - 5) + (4 - 2). Suppose 6*k + k + 28 = s. Let d be z(k). Is d equal to -46?
True
Suppose 3*l - 777 = 4*j, 0 = 5*j - 2*l + 980. Let c = -200 - j. Which is smaller: 10 or c?
c
Let m = 15 + -25. Let u = -726602/15 - -48461. Let o = u + -101/5. Is m at least as big as o?
False
Let k = -149 + 163. Let o be 42/k - (-1)/((-23)/54). Which is greater: 1 or o?
1
Let x be 2 + 14/(-4) + (-6094)/(-4060). Which is smaller: x or 0.1?
x
Suppose -r = -77*r - 94*r + 2210. Is -6/13 smaller than r?
True
Suppose -191*y + 193*y = -78. Let p(w) = 15*w**2 + 2*w - 2. Let v be p(-2). Let z = v + y. Is z at most as big as 15?
True
Let t(q) = -q**3 - 20*q**2 - 35*q + 72. Let y be t(-18). Let a = -57 + 109. Is a less than y?
True
Suppose 4*c = -4098 + 4006, -3*w = 4*c + 47. Let i = 5 + -3. Let x be i/(-6) - (-46)/3. Do x and w have the same value?
True
Suppose -5*d + 23 = 8, -3*j + 3*d = 21. Let f(s) = 3*s**3 - s**2 + s. Let p be f(2). Let u be (-2)/j - p*4/(-208). Are 2 and u non-equal?
True
Let m = -27.97995 - 0.02005. Is -106 >= m?
False
Suppose 0 = -2*l - 3 - 7. Let m = -36 - -4. Let g = m - -27. Is g < l?
False
Let o be ((-2)/(-3))/(3/(99/64504)). Which is greater: o or -1?
o
Suppose -60*o - 100*o = -46*o + 342. Which is greater: o or 48.9?
48.9
Suppose 6*y + 208 = -j + 752, -5*y = 3*j - 449. Is y > 1379/15?
False
Let y be (-3 - (-8)/(160/75)) + 8692/(-112). Which is smaller: y or -77?
-77
Let g = -1934 - -1904. Which is smaller: g or -67?
-67
Let s be (440/(-6) + 4)/(-3*3/162). Which is greater: 0.1 or s?
s
Let o = 402 + -399. Suppose o*j + 39 = -3*s, -5*j - 4*s = -8*s + 101. Is -31/2 not equal to j?
True
Let y = 0.115 - 0.105. Which is bigger: y or 4?
4
Let u be 2901*(-4)/6*(-10 + 11). Which is smaller: u or -1936?
-1936
Let i = -795 + 792. Which is smaller: i or -189/64?
i
Let w be 4/(-6) + 426/531. Let x = w - 357/3068. Let n be (-82)/(-287) + 4*4/(-56). Is n > x?
False
Let y = -219.239 + 219. Let t = y + -2.161. Which is bigger: 4 or t?
4
Let i be 741/26 + 2/4. Let y be (-1 - (-6)/9) + (-2748)/(-90). Is y smaller than i?
False
Let q be (8/(-6) - -1)/(2/(-12)). Suppose -a = -3*j + 22, 2*j + 2*j - q*a = 28. Suppose 0 = -j*y + 21*y - 91. Is y less than 6?
False
Let n be (4/6)/2 - 3164/(-12). Let j = n - 25