2 + 37*b + 14. Let l be q(-6). Is 727 >= l?
False
Let t be (11/(-341))/(18/(-279)). Let j = -0.1 - 0.1. Is j > t?
False
Let j = -4 + 2. Let c = 43557 + -43599. Is j equal to c?
False
Let m = 27.0801 - -0.0199. Let q = m - 6.1. Let t = q - 8. Is t greater than 2/9?
True
Let a(p) = 5*p**2 - 15*p - 31. Let t be a(-3). Which is greater: 62 or t?
62
Let v(o) = 10*o**2 - 7*o + 329. Let m be v(-10). Which is bigger: m or 2/3?
m
Suppose 0 = 3*f - 5*f + 420. Let b be (172/(-10) + 0)*1200/f. Let g = b - -98. Which is bigger: g or 3/2?
3/2
Let p be 4*-107 + (-15 + 3 - -15). Is p <= -4674/11?
True
Suppose 264 = 4*p + 2*h, -5*p - 5*h - 278 = -9*p. Let q = p - -24. Let n = -91 + q. Which is smaller: n or 2/9?
n
Let x = 1969 + -1957. Is 236/19 > x?
True
Suppose -5*g = 2*q - 7 - 27, 0 = 3*g. Let y(o) = -18*o**2 + 593*o + 48. Let d be y(33). Which is bigger: d or q?
q
Suppose 4*m - 92 = 8*m. Let v be 37/(-8) + 5 - (-366)/(-16). Which is smaller: m or v?
m
Let p = -700 + 455. Let g = -195 - p. Which is bigger: g or 51?
51
Let y be 2022/501 - (-11)/(66/(-24)). Is 0 at least y?
False
Suppose 50 = 2*z - s, 4*z = 9*z + s - 111. Suppose 21*m - 2376 = z*m. Let d be m/(-45) + (-6)/15. Is 25 less than d?
True
Let x = -0.524 + -94.476. Let w = x + 95.1. Let y = 27/2 + -13. Which is smaller: y or w?
w
Let w = -1017169/21 - -48376. Which is smaller: -62 or w?
-62
Let o be -4*4/(2 + 2)*4. Let d be (o/(-32))/((-118)/120 - -1). Suppose d = m + 5*m. Is m < 2?
False
Let s = 2597 - 2598. Which is smaller: s or 1/3272?
s
Let q be ((-23)/7 + 3)/(212/371). Is -0.0287 smaller than q?
False
Let b = 18516 + -18113. Is -7 greater than b?
False
Suppose -130*q + 55520 = -226190. Which is smaller: q or 0.3?
0.3
Let l be (55/20 - 5)/(((-165)/(-2592))/11). Is l smaller than -389?
False
Let g be (-2)/(-6) - 8/(-3). Let f be 0 + 2/8 - (-2795)/260. Suppose -2*m - u - f = -0*m, 5*m = g*u - 22. Which is smaller: m or -6?
-6
Let v be 18/24*48/(-27)*-3. Suppose -2*f - 2 = v*m - f, 0 = 2*m + 4*f + 8. Which is greater: -2/225 or m?
m
Let z(s) = -4*s + 34. Let i = 247 + -237. Let c be z(i). Is 19 equal to c?
False
Let t = 75 - 73. Suppose 0 = n + t*n + 4*s - 322, -3*s = 3*n - 321. Is 105 > n?
False
Suppose 11*d - 11 = 10*d. Suppose -d*m = 5*m. Let c be (612/(-330) - -2)*10. Is m less than or equal to c?
True
Let q = 83 + -63. Suppose -3*p = -10 - q. Let d be (-324)/225*p/3. Which is smaller: -4 or d?
d
Let f = 879/473 - 76/43. Is 50 >= f?
True
Let f be (-1 - -2)/((-18)/(-660)). Let t = f + -37. Suppose -236 = -5*m + m. Which is greater: t or m?
m
Let o(k) = 9*k + 11. Let r = 22 - -38. Let n = r + -63. Let q be o(n). Which is bigger: q or -14?
-14
Suppose 0 = -6*y + 3*y - 6. Let c be 3 + y + (-2)/10. Let v = -921 + 923. Which is greater: v or c?
v
Suppose 2*y - 20 = 7*y. Let p be 19 + 10 + 4 - (2 + -2). Is p < y?
False
Suppose 2*v = -632*p + 635*p + 866, 319 = -p + 5*v. Which is greater: p or -313?
p
Let x = 91 - 87. Suppose 3*a - 2 = x. Suppose a*r - i = -3*i - 6, i = 3*r + 5. Which is smaller: 11 or r?
r
Let x = -33553345/2112 - -15887. Which is greater: -1 or x?
x
Suppose 2*k - 24 = 5*n, -4*n - 1 = -6*k + 7*k. Suppose f + k*t - 4*t = -4, 0 = -f - 4*t - 7. Let r = 75/92 - -3039/1012. Which is smaller: r or f?
r
Let x(f) = -f + 26. Let m be x(12). Suppose -4*k = -3*a - 13, 0 = -k + 5*k - 2*a - m. Suppose g + r + k = -g, -g - 2 = -5*r. Is -4/7 smaller than g?
False
Let u be 2/(-9) + 2822/(-18). Let w = 49090 - 49246. Are w and u unequal?
True
Suppose -4*h - 2*v - 2 = 0, 3*v + 11 + 4 = 0. Let p = -27 - -13. Let c be ((-30)/40)/(9/p). Which is smaller: c or h?
c
Let q = 67 + 512. Let p be ((-8)/q)/((-18)/(-27) + 0). Which is smaller: -1 or p?
-1
Let r = -3944 - -3943. Which is greater: r or -55/76?
-55/76
Let q = 114 + 69. Let t = 1585 - 1401. Is q >= t?
False
Let x be -3 - (-8)/1 - (3 + (-5910)/(-2960)). Which is smaller: x or 0?
0
Suppose -41*l + 4721 = 3599 - 8226. Are 1600/7 and l non-equal?
True
Let t be (-6)/2*-12*(-3)/(-108). Is 1/7136 less than or equal to t?
True
Let f be (-2)/16*204/(-51). Let s = -0.824 + 335.824. Do s and f have the same value?
False
Let z = 7462 + -7546. Which is bigger: -54 or z?
-54
Let g = 2807.016 + -2807. Is g < -1.1?
False
Let n be (1 - (-62)/6)/(4/(-18)). Let x = n - -54. Suppose 4*o + 5 = -y, 2*y + 3*y + 2 = x*o. Do -2/159 and y have different values?
True
Let k = -42.98 + 41. Let s = k + -0.32. Let z = -0.5 - -0.5. Which is smaller: z or s?
s
Let s(v) = 16*v - 569. Let h be s(36). Is h less than 6.03?
False
Let n = 992 + -992.01. Is n >= 43.1?
False
Suppose -190*d - 90000 = -172*d. Is -5002 at most d?
True
Let p = -10.2 + 42.2. Let c = -1 + 32. Let x = p - c. Which is smaller: x or -3/2?
-3/2
Let k be (-2)/((-16776)/3746) - 4984/11214. Suppose 0 = 3*f - f. Which is bigger: f or k?
k
Let u = 159024 - 50092607/315. Let k = 11/45 + u. Which is smaller: k or 0?
0
Let j = 2157 - 981437/455. Let t = j - 10459/1365. Let q = -5162 + 5155. Which is smaller: q or t?
t
Let l be (-99)/(-231) + (-1 - 3506/504). Let p = l + -5/36. Which is smaller: -8 or p?
-8
Let z = 29.9231 + 1.0769. Which is smaller: z or -244?
-244
Let z = 636 + -452. Suppose 36*d - 44*d = z. Suppose 1 = -3*s - 62. Is s greater than d?
True
Suppose 6 = -6*o + 4*o. Suppose -3*a = -4*q - 20, -8 = -18*a + 17*a + 2*q. Which is smaller: o or a?
o
Let g = 4889570/33 - 148194. Let k = g - -76/3. Is -1 less than or equal to k?
True
Let k = -268.54 - -265. Let m = k + 27.54. Which is smaller: 2/7 or m?
2/7
Let y = 61957/2 - 30983. Is y != 590?
True
Let s(h) = 13*h + 73. Suppose 3*a = -a - 4*v - 12, 4*v = -2*a. Let f be s(a). Are f and -5 non-equal?
False
Let i = -8.34 - -8.4. Let l = -3.16 + i. Let z = -3.16 - l. Are -0.1 and z equal?
False
Let r = 1/10474 - 230543/1204510. Are 0 and r equal?
False
Suppose -7*y - 12 = -5*y. Let c be 72*(y*(-4)/(-8))/1. Let s = c - -1942/9. Is 0 > s?
True
Suppose -i + 5*t + 24 = 0, -6*t = -5*i - t + 40. Suppose 2*p + 45 = -b, 10 = -b + i*p - 17. Which is smaller: b or -3?
b
Suppose -h - 3*t - 2 = 0, -3*h + 3 = 2*h + 2*t. Let l = -5.25 - 181.75. Let m = l + 189. Which is bigger: m or h?
m
Let v = 2.0615 - 2.1615. Let s = -135 + 213. Is v <= s?
True
Let p = 551 - 464. Suppose 128 = -5*c - p. Is c > -43?
False
Let n = -28675 - -28673. Are 3/1177 and n nonequal?
True
Let f = 115.477 - 3.757. Let o = 0.28 + f. Do o and 1 have different values?
True
Let w(y) = -326*y - 150. Let b be w(4). Is b >= -2907/2?
False
Suppose -a + 36*s = 33*s + 26, 5*a = 3*s - 70. Which is smaller: a or -18?
-18
Let k = 360 - 377. Let v = -37 - -21. Is v smaller than k?
False
Let f(j) = -3*j**2 + 193*j + 89. Let t be f(78). Is -3111 not equal to t?
True
Let n = -2.0818 - 20.9182. Which is smaller: -61/4 or n?
n
Let a be ((-3)/44)/((-1261)/165288) + (-2)/(-13). Does 9 = a?
False
Let d be 734/1101*(-18)/(-28). Which is smaller: d or -437/4?
-437/4
Let k be (-31)/(1085/(-560)) - -5. Suppose 4*t + t = x + 1, 0 = 2*t - 4. Which is smaller: k or x?
x
Suppose 0 = q - 4*q - a + 32, -3*q - 3*a = -24. Let r be (-4 - -14) + -3 - -26. Suppose -5*o = c - q - r, -10 = -2*c. Which is greater: 11 or o?
11
Suppose 3*y = y + 5*r, 0 = -2*y - r. Suppose -7*k + 16 - 9 = y. Let z = -5 - k. Is z > -4?
False
Let y = -2.277 - 3.723. Which is smaller: 48.7 or y?
y
Let t be -112 + 105 + 495/70. Suppose 0*y + 3*k + 1 = -y, 0 = -k. Is y < t?
True
Let f = 2/17089 - 19651/21891009. Which is bigger: 0 or f?
0
Let t be (3 - 30)/((-13146)/(-112)). Which is smaller: t or 0?
t
Let n(g) = g**2 - 2*g + 2. Let l(o) = 7*o**2 - 61*o + 5. Let v(r) = -l(r) + 2*n(r). Let a be v(14). Is a at least 0.1?
False
Let f = 28 + -9. Suppose 4*i + f = 51. Let d(n) = 4*n - 32. Let o be d(i). Are 4/17 and o nonequal?
True
Let k = 263.6 - 332.6. Let s = -70.34 - -1.84. Let w = k - s. Which is bigger: w or 0.1?
0.1
Let n be (-74)/(-3047)*325/(-10). Let y = n + -8/277. Which is smaller: 0 or y?
y
Let w be ((-1180)/(-80) - 14) + (-59)/4. Which is smaller: -589/43 or w?
w
Let j = 102.03 - 102. Is j greater than 0.36?
False
Suppose 146*w - 22*w = 97305 + 163467. Which is smaller: 2102 or w?
2102
Let t = 54 + -15. Suppose -5*b = -3*g + 2*g - 53, 0 = 4*b - 5*g - 55. Let l = 29 + b. Is t at most l?
True
Let n = 3 + -2. Suppose 0 = -2*v - 3 + n. Let w be -9 - -1 - (-2 - (-