alse
Let q = -7.7 + 8. Are q and 36/11 equal?
False
Let z(k) = k**2 - 6*k + 8. Suppose 16 = 4*t, 4*t - 24 = -6*v + 2*v. Let n be z(v). Which is smaller: 13 or n?
n
Let y = 54135042795211 + -456683219999264951/8436. Let d = -726269/6 + y. Let l = d + 1/148. Is l >= -1?
True
Let f = -0.046 + -25.954. Let m = 25.83 + f. Let y = 4.17 + m. Which is bigger: -1 or y?
y
Suppose 4*q - 2*r + 4 = 6*q, q - 3*r = 2. Let p be 9/(-2) - (-6)/12 - q. Is p greater than or equal to -2?
False
Let i(b) = -b**2 - 13*b - 6. Let f be i(-5). Let c = -34 + f. Which is smaller: 3/17 or c?
c
Let p be (-240)/50 + 5 + 2/(-10). Is p greater than or equal to 2/113?
False
Let x = -242674/1611 + -1716/179. Let t = -160 - x. Which is bigger: 2 or t?
2
Let w be (1956/60)/((-8)/10 + 2). Let k = w + -68/3. Is k smaller than 6?
True
Let o = -1.94 + -0.06. Let v = 2.15 + o. Let c = -0.06 + v. Which is smaller: -1 or c?
-1
Suppose 4*f + 2 = -a, -3*a - 6 = 2*f - f. Suppose -2*k = -6*k - 48. Let l be (-6)/k*2/6. Which is greater: f or l?
l
Let d = 1.306 + 5.794. Is 0.02 > d?
False
Let y = 921 + -915. Is y > 58?
False
Let o(i) = i**3 - 5*i**2 + 5*i + 2. Let h be o(4). Let j = h - 5. Let f be 44/112 + (-1)/7. Does j = f?
False
Let u = 23.291 + -23.4. Are 0.1 and u non-equal?
True
Let m = -0.41 - -0.41. Let q = 0.8 + m. Which is greater: -0.1 or q?
q
Let a = 44.03 - 1.03. Let c = -41.7 + a. Which is smaller: 0 or c?
0
Let m = -519 + 518. Let x be 2 - ((-72)/(-14) + -3). Which is greater: x or m?
x
Let m = 289629/26 - 11142. Is m <= -3?
False
Let l = -708 - -708. Suppose 0 = -2*s - 29 - 27. Which is smaller: l or s?
s
Let m = -71.23324 - -0.04324. Let g = 71 + m. Are -1 and g nonequal?
True
Suppose -5*v = -23*c + 18*c + 10, c = 5*v + 26. Are v and -84/17 equal?
False
Let k(q) = 17*q**3 + 3*q**2 - 18*q + 9. Let z(s) = 8*s**3 + s**2 - 9*s + 5. Let g(m) = 6*k(m) - 13*z(m). Let o be g(5). Is o at most -90?
True
Let q = -22 + 27. Suppose -q*m = -m - 44. Is 11 at least as big as m?
True
Let l = 31.9 - 64.9. Let j = 60 - 31. Let n = l + j. Is n at least -0.3?
False
Suppose 43*w = 39*w - 200. Which is greater: w or -39?
-39
Let d = -218.02 + 229. Let v = 11 - d. Let u = -0.02 + v. Which is greater: 1 or u?
1
Let s(w) = w**2 - 18*w + 47. Let j be s(15). Suppose v - 3 = 4*i, 0*i = -3*v - j*i - 5. Which is greater: -2/141 or v?
-2/141
Let k(g) = 6*g + 21. Let c be k(0). Suppose 0 = -5*i - 4*f + c + 11, -14 = -2*i - 2*f. Is i smaller than -2?
False
Suppose -3*k - q = -19, k = -4*q - 0*q + 10. Let p be -1*(k + -1)*-1. Does 3 = p?
False
Let h be (((-30)/25)/6)/((-2)/(-14)). Let r = h - -19/10. Which is smaller: 0 or r?
0
Let d = 4 - 3. Let g = 0.04 + -0.1. Let j = 5.06 + g. Which is smaller: j or d?
d
Let n = -452 - -454. Let u = 2/1065 + 10624/13845. Which is smaller: n or u?
u
Suppose -36 = 15*d - 11*d. Which is greater: 0.09 or d?
0.09
Let h be 0/(((-8)/2)/4). Let w = 0 - h. Let o(v) = v + 1. Let t be o(w). Is t at least 2?
False
Let o = 31.09 - 66.09. Let i(w) = -2*w - 4. Let y be i(-3). Which is smaller: y or o?
o
Let k(p) = -p**3 + 6*p**2 - 5*p - 7. Let v be k(5). Let o(s) = -s**2 - 9*s + 4. Let j(u) = -u + 4. Let g be j(14). Let m be o(g). Is v at most m?
True
Let x be (66/(-8))/3 + 1. Suppose 5*z - 14 = 3*u, -u + 3*u + 7 = z. Let t be (-3 - -2)/(z/3). Is t at most x?
True
Let c = -135 - -134.6. Which is greater: -0.7 or c?
c
Let t = 6380 + -38095/6. Which is greater: -2 or t?
t
Suppose 14*u - 12*u = -14. Let j be (-2)/9*3 - u/15. Does j = 0.1?
False
Suppose 4*l + 2 = 2*l. Let q = 42.94 + -43. Which is bigger: l or q?
q
Suppose 5*u - 5 = b, -2*b = 19*u - 16*u - 3. Which is smaller: u or -4/337?
-4/337
Let y(a) = 7*a**2 + 1. Let u be y(1). Suppose -4*k + u = -0*k, 9 = -l + 4*k. Which is bigger: -16/7 or l?
l
Let u = 2/639 + -215/639. Which is smaller: -16.3 or u?
-16.3
Let d = 322 - 330. Is 1 > d?
True
Suppose -29*r + 14*r - 1545 = 0. Let z = r - -103. Suppose -2 + 3 = i. Is z smaller than i?
True
Let n = -6231/23 + 271. Suppose 0 = -v + 3*v - 30. Suppose -j + 3*w = j - 13, -3*w - v = 0. Which is greater: j or n?
n
Let b be -4*(-9)/(3/1). Suppose 3*x = 4*t - b + 4, -t - x = 5. Let o be 1/((-2)/6) - -1. Are o and t unequal?
True
Let o = 106 - 79. Let t = -55 + 81. Which is greater: t or o?
o
Let y = -396.05 + 367. Let s = 29 + y. Do 2/9 and s have different values?
True
Let x be 618/412*(-3)/((-27)/2). Which is smaller: 5/9 or x?
x
Let d = -0.1 - -0.1. Let k be (-1 - (-18)/15)*(5 - 4). Is d bigger than k?
False
Let q be (-228)/36 - 20/(-6). Which is greater: q or -1?
-1
Let a = 30 + -28. Is a at least as big as -7.2?
True
Suppose -2*t = -t + 60. Does t = -60?
True
Let y = -23 - -12. Let n = y - -14. Let f be n/(-2) - 6/(-8). Is 4 greater than f?
True
Let d be -458 - 10/(90/9). Are d and -458 unequal?
True
Let y = 1 - -16. Suppose 5*d - 13 - y = 0. Which is bigger: 33/7 or d?
d
Let z = -27.2 - -1.2. Let q = -30 - z. Is q less than 6?
True
Suppose 2*i + 4280 = -3*i - 5*k, 0 = -2*i - 4*k - 1712. Is i <= -856?
True
Let p = 2312 - 16078/7. Let g = p + -1053/70. Do g and 1 have different values?
True
Suppose 3*i - 4*k + 11 = 0, -i - 3 = -9*k + 8*k. Is i greater than -1?
False
Let x = -0.0365 + 0.1865. Let v = 2.15 - 2. Let b = v - x. Which is bigger: b or 3?
3
Let p(v) = -v**3 - 10*v**2 - v + 42. Let l be p(-10). Let b = -52 + l. Let y = -10/99 + -82/495. Do b and y have the same value?
False
Let y = -3 - 14. Let r be -2*(y/2 + -1). Suppose r = -l - n, -3*l - 4*n = n + 67. Is l smaller than -13?
True
Let n = 2.05 - 2. Let m = -0.045 - 0.305. Let o = m - n. Which is bigger: 1/4 or o?
1/4
Let x = 183 + -617. Let p be x/336 + (-4)/(-6). Which is bigger: -2 or p?
p
Let z = 0.1384 + 16.5616. Which is smaller: -1/6 or z?
-1/6
Let u = -67094/5 + 13464. Is 45 at least u?
False
Let z be (36/15)/(2 - (-24)/(-15)). Is z <= 1?
False
Suppose 0 = -2*a + a, 120 = 4*y + a. Let g be 40/y + 10/(-3). Which is bigger: -10/3 or g?
g
Let x be (-1)/(-3) + (-2)/(-3). Suppose 0 = -5*q + 5*d, 3*q + 4*d = 8*q - x. Let g be ((-14)/(-12))/(-1 + 2). Which is smaller: q or g?
q
Suppose 3*i = 1 + 5. Let u be (1 - i) + 0/(-3). Which is greater: u or 1/30?
1/30
Let p = -66 + 124. Let l = 67 - p. Which is bigger: l or 7?
l
Suppose 37*o + 10 = 42*o. Let i be o*(1895/630 + (-1 - 2)). Is i > 0?
True
Let p = 127164886/2233 + -56948. Is p > 1?
False
Let k(t) = -t**2 - 1. Let w(v) = -3*v**2 - 12*v - 4. Let z(m) = -5*k(m) + w(m). Let n be z(6). Is -1/10 < n?
True
Suppose 0 = 3*p + p + 24. Let f(x) = -x**2 - 5*x + 7. Let l be f(p). Let t = 6 - 8. Which is smaller: l or t?
t
Let g be (-5 + (-217)/(-63))*78/16. Let c = 29/4 + g. Is c > 0.046?
False
Let z(i) = 3*i**3 + 6*i**2 - 12*i - 2. Let d be z(-3). Let r be (1/2)/(5/(-110)). Let o = r + 18. Are d and o equal?
True
Let h be (-2)/4*(-2 - 48/(-18)). Which is smaller: h or -120?
-120
Let f = 4.1 - 2.6. Let k = f + -1.4. Which is smaller: -1/2 or k?
-1/2
Let v(f) = -f**3 + 7*f**2 - 7*f + 5. Let d be v(6). Let j be (d + (-20)/(-8))*(-2)/(-3). Is j bigger than 1?
False
Let v = 51 + -83. Let t = v - -33. Is t less than 0.8?
False
Let w = 1378 - 1378.1. Let d = -280 + 5882/21. Which is bigger: d or w?
d
Let g = -715.9068 + -0.0932. Is g < 2?
True
Let q(a) = -3*a**2 - 2*a - 1. Let y be q(-2). Let z(o) = -o**3 + 2*o**2 + 6*o + 3. Let m be z(3). Let b = m + -19. Is b > y?
True
Suppose 3*k = 3*v + 4*k + 98, 88 = -3*v + 4*k. Let r be (-1470)/48 - ((-5)/8 + 1). Are v and r unequal?
True
Let v be (-86)/(-147) - 4/6. Let p be (2/98)/((-9)/(-216)). Let z = p - v. Is z less than 1?
True
Let g be 0 + (-4)/(-22) + 0. Let f be -9 - (-9 - (0 - -1)). Which is greater: f or g?
f
Suppose 0 = -k + r - 8, 3*r = k - 0*r. Which is smaller: k or 6?
k
Suppose 15 = -2*t + 7*t. Let f(q) = q**2 + 2*q + 1. Let d be f(-3). Suppose 5*m - 3 = -0*k - t*k, 4*k = -5*m + d. Which is smaller: -2/9 or k?
-2/9
Let g = -8/5 - 33/20. Which is smaller: g or -4?
-4
Let i = -25.9 + -5.1. Let y = -274 - -238. Let g = i - y. Which is smaller: -1 or g?
-1
Let a be 5/5 - (-2)/(-4). Let u = 3976 - 823013/207. Let x = u - -3/23. Which is bigger: x or a?
a
Let h = 594 - 332. Is h at least as big as 262?
True
Let v be (-9)/(324/6920) - (-2 - -6). Let b be (1 + 2)/(3/196). Let a = v + b. Which is bigger: -3 or a?
a
Let j be 1/((-460)/315 + 2/(-18))