Let z = -0.019 + -0.005. Let u = 0.324 + z. Is u less than -2/5?
False
Let t = -54539/5391512 + 5/2408. Which is smaller: 0 or t?
t
Let w = -0.343 + 4.343. Let o = 0.05 + 0.02. Let y = -0.53 - o. Which is greater: y or w?
w
Let y = 53 + -49. Suppose h + 4*v = -3 - 8, y*v + 16 = 0. Suppose -3*u + 8 = -0*u - h*n, -4*u - n - 20 = 0. Is u less than -5?
False
Suppose -6*q + 4*q - 13 = 3*p, -3*p - q - 11 = 0. Let g(r) = 3*r**2 - 7*r - 3. Let f be g(p). Is 43 at most as big as f?
True
Let j = -0.18685 + 0.18685. Is -130.4 smaller than j?
True
Let r be (((-2288)/198)/26)/(92/(-42)). Which is smaller: r or 0.1?
0.1
Let k = -2.8 + 0.88. Let d = k - -2.32. Which is bigger: d or -1.9?
d
Suppose -490 = -2*g + 2*l, 5*l = -4*g + 1437 - 493. Which is greater: 243 or g?
243
Let g be (7/14)/((-3)/(-12)) - 21. Let f = 177 + -182. Which is bigger: g or f?
f
Let q be -4 + (-13)/(-3) + 278/(-6). Suppose -16*g = 183 + 505. Which is smaller: q or g?
q
Suppose 13*p + 1271 = -861. Is -172 smaller than p?
True
Suppose -j + 217 = -2*o, 0*j + j = 4*o + 227. Suppose 0 = 2*u + 7*u - j. Is 113/5 smaller than u?
True
Let a = 9/10112 - 205867/4075136. Is 1 smaller than a?
False
Suppose 0 = -o - 2 + 9. Let k = 21 + -14. Let c(p) = -p**2 + 8*p + 4. Let s be c(k). Is s <= o?
False
Let b(c) = -2*c + 7. Let u be (9/(-18))/(2 + 26/(-12)). Let j be b(u). Let f be ((-3)/3)/j*-66. Are 1/2 and f non-equal?
True
Let v = -74.431 - 0.569. Let h = 79 + v. Is h greater than -3/4?
True
Let a(v) = -v + 31. Suppose 0 = -t - 0*t + 5*s - 32, -t + 8 = 3*s. Let f be a(t). Let k = -42 + f. Which is smaller: k or -7?
-7
Let n = -0.0082 + 535.0082. Let m = n - 563.7. Is m != 1?
True
Let v be (4/10)/(2/(-620)). Suppose -558 + 3174 = -8*j + 1624. Is v greater than j?
False
Let h = 4480 - 4481. Is h > -3564?
True
Let i be (-2)/16 + 237027/24. Let g = 276457/28 - i. Let a = g + 44/7. Which is greater: 5 or a?
5
Let t be 5997/11 + 6/(-33). Suppose -4*z - t = -125. Let g be (8/3)/(4 - (-434)/z). Which is bigger: -21 or g?
g
Suppose -1516 = 2*i + 4*n + 4676, 9295 = -3*i + n. Let w = i - -362468/117. Is w < -1?
False
Suppose -3*i + 4464 = i. Let d be (-1 + (i/364)/3)/(-1). Let k = d - -9/4550. Which is bigger: -1 or k?
k
Let a(c) = c + 1. Suppose 0 = 6*h + 95 - 5. Let r be a(h). Let k be 6/r*6/72. Is 0 smaller than k?
False
Suppose 17*o - 266 = 133 + 60. Suppose -28 = -2*z - 84. Let v = o + z. Which is bigger: -2/3 or v?
-2/3
Let y be 146/124 - 186/155. Is y > 1?
False
Suppose -1010*k + 1022*k = 0. Do 16/17 and k have different values?
True
Let l be 10 + -14 + 8 - (-42 + -1). Let z = l - 49. Which is greater: z or -4/3?
-4/3
Let f be 2*3/(-5) + 3. Suppose 145*s - 225 = 65. Which is smaller: s or f?
f
Suppose 2713*o + 60065 = 2508*o. Which is smaller: 4.3 or o?
o
Let c be 7993/(-19945) + 102/306 + (-2)/(-30). Which is smaller: c or 1?
c
Let a = -23.72 - 0.28. Let k = 30.2 + -5.2. Let c = a + k. Which is smaller: -6 or c?
-6
Let s be 1/(5/(-8028)) + (-3138)/7845. Are -1605 and s unequal?
True
Let u = 48 - 48. Suppose u = -f + 2*i + 39, 3*f + 177 = 8*f - 4*i. Which is smaller: f or 31?
31
Suppose -13150 = -11*d - 13139. Do -13/189 and d have different values?
True
Let s be (-295)/3*((-1469)/65 + 19). Is 359 smaller than s?
False
Let m = 124.6 + -119. Let x = 8.6 - m. Which is greater: -9/4 or x?
x
Let p(q) = 2*q**2 - 77*q - 16. Let x be p(39). Suppose -12 = -4*b, 0 = -n - 3*b - x - 6. Which is smaller: n or -40?
-40
Let p be (-19 - -1067)*14/112. Suppose 2*v - 390 = -v. Is v at most as big as p?
True
Let d be -28*(-172)/(-301)*3/2. Suppose -4*c = 49 + 47. Is c less than d?
False
Suppose 2*w - 95 = 10*w + 169. Suppose 3*a + 2 = -94. Which is bigger: w or a?
a
Let f(j) = 2*j. Let a be f(-1). Let p be 7*a/6*3. Suppose -64*n - 18 - 366 = 0. Is n smaller than p?
False
Let d(o) = -o**3 + 4*o**2 - 2*o - 2. Let b be d(3). Let j be b/(-6) - 457485/2070. Let h = j + 221. Are 0 and h nonequal?
True
Let r = 35752/5 + -7179. Let d(b) = -7*b - 20. Let u be d(-7). Let s = u + r. Are s and -1 non-equal?
True
Let k = 2.89 - 2.757. Let g = 0.0747 + -2.0747. Is g != k?
True
Let f = -756 - -777. Suppose 15*c + f*c + 36 = 0. Does -1 = c?
True
Suppose 4*m + 366 = 3*s, 25 = 2*s + 3*m - 202. Is -16 > s?
False
Let u(h) = -h**3 + 19*h**2 + 20*h + 27. Let v be u(20). Let t be (-10 + 8)/(6/v). Is t greater than or equal to -44/5?
False
Let o = 2.848 - 0.048. Let r = 0.8 - o. Which is bigger: 54 or r?
54
Suppose -1648 = -u - 2*k, -1078*u - 6579 = -1082*u + 5*k. Is u less than 2?
False
Let c be 2/(-7)*(-71526)/26. Does 785 = c?
False
Let u = 214.41 - -73.69. Is u less than 0.2?
False
Suppose -4*l = -4*k - 8, -2*l + 2*k = -k - 4. Let v be (l/(-5))/(6/60*-2). Suppose -v*m = 14 - 38. Is 11 at least m?
False
Let b be (-2)/(-4)*-11*-4. Let w = -580.42 - -584. Let m = w + -3.38. Which is smaller: b or m?
m
Let s = -4.93218 + -0.06782. Let c be 3/15 - 169/(-5). Let y be c/66 - (-6)/(-18). Which is bigger: y or s?
y
Let n = 1 + 0. Suppose 4*s - 52 = 2*f, -16 = 5*f - 4*s + 138. Let k be -5 + 2 + f/(-12). Is k at least as big as n?
False
Let b = -6.8306 + 49.7016. Let q = -0.129 - b. Let p be (-3 + 0)/(42/(-4)). Are p and q unequal?
True
Let o = -860 + 859.7. Which is bigger: -7/201 or o?
-7/201
Let r = -36551 + 100113188/2739. Is 1 equal to r?
False
Suppose 239 = -6*s - 73. Let h = s - -54. Let t be -1*(h - 0) - -3. Which is smaller: 1/7 or t?
1/7
Let l(a) = a**3 - 24*a**2 + 157*a + 28. Let j be l(12). Let v = 375 + -192. Which is smaller: j or v?
v
Let j be (3/(-2))/((-945)/15). Let b = 694827659/427899990 - -2/2037619. Let q = j - b. Which is bigger: -1 or q?
-1
Let h = -8645 + 8644. Is 0.36 less than h?
False
Let d be 1/(-1) - (2 - (-4)/(-1)). Let q be (10/(-160))/((-2 + d)/3). Let b = q + -43/16. Do -2 and b have the same value?
False
Suppose -5*w - 24 = -9. Let h = 0.080496 - 86.080496. Which is smaller: h or w?
h
Let t be (-1)/2 + 298/(-4). Suppose 0 = -71*v + 158*v + 6525. Is t bigger than v?
False
Let w = 53/5 - 1209/115. Let h(p) = -p**2 + 13*p - 26. Let u be h(3). Suppose 10*k - 9*k + u*m + 11 = 0, -2*k = -4*m - 14. Is k at most w?
False
Let w = 1963 - 382786/195. Suppose 2*o + 4*r = 6, 5*o = 6*o + 3*r - 5. Which is greater: o or w?
w
Let j = 273 - 509. Let p = -415 - j. Which is greater: -1/3 or p?
-1/3
Suppose -25*s = -11*s - 5*s - 1602. Which is smaller: s or 177?
177
Let v = 1678 + -1586.9. Let o = v - 91. Are -3.2 and o equal?
False
Suppose -261 = -2*w + 39. Let x = w + -1044/7. Let f = -7879 - -7881. Which is bigger: x or f?
f
Let z be 1622/(-170) + (-489)/(-815). Is z < -8?
True
Let v = 3600 + -3678. Is v less than -78?
False
Let c(q) = -21*q - 120 + 120. Let p be c(2). Let k = -45 - p. Is 1 at most k?
False
Let z = -1004/9 + 318286/2853. Let k = -1599/2219 + z. Suppose 2*a = -2*t - 3*t + 20, -4 = -4*a - t. Which is bigger: a or k?
a
Let t be 1 - (39/(-18))/(-1). Suppose 42*d - 45*d + 1 = -5*m, 0 = 3*m + 3*d - 9. Let c(p) = -2*p**2 + 6*p - 5. Let q be c(m). Which is smaller: t or q?
t
Let v = 7217 - 5177. Which is bigger: 0.2 or v?
v
Let j = -1660 - -1651. Let h = -54 - -47.8. Let y = h + 6. Do j and y have different values?
True
Let j = -3574 - -3570. Let c be (4 - 2)/(2/3). Is c < j?
False
Suppose 0 = 10*o - 6*o - 8*o. Is -1/2626 not equal to o?
True
Let b be (64/28)/(-8) - 12/7. Let m = -3 + b. Let o be 2/(-1) + (-1 - m). Does -0.17 = o?
False
Let k = 1901/9 + -211. Let z = 282 + -323. Which is smaller: k or z?
z
Suppose -11*x = 23042 - 1977. Let t be 2/11 + x/(-55). Let b = t - 32. Is b > -12?
True
Let l(h) = -28*h - 40. Let k be l(-6). Let a be (4 - k)/(-2) + -2. Let j = a - 59. Is j smaller than 2/35?
False
Let g be 5 + 2 + (4/5)/(4/210). Which is bigger: g or 29?
g
Let b = 373/42 - 2437/462. Does 3 = b?
False
Let t = 777 - 775. Suppose t*f + 23 = -39. Which is greater: -207/7 or f?
-207/7
Suppose 14*h = -452 + 256. Is -58 != h?
True
Let w = 12.405 + 0.095. Let y = -13.5 + w. Is 1/46 less than or equal to y?
False
Let p be (-15)/5 + (-3 - 14). Let i be 2/(p/175)*-2. Let b be 286/(-10) - (-21)/i. Is b != -29?
True
Let l(m) = -m**3 - 3*m**2 + 4*m + 4. Let b be l(-4). Suppose -51 - 89 = b*d. Suppose 0 = -10*a - 22 - 318. Is a != d?
True
Let x be (-93)/(-10540)*(-5)/(-207). Which is smaller: x or 0?
0
Suppose -58*g - 7684 + 28