239 - -0.239. Let z = 82 - l. Which is smaller: z or -0.1?
-0.1
Let s = -103 - -175. Let b = s + -100. Does -27 = b?
False
Let m = -3882 + 3991. Which is greater: m or -0.7?
m
Let u = -4620949271/938 - -34493817/7. Let l(j) = 262*j + 7. Let o be l(-5). Let y = o + u. Which is bigger: -1 or y?
y
Suppose 5*p = 62 + 153. Suppose -197 + p = 14*n. Let d be (-1 - -12)*-1 - -1. Is d bigger than n?
True
Let z be (473/(-215) - 2/(-10))/(-1 + 8). Which is bigger: 1816 or z?
1816
Let v be (-4)/(-12)*-1523*(-4)/2496. Let g = v - 1/936. Is g less than 1?
True
Let a be 168/672*(-16)/(-6). Let s = 8.71 - 9. Let c = s - -0.09. Which is bigger: a or c?
a
Let p be -9 + 3 - (-9 + 16). Let r be 418/12 + p/(-78). Which is smaller: 38 or r?
r
Let v = 43.121 + -0.121. Let x = 42 - v. Is x greater than 4/49?
False
Suppose 7*b = 4*n + 2*b - 8, 0 = -4*b. Suppose n*c - 127 - 69 = 0. Let q = c + -109. Is -32/3 less than q?
False
Suppose -4*n = h - 2*n - 2, -n - 1 = 0. Let z be (h/(-95))/(30/100). Do z and 1 have different values?
True
Let f be 42/(-133)*(1 + (-75)/84). Which is smaller: f or 0?
f
Suppose -5*p - 408 = -4*c, 0 = -4*p + 4*c + 84 - 408. Let h(x) = 37*x + 212. Let o be h(-8). Is o < p?
False
Suppose 0 = -7*p + 7 + 7. Let f(b) = 3 - 6 + b**3 + 5 - 6*b**p + 8 + 3*b. Let t be f(5). Are t and 2/35 unequal?
True
Let q be (0/((-60)/(-6)))/(-2). Is q <= -77/103?
False
Let d = 3/251819 + -10579707/277756357. Does 1 = d?
False
Suppose -2*w - 152 = j + 164, 0 = 5*w - 20. Let n = -711 - j. Let q be n/(-4) + ((-21)/12 - -2). Which is smaller: 96 or q?
96
Suppose 66 = 2*i - 4*k, -i = 5*k + 29 - 97. Suppose -39*g + 12 = -i*g. Let b(y) = -y**2 + 5*y + 3. Let t be b(6). Is t bigger than g?
False
Suppose 3*c + 124 = a, 0 = -5*a + 2*c - 0*c + 568. Let r be a/21 + 2 + -4. Let q = 1 - -2. Is q smaller than r?
True
Let y(j) be the first derivative of -j**3/3 + 9*j**2/2 + 22*j - 3. Let h be y(10). Let p be (3*(-2)/h)/((-1)/2). Do -0.28 and p have different values?
True
Let d be (-18 - -20) + 26*(1 - 2). Let n be (40/35)/(-4)*(d - -3). Is n at most 6?
True
Suppose 2779 = 3*s - 5*i, 0 = 3*s + 2*i - 3346 + 560. Is 926 less than or equal to s?
True
Let t = 231.04 - -1.16. Let v = 231 - t. Which is bigger: 1 or v?
1
Suppose -72*o + 43*o + 62*o - 18084 = 0. Are o and 545 equal?
False
Let g = -27 + 36. Suppose g - 8 = -h. Let r = 22917/553 + -290/7. Which is greater: r or h?
r
Suppose 41 = 5*v + 41. Let q = -5123 - -968245/189. Is v bigger than q?
True
Suppose -5*j - 115 = 3*n, 0*j - 2*j - 109 = 3*n. Let x(s) = s - 42. Let b = -206 + 212. Let r be x(b). Which is smaller: n or r?
r
Suppose 148870 = -5*r - 123675. Let n = -709879/13 - r. Let d = n - -97. Which is greater: d or 0?
0
Let z = 463 + -1286. Which is smaller: z or 0.2?
z
Suppose 23*c - 89 + 2315 = -30*c. Is -370/9 greater than c?
True
Let q be (480/(-9))/(-8)*(-198)/(-15). Let a be (q/462)/((-2)/3). Is a >= -148?
True
Let u(c) = -c - 4. Let q be u(-3). Let h be 2/(-45 - 1445/1). Which is greater: q or h?
h
Let m = -37777.841 + 37778. Which is greater: 1/4 or m?
1/4
Let o be (-6 - 28/(-8))*-2*1. Suppose 3*s + 0*s = -p + 132, -595 = -o*p - 2*s. Suppose 5*y = -4*d + p, y - 3*d - 6 = 6. Which is smaller: 22 or y?
y
Let w = 236.6 - 236.75. Do -99 and w have the same value?
False
Suppose 103*k + 4*k + 10293 = -34*k. Which is bigger: -1414/19 or k?
k
Let m = -134935/7 + 19235. Is -40 greater than or equal to m?
True
Let n = 34961/7 + -4991. Let u = 2414/7 + -342. Let m = u - n. Is m at most 2?
True
Let x = 6130 - 7633. Which is bigger: x or -1505?
x
Suppose -3*w - 3*t = 24, 0 = 4*w + t + 7 + 13. Let h = 3873 + -34897/9. Is w smaller than h?
False
Let z = -2474 - -2477. Which is smaller: 28/31 or z?
28/31
Let p be (-623)/77 - (5 - 13). Which is smaller: 41 or p?
p
Let a be 107/(-107) - ((-88348)/32 + -2). Which is bigger: a or 2763?
2763
Let t be 1/1 - 0 - 10. Suppose -9*y = 503 + 550. Let l be (-2)/t + 26/y. Is l < 1?
True
Suppose -2*q = 4*q - 0*q. Let s be 148/66 - 1*(-6 + 8). Which is smaller: q or s?
q
Let h(o) = 11*o**3 + 3*o**2 + 9*o - 1. Let t be h(-2). Let n be 0 + (3 - 5) + -94. Is n at least as big as t?
False
Let b = 0.05587 + -42.05587. Is b greater than or equal to -32?
False
Let l = 1.1 + -0.1. Let v = -14612.4 - -14570. Which is bigger: v or l?
l
Suppose 5*k - 3*s - s - 58 = 0, s - 17 = -k. Let c(o) = -424*o**2 + 213*o**2 + 32 + 7*o + 210*o**2. Let v be c(k). Are -66 and v non-equal?
False
Let r be (-31 - -31)/(5 - 2). Is -5/199 equal to r?
False
Let h(q) = -5*q**2 - 19*q + 6. Let u be h(-4). Suppose 9*g - 7*g - 2*b = -2, -u*b = 5*g + 12. Is 37 greater than g?
True
Let f = -779 + 779. Let t = -41673/15566 + 115/43. Is t at most as big as f?
True
Let w = -48 + 34. Let q be ((-36)/w)/((-621)/(-63) + -10). Are -20 and q nonequal?
True
Let p = 4148 - 3978. Do 17 and p have the same value?
False
Suppose -1 + 8 = 7*c. Let d be (-2)/11 + ((-870)/(-66) - 4). Let x be d + (-4 - 2) - 298/98. Is x less than or equal to c?
True
Let r(i) = 157*i - 2936. Let y be r(6). Is -0.1 bigger than y?
True
Let q = 1674635/63 + -26580. Let t = q - 9/7. Let c(a) = -a**2 + 11*a - 23. Let u be c(8). Which is smaller: t or u?
t
Let b = -1925 + 1955. Let f be 1 - (-2 + 4 + -50). Let m = f - b. Is m greater than or equal to 17?
True
Let z = 4704 + -4704.76. Is z less than -0.4?
True
Let o(u) = 2*u. Let h be o(-1). Let z be (-10600)/(-12) + ((-56)/21 - -1). Let c = z - 884. Do c and h have different values?
True
Suppose -36 = -2*u - 4*o, 2*u = 3*o - o + 18. Suppose u = -y + 3*y + 2*w, 15 = y - 2*w. Let x be (y/156)/(100/32 - 2). Which is smaller: -1 or x?
-1
Suppose -1 = 20*z - 17*z - p, -5*p = -2*z - 5. Let o be (57/(-12) - -5)*(-21)/(-28). Which is bigger: z or o?
o
Let s be (105/36 + 1/(-4))*-117. Are -316 and s nonequal?
True
Let w = -1773.8 - -2915.8. Is 2/3 smaller than w?
True
Let g(b) = -b**2 + 6*b + 75. Let y be g(-7). Let n be 12/(-32)*y/(-24). Let q be (8/(-210))/(6/5). Which is greater: q or n?
q
Suppose 3*d = -2*d + i + 188, 4*d - 4*i - 144 = 0. Let w(f) = f**3 + 12*f**2 - 2*f + 40. Let r be w(-13). Let v = -64 - r. Which is smaller: v or d?
d
Let b = -1892.8 - -1912. Is b at least -1/11?
True
Suppose -36966*n + 37037*n + 820192 = 0. Which is smaller: -34652/3 or n?
n
Let m be 3/((-3)/3) + 4. Suppose -2*c + b - m = -104, -2*b = c - 39. Suppose 12*s = 5*s + c. Is s at most 6?
False
Suppose 4*a + 2*w = -2*w - 20, -a + 10 = -2*w. Suppose a*p = 3*p + 30. Let n(c) = -c**3 - 2*c**2 + 7*c + 1. Let v be n(-3). Which is bigger: p or v?
p
Suppose 4*n + 12 = 3*q, 4 = -3*n - 4*q + 5*q. Let c = -975441/445 - -2192. Which is smaller: n or c?
c
Let m = 613 + -20227/33. Let q = -52 - -53. Let y be 7/(-14)*1*(-2)/q. Which is smaller: y or m?
m
Let u(s) = 9*s**3 - 185*s**2 - 58*s + 130. Let g be u(21). Which is greater: g or 671?
g
Let s be ((-14)/(-8))/((-3)/(-12)). Suppose 3*g + 0 = 4*x - 5, 5*g = 5*x - 5. Suppose x*o = 5*o - 15. Which is smaller: s or o?
o
Let t(o) = 14*o**2 + 15. Let g be t(-5). Suppose 3*l - g = -2*h - 53, -3*h = -3*l + 312. Is l less than 103?
False
Suppose 2*t + 6 - 2 = 0. Let g be (-14)/(-4)*(14 + t). Suppose -1115 = -21*m - 233. Are m and g nonequal?
False
Suppose -84*w - 36 = -93*w. Is 886 equal to w?
False
Suppose -6*t + 165 = -9*t. Let i = t + 58. Suppose -3*o + 17 - 5 = 0, v + o = i. Which is greater: 1/37 or v?
1/37
Let h(f) = -f**2 - 2*f + 23. Let a be h(-18). Let p = a - -236. Is -86/3 equal to p?
False
Let d be (-4809)/(-217) + 322/(-23). Is 7 at most d?
True
Let a be 3/(-12)*10*(-390)/(-25). Let n be (-102)/(-119) - (-2)/(42/a). Which is bigger: n or -13/9?
n
Suppose 3*t = -2*t + 15. Let j = -4984 + 4977. Is t bigger than j?
True
Suppose -93*b - 296 = -97*b. Let t be 130/(9 + -7) + 8. Which is bigger: t or b?
b
Let w be (8 - 261/36) + 1110/(-1736). Which is bigger: -1 or w?
w
Suppose 9*s + 5 = 10*s. Suppose 116 = -s*w + w. Let f = 29 + w. Does 10/7 = f?
False
Let m = 0.34 - 0.1. Let x = m - 1.24. Let v be (0 + (-4)/2)*(-56)/20. Is x smaller than v?
True
Let b be 50 - (1 - 1)/(-2). Suppose 0 = 3*g + 6, g = -4*t + 4 - 2. Let h(r) = 13*r**2 + 35*r + 1. Let u be h(t). Is b at least as big as u?
True
Let b = -4160 - -590723/142. Which is smaller: -1 or b?
-1
Let m be (-90)/(-105)*-12*56/(-64). Which is smaller: 21 or m?
m
L