 50/(-36)*164/(-10). Is 23 at most l?
False
Let c = -338 - -997/3. Let f = 167/30 + c. Let t be (-1)/(-6) + 1/(-2). Is t less than f?
True
Let m = 179 - 103. Suppose -27*t + 29*t = m. Suppose -2 = 3*s - t. Which is smaller: 2/3 or s?
2/3
Let h = 398 + -366. Which is smaller: 0.1 or h?
0.1
Let l be (-14 + 11)*2/18. Which is bigger: l or 1/31?
1/31
Let u = -29 - -33. Let x = -2 + 2.3. Which is bigger: x or u?
u
Let j be (1/3)/(9/(-27)). Let b(p) = 12*p + 11. Let f be b(j). Which is smaller: 2 or f?
f
Suppose 2*m + 12 = 4*m. Let v be ((-20)/m)/((-2)/(-6)). Let d be 0 - ((-4)/(-1))/(18/36). Is v < d?
True
Suppose -a + 0*a = 5. Let d = a - -3. Let t = d - -4. Is 0 bigger than t?
False
Let d = 69 - 61.8. Let b = -0.5 + 0.3. Let p = b + d. Do p and -1 have different values?
True
Suppose -106 = -h - 4*o, 10*h + 4*o - 484 = 6*h. Are h and -1 unequal?
True
Let l(h) = 3*h + 32. Suppose 5*p + 20 + 35 = 0. Let v be l(p). Which is greater: 7 or v?
7
Let z be 74/10 + -1 - 1. Suppose -82*o + 582 = 172. Is o != z?
True
Let m be ((-3)/2)/(-4 - (-25360)/64). Is 0.2 bigger than m?
True
Suppose p = -4*d - 14, 5*p + 7*d = 3*d - 6. Let c(u) = u + 16. Let t(b) = 2*b + 33. Let o(q) = 5*c(q) - 2*t(q). Let z be o(-11). Which is smaller: p or z?
p
Let h = -166 + 310. Are h and 143 unequal?
True
Let q be (-1496)/(-504) - (3 + 1 + -1). Is -3 bigger than q?
False
Suppose -3*d - 8 = 4*k, -116*d + 114*d + 10 = -5*k. Which is greater: -309 or d?
d
Let c(n) = 18*n - 99. Let z be c(18). Which is smaller: z or 2?
2
Suppose 3*t = -0*t + t. Let a be (-1 - 0)*(t + 3 - 0). Which is smaller: -2/7 or a?
a
Let k = -401 - -401. Which is smaller: k or -1/436?
-1/436
Let g = -1008 + 871. Which is greater: g or -130?
-130
Let g be ((-3)/(-246))/((-10)/(-100)). Is g not equal to 1?
True
Let j(y) = 6*y - 9. Let m be j(6). Suppose -17 = -4*u + m. Suppose 3 - u = 4*i. Which is smaller: -3/5 or i?
i
Let c = -0.01 - -114.01. Let n = 108.7 - c. Is -1 at least as big as n?
True
Let h(i) = 21*i + 16. Let s be h(-1). Which is smaller: s or -6?
-6
Suppose 14 = -0*z + z + 2*h, -z - 2 = -2*h. Suppose -11*q - 15 = -z*q. Let g(c) = c**3 + c - 1. Let s be g(0). Which is greater: q or s?
s
Let n = 64 + -62. Is 4.7 greater than n?
True
Let f = -49.19 + -0.81. Let z = f - -33. Is z at most as big as 2/5?
True
Let o(z) = 3*z + 1. Let y be o(-2). Let g(p) = 6*p - 7 - p**2 - 5*p**2 - p**3 - 4*p + 4*p**2. Let b be g(-3). Is b at least as big as y?
True
Let c = 1343 + -1330. Is c bigger than 3?
True
Let n = -408 + 9386/23. Suppose 12*v = 7*v - 3*z + 291, 306 = 5*v - 2*z. Let u be ((-1)/7)/(2 + v/(-28)). Are n and u unequal?
True
Suppose -17*a - 2369 = 1728. Is a at most as big as 0?
True
Let y = -389 + 321. Which is bigger: 2/9 or y?
2/9
Let t = -4825/7 - -689. Which is greater: -1 or t?
t
Let l be (-11704)/(-1683) - (-6)/27 - 7. Which is bigger: l or 8?
8
Let w be 1*7 + (-793)/122. Which is smaller: 4/3 or w?
w
Let p = 18 + -20. Let z = 2 + p. Let n be -3 - z - (0 + 4). Which is smaller: n or -8?
-8
Suppose v = 3, -4*g + 17 + 8 = -v. Let z(q) = -8 + q - 4*q + 25 + 0*q. Let i be z(g). Is -4 smaller than i?
False
Suppose 2 + 2 = 4*d, -4*p + 5*d = 9. Which is greater: -128/3 or p?
p
Let f(y) = y**2 + 6*y - 11. Let q be f(-8). Is q smaller than 2?
False
Let z be 77/(-21)*429/8. Let c = -197 - z. Which is smaller: c or -1?
-1
Suppose -1 = -5*i - 16, i - 125 = -4*l. Let f(n) = 25*n - 543. Let j be f(23). Is l less than or equal to j?
True
Let b = -33 - -37.2. Let z = -3 + b. Let y = z + 1.8. Which is bigger: y or 0?
y
Suppose -25*h = -34*h. Which is greater: 3/13 or h?
3/13
Let s be (-291)/(-27) - 6/(-27). Suppose 32 = -2*f - 3*u + s, 0 = -f + u - 8. Is -10 greater than f?
False
Let d = -170707/9 + 18949. Which is smaller: -17 or d?
d
Suppose 36*r = 4*r - 608. Is r smaller than 1?
True
Let k be 1 + 0 + (-6)/(-6). Suppose g + 27 + k = -5*f, -5*g - 10 = -2*f. Suppose 0 = d - 2*d, 0 = a + 2*d + 3. Is f bigger than a?
False
Let q = -1845 + 3372. Is 1526 bigger than q?
False
Suppose -11 = 12*o - 23. Which is smaller: o or -2/25?
-2/25
Let r = 1335698663296 + -906938778913235/679. Let x = r + -903483. Let z = -2/97 - x. Which is smaller: -2 or z?
-2
Let s = 47 - -32. Suppose 6*r - 53 = s. Suppose r*p = 21*p. Which is greater: p or 0.1?
0.1
Let n = 41.1 + -47. Let o = n + 0.9. Which is bigger: o or 6?
6
Let r = 22.4 - -22.6. Are r and 3 equal?
False
Let l be (3 - 1)*((-45)/10 - -4). Are l and 1/809 nonequal?
True
Let r be (-86)/10 + 2/(-5). Suppose -4*f + 3 = -3*s, 5*s + 2*f + 75 = -3*f. Is r bigger than s?
False
Let b = -154442/55 + 2808. Let z = 1 + 0. Which is smaller: z or b?
b
Let o = -5430 - -21897/4. Is 43 at least o?
False
Let d = 21.1 + -18. Let o = d + -3.3. Let m be 3*(-5)/(-6)*2. Which is greater: o or m?
m
Let b be 2 + -1 + (-6)/3. Let x = 24 + -769/32. Which is smaller: x or b?
b
Let i(v) = -v**3 + 12*v**2 - 2*v + 24. Let h be i(12). Which is smaller: -8/47 or h?
-8/47
Suppose -k = -3*k + 5*l - 13, 0 = -4*l - 12. Let s = 221 - 215. Let x be k/6 - s/(-18). Is x > 0?
False
Let f be 10/(-4) + (-13)/26. Let v(c) = 5*c**2 + 3*c + 3. Let d be v(f). Let b = d + -33. Is b >= 6?
True
Suppose 3*m + 760 = -4*p, 4*m = 4*p - 9*p - 1015. Which is smaller: m or -779/3?
m
Suppose 0 = -3*c + 15, -3*v - 22 = -5*c. Let o = -11776/7 + 1692. Let f = o - 354/35. Which is bigger: f or v?
v
Suppose 6798 = 5*z - s, 2*s = 2*z - 3578 + 862. Which is smaller: 1361 or z?
z
Let w(o) be the third derivative of o**6/120 + o**5/15 - o**3/3 + 4*o**2. Let g be w(-3). Suppose g*b - 3*b = 0. Is b bigger than -1/8?
True
Let a = 283 + -278. Which is smaller: -8/3 or a?
-8/3
Suppose -55 = -3*l + 5. Let j be (-1)/(-2)*l/(-5). Let h be (j/(-4))/((-1)/(-2)). Is h at most as big as 9/5?
True
Suppose 0 = -2*k - k - 4*z + 56, -z + 39 = 2*k. Suppose -3*a = -4*s + 124, 0 = -a + 6*a + k. Suppose -3*d = d + 4*w + s, 3*d = -5*w - 31. Is -2 at most d?
True
Let a = -350.6 - -374.71. Let j = a + -24. Let u = 0.2 - j. Is u equal to -1?
False
Let r(i) = -i**2 + 8*i - 14. Let b be r(4). Suppose b*y - 50 + 94 = 0. Does -23 = y?
False
Let r be (-6)/(-2) - (-22 + 11 + 14). Do r and -3/374 have the same value?
False
Let h be (-2)/3*6/(-4). Let c be 24 + ((-3)/(-1) - -1). Let a = c - 57/2. Is h bigger than a?
True
Let w be 1/(8/((-192)/(-4984))). Which is greater: w or 0?
w
Let p = -788 - -786. Is -113 < p?
True
Suppose -4*r = -4*i - 144, 4*i + 113 = 3*r - 0*i. Suppose -3*l - o = -6*o + r, 4*l - o = -13. Let g = 2289.03 - 2289. Which is smaller: l or g?
l
Suppose 5 = 5*o - 15, 5*i = 2*o - 3. Let t be (-8)/2*(-12)/(-128). Is t at most as big as i?
True
Let o = -329 + 271. Is -58 less than o?
False
Let i = 0.846 + -0.786. Which is smaller: i or 4/3?
i
Let y = -89.24 - -0.24. Let g = y + 77. Is 4/7 less than g?
False
Suppose 5*x - 102 = -l, 4*x + 5*l = -x + 110. Let i be 0/(-2 - -6) - x. Let n = i - -19. Which is smaller: 1 or n?
n
Let q = 363 + -366.02. Let k = q + 1.02. Is 3 not equal to k?
True
Let x(f) = -3*f + 88. Let u be x(29). Let r = -42 - -208/5. Is u less than or equal to r?
False
Let m = 553/1110 - -1/555. Which is smaller: 24/5 or m?
m
Let s be (80/12)/2*-3. Let c be (-16)/5 - s/50. Let o be (c/(-6))/(3/6). Which is smaller: -1 or o?
-1
Let o(l) = l**2 + l + 2. Let b be o(0). Let z(k) = k**3 + 4*k**2 - 6. Let v be z(-4). Let s be ((-1)/v)/(3 + 69/(-24)). Is s >= b?
False
Let k be (-117)/(-21) - (7 - 1). Which is smaller: -5 or k?
-5
Let d(y) = 18*y - 249. Let q be d(14). Are q and 40/21 unequal?
True
Let q = -45 - -80. Let j = 33 - q. Do -2 and j have the same value?
True
Let g = -31 + 12. Which is smaller: -14 or g?
g
Suppose 0 = 2*k - 3*s - 26, -k - k = -4*s - 30. Let c(d) = -k + 3*d - 7*d + 3*d + d**2 - 6*d. Let u be c(8). Is u less than or equal to 1?
True
Let n = 1.5 - 7.6. Let g = 0.79 - 6.79. Let s = g - n. Is -8 at least as big as s?
False
Let i = -45.91 + 36.9. Let x = 0.01 + i. Let y = x + 9.2. Is -0.1 > y?
False
Suppose 47 = 21*d - 100. Which is bigger: 13/2 or d?
d
Let x be ((-8)/32)/((-6)/(-40)). Let v = -2/239 - -243/478. Which is greater: x or v?
v
Let j be (-2)/(-12) - (2 - 383105/506220). Let s = j - 1/2596. Which is greater: s or -2?
s
Let l = -22 - -181. Which is bigger: 157 or l?
l
Let y be (2/6)/((224/(-30))/14). Is y smaller than 0.6?
T