333. Let l = q - 83. Is l < 30?
False
Suppose d + 4*j - 8 + 116 = 0, -4*d = -3*j + 375. Let k = d - 92. Which is greater: 1 or k?
1
Suppose -61*x - 106*x + 167 = 0. Is x > 34/99?
True
Let m = -8915637254 + 4127931240949/463. Let d = -19023 - m. Is -1 <= d?
True
Let u be 136224/(-216810) + 2/3. Which is smaller: 0 or u?
0
Suppose 0 = 4*n, -n - 10 = 9*a - 10*a - 2*n. Let t be (11/3 + 1)*3. Which is smaller: a or t?
a
Let j be 144/(-21) + 2/(-1 + -13). Let o(m) = -3*m**3 - 22*m**2 - 5*m + 14. Let n be o(j). Let b be 2/(-8) - 2/(-56). Is n < b?
False
Let i = 30595 - 15036. Is 15558 != i?
True
Let b be 1 + 1 + ((-35)/42)/((-15)/(-40)). Which is smaller: 26 or b?
b
Let c = -0.224 - -0.423. Let o = c - 7.199. Which is smaller: -3 or o?
o
Let i = -0.1202 + -24.8358. Let h = i + -0.044. Let r = h + 20. Is r bigger than -0.8?
False
Suppose 5*c - 61 + 6 = 0. Suppose 0 = -6*v + c - 17. Which is bigger: -2/23 or v?
-2/23
Let o(s) = 29*s - 2. Let y be o(-5). Let w be (32/6)/(7/y). Let g = w - -445/4. Is 1 bigger than g?
True
Suppose 0 = -2*b + 4*m - 100, 0 = 3*b + m + 167 + 4. Suppose 3*q - 5*g + 186 = 0, 3*g - 51 = 3*q + 129. Which is greater: q or b?
b
Let o = -24/3857 - -21626391/30856. Let z be 698 + 7/(49/14). Let l = o - z. Which is smaller: 0 or l?
0
Let r(c) = 5*c**2 - 14*c - 6. Let v(n) = n**2 - 2*n - 3. Let b(g) = -r(g) + 6*v(g). Let l be b(3). Is -0.13 equal to l?
False
Let j = 1.2 - 24.2. Let h = j - -27. Which is smaller: -9 or h?
-9
Let r = -43 + 69. Let w = -255520 + 255544. Which is smaller: r or w?
w
Let t(i) = i**2 + 13*i + 3. Suppose 0 = 4*u - 28 + 80. Let h be t(u). Suppose 5*c - h = 7. Are -2/49 and c nonequal?
True
Let s be 8*4/(-24)*-3. Let k be (-2387)/(-33) + s/(48/20). Is 75 smaller than k?
False
Let r be (-2)/(-4) + (-5)/13. Let s = 584 + -577. Let c(o) = -o**2 - 15*o + 154. Let m be c(s). Is m at least r?
False
Suppose 64 = 2*f + 22. Suppose -k - q = -6, k - 3*k + 4*q - 6 = 0. Let p be -5 + 3 + 4 + f/k. Which is smaller: 8 or p?
8
Let o be ((-27)/81)/(2/6). Suppose 6*c - 4*c = 6. Let i be -2*((-3)/149)/c. Which is bigger: o or i?
i
Suppose 66*a + 6584 = 68*a. Are a and 3292 nonequal?
False
Let n = -805948/1153 - -699. Is 0 smaller than n?
False
Let n = -57 + 54.1. Let f = -39931/9 + 4437. Which is greater: f or n?
f
Let s = 9/61 + -2/427. Let d = -0.15 - -0.02. Let a = -0.29 - d. Which is smaller: a or s?
a
Suppose 4641 = -8*y + 11*y + 14*y. Which is bigger: 271 or y?
y
Let s = -12.9 - -13. Let n = 5804 - 5804.307. Which is greater: s or n?
s
Suppose -23 + 27 = 3*x + 4*f, -2*f + 2 = 3*x. Let u = -3/1532 - 557/497900. Which is greater: u or x?
x
Suppose -201*l - 78816 + 41962 = 78319. Is l at least -581?
True
Let j = 27325/66 + -414. Suppose 0 = -5*a - 2*n - 10, a = -3*a + 5*n + 25. Suppose -4*i + 3*i + 1 = a. Which is bigger: j or i?
i
Let u be (16/15)/(637/(-39) - -17) - 2. Which is bigger: 7035 or u?
7035
Let j = -7781/7 - -1115. Let g be (-66)/(-17) - 108/(-918). Is g smaller than j?
False
Let f = 473 + -468. Suppose -3*t + f*s + 999 = 0, -5*t + 3*s - 1303 = -9*t. Which is smaller: t or 0.1?
0.1
Let c = -103006/15523 - -282/43. Is c not equal to -1?
True
Suppose 0 = l + 1 - 24. Let c(g) = 9*g**2 - 4*g + 3. Let k be c(1). Let d be 69/2*k/(-84)*-7. Is l less than d?
False
Let y be 14/(-21)*1053/6. Let w be 4/(-19)*y/52. Which is smaller: 0 or w?
0
Let s be 4143/(-2415) - (-10)/115. Which is greater: s or -2?
s
Let a be (4/6)/((-20)/12045). Let x = a + 304. Let u = x + 99. Which is greater: 1 or u?
u
Let b = 109975/9 + -12207. Let m(c) = c**3 + 10*c**2 + c + 23. Let v be m(-10). Which is greater: v or b?
v
Let x be (-14 + 17 + 140/8)/((-1)/10). Is x smaller than -255?
False
Suppose -3*v + 2*v + 9 = -b, -v - 3*b - 11 = 0. Let l be (-24 + v)/(-5) + -2. Let k be 18/30*(-30)/(-14). Is k >= l?
False
Suppose -54 = 2*k + o, -4*o = -9 + 25. Let p be (k/2)/(-5) - (-40)/(-10). Is p greater than or equal to 3/5?
False
Let d = -84 - -250/3. Let t = 164.5 - 292. Let i = t - -14.5. Which is smaller: i or d?
i
Suppose 0 = 8*b - 132 - 428. Let k be (-5 - b/(-15)) + (-3806)/(-120). Let d = 154/5 - k. Is -2 less than d?
True
Let i = -117 - -17.2. Let m = i + 132.8. Let r = 1.1 + -1. Which is smaller: m or r?
r
Let z be 3895/35 - 2/7. Is 1107/10 < z?
True
Let r = -3.01 - -0.01. Let j = 4 - r. Suppose -4*l = -5*a + 7, 0 = a + 4*l - 135 + 124. Which is greater: a or j?
j
Let h = 586.9 - 503. Let i = h - 84. Which is bigger: -42/5 or i?
i
Let y(k) = -4*k + 31. Let w be y(18). Let j be (35/15)/(-7)*w. Which is smaller: j or 15?
j
Let v = -20/3411 + 18167/965313. Which is greater: v or 1?
1
Let m be 0 + (-30)/24*(-11)/(33/(-4)). Which is bigger: m or 1.9?
1.9
Let s = 6019 + -88946/15. Let k = -242/3 + s. Suppose 30 = -2*y + 7*y - 3*n, 2*y + 4*n = 38. Which is smaller: k or y?
k
Let l = 2/10297 - 432556/422177. Which is smaller: -9 or l?
-9
Let n = -1853.0133 - -1853. Is n bigger than -1?
True
Let q be (-93633)/12762 + -13 + 20 + (-3)/(-9). Which is greater: 0 or q?
0
Suppose 0 = -w + 1 - 32. Let b be w/16 - (-4)/2. Let l = 1428 - 1425. Is b >= l?
False
Let r(j) = -15*j - 267. Let s be r(-18). Suppose -5*w + 286 = -2*u, u - s*w = -79 - 64. Which is greater: u or -142?
-142
Let k(m) = -28*m - 1. Let o be k(1). Let l = 470 + -746. Let i be (-26)/65 - l/(-10). Which is smaller: i or o?
o
Let a = 207/268 - 8003/10318. Let i = 1 - 1. Which is smaller: i or a?
a
Suppose -63 - 69 = -3*h. Let d = h + 42. Which is greater: 0 or d?
d
Let m be (-16)/36 - 10800/(-243). Let k be -2*1/4*-86. Which is bigger: m or k?
m
Let d(t) = -363*t**3 - 3*t**2 + 4*t - 1. Let q be d(1). Let n = -462 - -99. Are q and n equal?
True
Let m = 22/133119 + -15135263/24627015. Let l = -8/15 - m. Is 0 greater than or equal to l?
False
Let q = -22 - -13. Let f be 2/(-9) + (-2)/q. Suppose -61*b = 114 - 236. Is f at least as big as b?
False
Suppose 5*u + 2*r + 30 = -11, 50 = -5*u - 5*r. Let n be -3 + 6 + (0 - 0)/u. Is n > -4/11?
True
Let q(o) = 3*o**2 - 75*o + 342. Let u be q(22). Is 142 greater than u?
False
Suppose 0*c = -14*c + 70. Suppose 3*g - 6*g + 438 = -c*p, 4*p + 2*g = -368. Is p < -91?
False
Let n be 1/(-3) + 705/9. Let o = n + -4601/59. Let c be (-2)/(-4) + 1/(-2). Is o at least as big as c?
True
Let h be (3/41 + 0)/(171/76). Let v = h - 10729/861. Which is bigger: v or -11?
-11
Suppose 0*g = -4*g. Let z = -1189 - -1942. Let i = z - 759. Which is bigger: i or g?
g
Let n = 124.6 + -4.6. Let p = n - 118.3. Which is bigger: p or 0?
p
Suppose 0 = o + 2*c - 7*c + 15, 5*o = 5*c - 15. Suppose -3*k - 5*h - 921 + 77 = o, -k - 2*h = 280. Is -288 smaller than k?
False
Suppose -100*h + 6*h = 23*h - 296127. Are 2531 and h unequal?
False
Let w = 0.20699 + -0.19599. Does w = -97?
False
Let z = 1250 - 1434. Which is smaller: z or 5/2?
z
Let z = 431 - 116. Let s be (2/5)/(7/z). Let d be -58 + s - (4 - 0). Does d = -44?
True
Let q be (-10)/(-14) - 17689/20923. Which is smaller: 2/11 or q?
q
Let m = -107 - -117. Suppose -f + 3 = -3*t + 2, -4*f = 2*t + m. Which is greater: t or -28/17?
t
Suppose -66*p = -126*p + 60. Let m be 0 + -1 + (-4083)/(-1020) + -3. Is p greater than m?
True
Let c be 18/(-18) - 1/(-1). Suppose 7*j - 19*j + 24 = c. Let m be j - 1 - 295/325. Which is greater: m or 1?
1
Let d(u) = u**3 + 18*u**2 + 11*u - 21. Let h be d(-17). Is 81 smaller than h?
False
Let h = -9675 + 11091. Which is smaller: h or 1414?
1414
Let j = -2623 + 2678. Which is smaller: 13 or j?
13
Let a = -2531 - -103779/41. Is -0.19 smaller than a?
True
Let h be ((-6)/(-4) + 754/(-493))*378814. Let z = h - -11145. Which is smaller: 3 or z?
3
Suppose -v - 3*w = -6*w - 5, 5*v - w = 11. Suppose -v*p - 1 - 3 = -2*d, -3*p - 9 = -4*d. Which is greater: d or 6?
6
Suppose 10196 = 4*t - 2*c, 2*t + 0*t - 2*c - 5096 = 0. Suppose -t = -8*l - 822. Let s = l - 1291/6. Which is bigger: s or 2?
2
Let y = 280 + -278. Suppose -4*r + 2*w + 3 - 39 = 0, 0 = y*r - 4*w + 24. Do r and -8 have the same value?
True
Let i = -207.234 - -207. Let a = 132.234 + i. Are a and -1/4 non-equal?
True
Let d(v) = 4*v + 4. Suppose 19*i - 14*i = -5. Let z be d(i). Let l = -324 - -4210/13. Which is smaller: l or z?
l
Let d be 11/(-6) + 4 + -2 - 357/306. Is 1/754 less than d?
False
Suppose 0 = 3*d - 5*v + 3, -2*d + 5*v - 1 - 1 = 0. Let c(i) = 46*i**3 - i**