True
Let v be (-273)/(-26) - 1/(-2). Let g = v + -10. Which is smaller: 7 or g?
g
Let i = -0.037 - -5.237. Let n = 5 - i. Let g = 0.02 - -0.03. Are n and g nonequal?
True
Let m = 1.69 - 1.89. Are m and 37 equal?
False
Let n = -824/10509 - -4/93. Do n and -1 have the same value?
False
Let k(l) = -15*l - 23. Let h be k(-9). Which is smaller: h or 113?
h
Suppose 4*l + 2652 = 2612. Which is smaller: l or -25/9?
l
Let b = 1783/9 + -198. Let c = -6 + 7. Which is bigger: c or b?
c
Let o be (-44)/(-18) - (-5 + 98/21). Is 2 smaller than o?
True
Let g = -1734381934769/10812 + 160412683. Let c = 30/53 + g. Which is bigger: 1 or c?
1
Let v = 10/2363 + 1734392/11815. Is v != 148?
True
Let o = -325 + 326. Are 8/45 and o equal?
False
Suppose r = 45*r - 880. Which is greater: r or 0.14?
r
Suppose 3*c - 133 + 484 = 0. Which is smaller: c or -119?
-119
Let y be (-105)/90 - (-2)/4 - -1. Let b(m) = -m**2 + 5*m + 7. Let d be b(6). Let r be d - ((-9)/7 + 2). Is y bigger than r?
True
Let j be (-1 - 17)*(-1 - -1 - 1). Let s be j/81 + ((-832)/(-45))/(-4). Let o = 1 + -5. Is o at least as big as s?
True
Let b be (-200)/(-6) + (3 - 1). Let d = 35 - b. Let c = -1037 + 1040. Is c > d?
True
Suppose 2*c - 3*o + 41 = 0, 0*c - 3*o = 4*c + 91. Is -18 >= c?
True
Let s = -158 - -157. Does 1/830 = s?
False
Let f = -17 - -30. Suppose 15*l - f*l = -4. Let r be ((-6)/(-9))/(4/(-6)). Which is smaller: l or r?
l
Let n = 16 + -32. Let i be (-955)/(-35) + 2/(-7). Suppose i = 3*t + 78. Which is greater: n or t?
n
Let o be (-5228)/60 + -3 - (-2)/15. Let i be ((-1)/3)/1*(-54)/o. Which is smaller: i or 0?
i
Let q = -9.04 - -9. Let y = q + 0.01. Is y greater than -2?
True
Let s be (-10)/(-14)*450/(-1125). Let x = -0.7 - -0.4. Let k = x - -0.5. Is s greater than k?
False
Let w = 6 + 2. Let l(y) be the first derivative of -y**4/4 + 10*y**3/3 - y**2/2 + 19*y + 6. Let f be l(10). Is f not equal to w?
True
Suppose -5*z - 5*f - 53840 = 0, z = -2*f - 2*f - 10783. Let h = 96967/9 + z. Is h at least 10?
True
Suppose -t = 4*i - 91, 5*t - 8*i + 5*i - 363 = 0. Are t and 74 equal?
False
Let a = -369 + 445. Which is greater: a or 82?
82
Let o = -391 - -374.7. Let s = 26.3 + o. Is s at least -2?
True
Let x be -1 + ((-30)/(-3))/(-1). Is -11 at least x?
True
Let z = -14.15 - 408.85. Which is bigger: z or 0?
0
Let g(s) = 9*s**2 + 96*s - 4. Let u be g(-7). Is -235 bigger than u?
False
Let a(n) = -2*n**3 + 4*n**2 - 7*n - 16. Let p be a(-4). Is p >= 204?
True
Let j = 1 + 1. Suppose b - 2*s = -s + 2, 3*b = -j*s + 11. Suppose 0*q = 3*q + b. Which is smaller: -0.2 or q?
q
Let h = -4 + 10. Suppose h*g + 26 = 206. Is g at most 0.1?
False
Let r(n) = -4*n - 2. Let s be r(-1). Let m(q) = -q**3 + 7*q**2 + 7*q + 11. Let f be m(8). Are s and f equal?
False
Let u be 365/7 + (-4 - (-11 - -7)). Is u < 51?
False
Let v(g) = -2*g + 2. Let h be v(3). Let l be (10/h)/((-3)/(-6)). Let z be (-9)/3*l/(-95). Which is greater: 0 or z?
0
Let f = 28 + -26. Suppose -2 = -2*p + f. Suppose -4*y + 4*o = -o, -p*o = -2*y. Which is greater: y or 8?
8
Let w = -180 + 5579/31. Suppose 0*i = 5*i. Are i and w nonequal?
True
Let u = 379 - 376. Which is smaller: 2/5 or u?
2/5
Let o = 82 + -305. Are -223 and o unequal?
False
Let h = -2505 - -2696. Is h less than or equal to 8?
False
Let t(m) = -71*m + 853. Let w be t(12). Is 18/209 equal to w?
False
Suppose -64 = -0*z - 4*z. Suppose -z = -v + 4*i, 1 = 3*v + 4*i - 47. Suppose -3*h + v = -5. Is 6 greater than or equal to h?
False
Let k = -0.376 - 0.024. Let m = k - -0.47. Which is bigger: m or 1?
1
Suppose 3*h = 2*l + 24, -2*l = 2*h + 3*l - 16. Let v be 72/(-48) + 10/h. Is 9 smaller than v?
False
Suppose -6*s - 53 = -53. Is s bigger than 2/89?
False
Let q be (-6)/(-4)*(-1014)/117. Is -22 >= q?
False
Let f(o) = o**3 - 4. Let k be f(2). Suppose 3*m - 1 = k*m. Let p be m/4 + 306/(-216). Which is greater: p or -1?
-1
Suppose 3*v - 453 = -2004. Is -516 greater than or equal to v?
True
Let x = -2378 - -582608/245. Which is bigger: x or 0?
0
Let t(x) = -17 - 1 + 3*x + 5. Let n(m) = -2*m + 6. Let j(q) = -5*n(q) - 3*t(q). Let k be j(-8). Is k greater than 0.4?
True
Let g be (-2)/(-6) - (-21)/(-9). Let o be (-1)/(1 - (-3)/g). Suppose 5*a - 3*h = -7*h - 15, 0 = 4*a + 3*h + 11. Is o at most as big as a?
False
Let v be -1 + 6 + (-3*31 - -2). Does -86 = v?
True
Suppose k + 5*p = -20, 2*k + 12 = -4*p - 4. Do k and -4/287 have different values?
True
Suppose -2*h + 16*d = 13*d - 3, -h = -2*d - 1. Which is smaller: 14/9 or h?
14/9
Let f be 4/(-14) - (114/42 - 0). Let k be -4*((f - -4) + 0). Which is smaller: -19/6 or k?
k
Let a be (1872/(-30))/(-24) - (3 - 0). Which is bigger: a or 2360?
2360
Let j(t) = 25*t**2 + 126*t + 4. Let i be j(-5). Is i < -7/3?
False
Let i(s) = -s - 6. Let d be i(-6). Which is smaller: d or -2/227?
-2/227
Let t = 3/64 - -7839/704. Is t less than 12?
True
Let v be (-1)/6*(-72)/(-54). Which is greater: 2/21 or v?
2/21
Suppose 0 = 4*z - 4*s + 72, 126 - 39 = -5*z + 2*s. Is -19 at most z?
True
Let y = 5/47 + -196/517. Suppose -6 = 2*d - 5*d. Let t = 1 - d. Which is greater: t or y?
y
Suppose 4*x + 39 = 5*q, 2*q - 6 = -0*q. Let m be (-4)/x - (-16)/(-6). Let g be 18/28*21/(-18). Is m <= g?
True
Let o be (-26)/4 + -1*(-24)/16. Which is smaller: -7/2 or o?
o
Let g be 139812/(-120)*-1 + 1/(-10). Which is smaller: 1166 or g?
g
Let o = -111 - -180. Let d = o - 51. Is d less than 2/5?
False
Suppose 55 = 5*b + 200. Is -6 equal to b?
False
Let d be (-8 - -6)/((-2)/15). Let m = d - 9. Let g be (-1 - 0 - -7) + -2. Which is greater: m or g?
m
Suppose 0 = -4*j - j + 5, 3*j + 7 = -5*a. Let s be (-8)/78 - a/6. Suppose -4*i = 4*f + 20, -4*f = 13 + 7. Which is smaller: s or i?
i
Let v(t) = -t**2 - t - 4. Suppose -15 = 6*o - o. Let g be v(o). Let a be ((-2)/g)/((-132)/55). Which is smaller: a or -2?
-2
Let i(j) = 5*j - 4*j - 6*j. Let p be i(-1). Suppose 0 = 2*k + 6, 3*k + p = g - 12. Is 13/2 greater than g?
False
Let x = -0.0201 + 0.3101. Is -5 at least x?
False
Suppose -5*x + 6 + 5 = -h, -2*x = 5*h - 26. Suppose -y = h*v - 3, 0 = 2*y + 3*y - v - 15. Which is greater: y or 21/5?
21/5
Let x be 3 - (-1 + 5)/(-4). Let h(u) = 2*u - 6. Let s be h(x). Suppose 5 = w - d, -4*w + 15 = -s*w + 3*d. Which is smaller: w or 4?
4
Let n = -907/18 - -458/9. Do n and -0.45 have different values?
True
Suppose 4*l - 4 = 0, 5*x - l - 106 = -22. Let u = -23 + x. Let z be -2 + 3 + -3*2. Are z and u equal?
False
Let v = 16.7 - 0.7. Let i = -45 + 28. Let j = v + i. Are j and 3 unequal?
True
Suppose -731 + 2623 = -43*x. Which is smaller: -343/8 or x?
x
Let q(l) = l**3 + 2*l**2 + 2*l - 1. Let g be q(-2). Suppose 0 = 3*z - z - 46. Suppose 3*p - 4*b = 11, z = -3*p - b + 9. Is p <= g?
False
Let x be 6/4*(6 - 5192/852). Is x < 0?
True
Let z(l) = l**3 - 13*l**2 + 7*l - 24. Let d be z(11). Is -191 greater than or equal to d?
False
Let m = 1202 - 1192. Is -9 < m?
True
Suppose h + 4 = -2*z, 0 = -2*h + z + z + 4. Suppose 2*w + 4 = h, 4*g + 2*w + 8 = -0*g. Which is smaller: -34 or g?
-34
Let t = 1.392 + -0.392. Do 1 and t have different values?
False
Let q = -0.1928 + -9.7172. Let r = 0.09 - q. Let t = r - 5. Is t at least as big as -2?
True
Let z = 81 - 74. Suppose 20 = z*m + 20. Which is smaller: -1/9 or m?
-1/9
Let y(f) = -3*f + 3. Let a be y(4). Let c(q) = q**2 - 12*q - 8. Let b be c(13). Let z(h) = h**3 - 4*h**2 - 10*h + 17. Let w be z(b). Which is greater: w or a?
w
Let z(b) = 4*b**3 + 2*b**2 + 8*b + 9. Let j be z(-2). Is -31 >= j?
True
Let a = -1/678 + 1421/44070. Which is greater: 0 or a?
a
Let w(q) = -5*q - 27. Let k be w(-14). Let o = 42 - k. Which is bigger: o or -6/19?
-6/19
Suppose -4*p - 18*c - 460 = -22*c, -2*c = 2*p + 218. Which is greater: -114 or p?
p
Let g(m) = -m**2 - 9*m - 14. Let l be (-4 + 1)*3/3. Let a(i) = -i - 10. Let q be a(l). Let s be g(q). Which is greater: -4 or s?
s
Let w(y) = -y**3 + y**2 + 1. Let u be w(-4). Suppose 0 = 4*f - 3*c - 5 - 70, f - 2*c = 20. Let d be (-4)/f + (-1359)/u. Which is smaller: -16 or d?
d
Let f = 471 - 331. Let v be -2 + (-1 - f/(-4)). Suppose 0 = 20*h - 753 + 113. Is v equal to h?
True
Let q be 3/(-21)*2*-7. Let p be 4 - 12/(6/q). Which is bigger: p or 1?
1
Suppose 2*y - 9 = 1, 2*k = 4*y + 88. Suppose -3*h - k = 18. Which is smaller: -22 or h?
h
Let j be (-24 - -28) + 7 + 2. Let v = 3 + -2.9. Do