/42)/(-5). Which is greater: 1 or m?
1
Let c = -138.703 - 0.297. Let s = -138.31 - c. Which is smaller: -1/4 or s?
-1/4
Let y = -4382 + 8750853/1997. Are 1 and y equal?
False
Let r = -9189 - -10344. Which is smaller: r or -7?
-7
Let l = -23.9 + 27.2. Let c = -0.7 - l. Which is greater: 0.14 or c?
0.14
Let o be ((-6)/5)/(2/(200/6)). Let q be (1 - 3/9)*(-1287)/44. Is q bigger than o?
True
Let c = -73 - -66. Let s = -10.15 - c. Let h = s - -3.2. Is 0.4 bigger than h?
True
Let d = -427 - -518. Suppose 95*n = d*n + 4. Let f = 316/45 - 7. Does n = f?
False
Let r(o) = -5*o + 234. Let a be r(0). Let g be 4/(-6)*a/(-12). Suppose -4*d = 4*z - 12, 2*z + z = -5*d + g. Is z bigger than -2/5?
True
Suppose 219 = 38*q + 257. Is 8/43 not equal to q?
True
Let t be (-13)/(429/22)*20/(-115). Suppose 6 = 4*k + 2. Which is bigger: k or t?
k
Let p = -4954/21 + 236. Let v be 2*(-4 + -5)/(-36). Is p at least v?
False
Let m be -308*4/(-152) + (675/(-95) - -7). Suppose 60 = -2*y + 7*y. Is y not equal to m?
True
Let g(v) = -6*v**2 - 19*v + 3. Let d be g(-14). Which is smaller: -905 or d?
d
Let f = -694/117 - -323131/54522. Which is greater: -1 or f?
f
Suppose -344 = 54*s - 2126. Let w be s/(-12386)*(-8)/30*-5. Is w != 0?
True
Let i = -0.0755 + 0.0255. Let b be 52/48*1*-3. Which is bigger: i or b?
i
Let z = 177407/4146 + 30/691. Let s = z - 41. Suppose 12 = 3*r + 3. Is r smaller than s?
False
Let s = -23585 + 23585.0047. Is s != 1/4?
True
Suppose 2*x + 3*x + 4*f = 5, 5*x + 3*f - 5 = 0. Let v be -15 - ((1 - x) + -3). Let g be ((-44)/v - 4)*0. Is g equal to -5/3?
False
Let f be 0*(-5)/(30/(-3)). Suppose -2*s + 3*p + 202 = f, -4*s - 102 + 496 = -p. Let a = 494/5 - s. Is a < 1?
True
Let l be ((-66)/(-3289))/((-3)/(-12)). Is l at most as big as 0?
False
Let d = -11881 + 12614. Is 2 greater than or equal to d?
False
Let u = -5250397/38820 + -2/9705. Let i = u + 539/4. Is i at least as big as 2?
False
Suppose 5*f = -3*b - 113, 0 = b + 4*f - 12 + 52. Let i be -12 - b - (2 - -1). Is 20 less than i?
True
Let t(x) = -2*x - 8. Let a = 7 + -2. Let i be t(a). Suppose -16 = 2*z + w + 15, -48 = 3*z + w. Which is greater: z or i?
z
Let a be 8*(-24)/32*-1. Suppose 0 = -t - 4*m - 97, -m - 390 = a*t - t. Is -80 >= t?
False
Let x = 21.00283 - 0.00283. Which is smaller: x or 38?
x
Let j = -10271 + 10258. Which is greater: 0.18 or j?
0.18
Let i = -1.2025 + 1.2346. Which is smaller: 0.1 or i?
i
Let u = 12109 + -12103. Which is smaller: u or -7?
-7
Suppose 0 = -8*y - 11*y - 19. Let r be 17/(85/(-20)) + 144/y. Which is smaller: r or 2/7?
r
Let c be (-26)/(-24) - 56/672. Which is bigger: c or 878?
878
Let a be 5/(-3) - 148080/(-89280). Which is smaller: a or -1?
-1
Suppose 2*l + 1 = 5*n, -6*n - 4*l + 11 = -3*n. Let z be (-3)/(15/(-20))*3/6. Let r be -3 + z + (-73)/(-15) + -4. Are n and r non-equal?
True
Let p be (-14)/(1*(-1)/19). Suppose -j - u = -3*j + 134, 4*j - 3*u - p = 0. Is j < 68?
False
Suppose -13*m + 70 = 83. Let l be (-4719)/(-26) + m/(-2). Is 181 >= l?
False
Let j = -18241 + 18238. Let o(v) = 0 - 2 - 7*v + 6*v. Let n be o(0). Which is smaller: j or n?
j
Let p = -6.65 + -0.35. Let s = p + 7.32. Let u = -83 - -83. Which is bigger: u or s?
s
Suppose 0*t - 2*t = 0. Let p be (-148)/(-111) + 593/(-438). Which is smaller: p or t?
p
Let j = -0.078 + -6.122. Let c = j + 1.8. Let u = c + 4.48. Which is bigger: u or -2?
u
Let a = 5667 - 5664.649. Let g = 0.051 - a. Let m = 3.1 + g. Which is bigger: -2/5 or m?
m
Suppose -4 = -3*i - h, -4*h = i + i - 16. Suppose -5*d = -i*d - 15. Suppose n - 4*v - 3 = d, -19 = -2*n + v. Which is bigger: n or 11?
11
Let x be ((-26)/6 + 3)*((-449064)/(-14))/(-6). Is 7126 < x?
True
Let q = 2905 - 3343. Which is greater: 2/7 or q?
2/7
Suppose -n - 1 + 0 = 0, 4*s - 10 = 2*n. Suppose -d - 3 = s*d. Let k be -3*4/84 + d/(-7). Which is smaller: -1/17 or k?
-1/17
Let o be (-107)/110 + ((-77)/14)/11. Let l = -8/11 + o. Is -1 less than l?
False
Let w = -943/2 - -471. Let m = -3 + 4. Which is bigger: w or m?
m
Suppose w - 3*w = -a + 69, 0 = w - 2*a + 33. Let u = w + 72. Suppose -3*o + 10 = u. Which is bigger: 0.2 or o?
0.2
Let b = 1/1932 - 323/1932. Let c = -3 + 2.2. Let q = c - 0.5. Is q >= b?
False
Let d be (704/(-55) - -12) + 1/((-10)/(-193)). Which is smaller: 0.5 or d?
0.5
Suppose -4*w + 1 = -4*d + 25, -4*w - d = -1. Let o be (-17)/(102/(-378)) - 3. Let c be ((-15)/o)/(((-2)/(-24))/w). Is 3/2 at most c?
True
Let m be (-884628)/(-144828) - (8 - 2) - 4/18. Do 0 and m have the same value?
False
Let p = -6 - -10. Let o = -153 + 156. Suppose -5*v - 2*d = o, p*v + 0*d - 3*d = 16. Which is smaller: -6/23 or v?
-6/23
Suppose 161*r - 196 = -38 + 164. Suppose -c + 3*c = 2. Is r less than or equal to c?
False
Suppose 342*s = 523*s + 486*s + 334834. Which is greater: -3516/7 or s?
s
Let i(p) = 5*p**2 + 313*p + 781. Let h be i(-60). Is 4.851 greater than h?
True
Let r be -4*(6*-1 - 243/(-36)). Let q = -32/9 - -62/9. Let c = r + q. Which is bigger: -7/5 or c?
c
Let w be (-2)/(-9) - (-23)/(3045798/(-29344)). Which is smaller: 0 or w?
0
Let z = -83 - -213. Suppose -134*p = -z*p - 4. Which is greater: 9 or p?
9
Let t be 17*-1 + (-92 - -109). Let n = -89.135 - -0.135. Which is bigger: n or t?
t
Let f be 1 + 6 + -4 + 24/(-6). Let p be (1 + (f - 4 - -71))/1. Is 205/3 greater than p?
True
Let s = 41 - -51. Let x = 188 - s. Which is smaller: 0.1 or x?
0.1
Suppose -2*f + 8*r - 3*r = 35, 0 = -f + 3*r - 20. Let y be 5 + f - (116 - 5)/(-1). Is 113 less than or equal to y?
False
Let s be ((-80)/60)/((-19)/3). Let i be (1*4)/2 - 3. Is i less than s?
True
Let j be (-40)/(-216)*(6 - (-570)/(-100)). Let q = -1 - -4. Suppose f = -5*w - 2 - q, 2*w + 2 = f. Is w not equal to j?
True
Let a(w) = -w**2 - 6*w - 5. Let g be a(-5). Let n be 3 + 337/(-144) - (-6)/(-27). Let z = n - 75/208. Which is smaller: z or g?
g
Let y be (10/(-15))/((-8)/(-12)). Let d be 1/7*(y + 2). Is 0 at most as big as d?
True
Suppose -4*p - 22 = 5*b, -3*b - 4*p + 12 - 30 = 0. Let n be ((5 - 2) + 7/b)*84. Is -42 less than or equal to n?
True
Suppose -673 = 4*j - 85. Let u be -3 - (j + (-2)/(-1)). Is 141 smaller than u?
True
Let n = -231 + 169. Let t = -62 - n. Are t and -0.94 unequal?
True
Let m(z) = -z**3 - 12*z**2 + 46*z + 16. Let s be m(-15). Let p be (-80)/32*s/10. Is p > -1.9?
True
Let t(x) = -38*x + 820. Let s be t(24). Is s at most -74?
True
Let o be ((-6)/24)/(19 + -20). Are o and -137 non-equal?
True
Suppose -4*i + 7 = -4*t - 5, 5*t - 5 = -5*i. Which is smaller: i or 25/41?
25/41
Let r = 9886 + -9886. Which is smaller: -1/2356 or r?
-1/2356
Let f(r) = -228*r - 4794. Let z be f(-21). Which is smaller: -1 or z?
z
Let u(o) = 2*o - 20. Let h be u(-2). Let b be (-6)/h - (-124)/(-656). Are b and -1 equal?
False
Let n be (-1)/(-4) - 330/(-24). Suppose -5*q - 1 = -4*s - 19, 5*s = 2*q - n. Which is smaller: q or -4/9?
-4/9
Let b(m) = 3*m**2 + 37*m - 49. Let r(d) = -d**2 - 17*d + 24. Let c(v) = -2*b(v) - 5*r(v). Let i be c(5). Which is smaller: 1 or i?
1
Let c(q) = -2*q**2 - 15*q + 274. Let f be c(-16). Let l be 1/1 + 11 + 3. Suppose 4*o - o - l = 0. Do f and o have the same value?
False
Suppose -413 + 90 = 4*o + 29. Are -626/7 and o nonequal?
True
Let r be 10/(-55)*-33*(-9)/((-18)/(-16)). Is r >= -194?
True
Let u = -2/196295 - 1552501/1374065. Does -2 = u?
False
Let h = -12.601 - -14.5. Let a = 0.101 + h. Do a and -16/5 have different values?
True
Let f = -18742633/1380 + 161395/12. Let k = f - -658/5. Are k and 1 non-equal?
True
Suppose -10*q + 108 + 112 = 210. Which is bigger: q or -17/322?
q
Suppose -2*r + 7 = 5. Let i be (-1)/(-7) + (-246)/(-84)*2. Let s be 157/44 + -3 - i/8. Which is smaller: r or s?
s
Suppose -23 = 2*t + 4*d + 55, 5*d + 117 = -3*t. Suppose -9*y - 779 = 10*y. Which is smaller: y or t?
y
Let z(r) = 3*r**2 - 3*r - 3. Let d be z(-1). Let i be (14/d)/((-6)/(-27)). Suppose 28*j = i*j - 266. Is j != -37?
True
Suppose -5*z + 470 = -5*s, s - 470 = 4*z - 9*z. Let p = 39 - z. Is p >= 0.1?
False
Suppose 118*v + 10 = 123*v, -17926 = -3*u + v. Which is bigger: 5977 or u?
5977
Let y = 23927 - 2871247/120. Is y less than 1?
True
Let f = 267/2 - 2175/14. Is -22 less than or equal to f?
True
Suppose 11 + 17 = 7*u. Let n(h) = -h - 34 + h + u*h - 2*h. Let y be n(15). Are y and -2 non-equal?
True
Suppose 27*o + 20 = 23*o + 4*z, o =