ual?
False
Let x = 88 + 15. Let t be -2 + x/(-104)*-2. Let h = t - -161/260. Which is greater: -2 or h?
h
Suppose 4*a = 4*m - 44, 5*m = 5*a + 2*m + 49. Let t be (2/(-5))/(a/20). Let h = 0.8 + -0.77. Which is smaller: t or h?
h
Let c(y) = -y**2 + 2*y - 10. Let z be c(5). Let k = 27 + z. Let g be (k + -1)/(-5) + -1. Which is bigger: g or 0.2?
0.2
Let x be -144*(1698/(-198) - -8) + -6. Is x != 76?
True
Let d be 9 + 2/(4/(-6)). Suppose -9*q = -d*q + 3. Is q less than 4/9?
True
Let l be (-53)/(-17) + (-16)/136. Let t be 12 - l - (7 + -3). Let f be (3/(-3) - 2) + t. Are f and -2/31 nonequal?
True
Let j = -2 - -5. Suppose -25 - 23 = -j*q. Suppose 5*x - x = -q. Is x smaller than -4?
False
Let l be (-1)/2*(-3 - -1). Let s be 1/((-47)/(-3 + 2)). Is l less than or equal to s?
False
Let i = 16.92 + 20.54. Let l = -37 + i. Let y = l - 0.16. Is -2 > y?
False
Let v = 8 - 14. Let c be 2/v*(-6 + 6). Let t = 635/11 - 58. Which is bigger: t or c?
c
Let g(w) = -w - 3. Let f be g(-6). Let j be f + 0 - 1/((-22)/(-114)). Is j at most -2?
True
Let k = 45 + -39. Let u(m) = m**2 - 2*m - 17. Let y be u(k). Which is greater: y or 8?
8
Let c(w) = -w**3 + 2*w**2 + 3*w + 1. Let t be c(3). Let p = 1011.2 + -1012. Which is smaller: p or t?
p
Suppose -r + 8 = r. Let o be 1/2*r/(-7). Let z be 1*0*7/(-42). Do z and o have the same value?
False
Suppose 6*h = 162 - 18. Are h and 0 non-equal?
True
Let t(s) = s + 6. Let i be t(-5). Suppose i + 5 = -3*o. Let x be (o/14)/(9/(-18)). Is -1/4 > x?
False
Let n be 2/((-96)/9 + 2). Let z be ((-15)/6)/(5/40). Let c be z/(-24) - 2/(-12). Which is greater: n or c?
c
Let b(y) = y**3 + 3*y**2 + y - 3. Let l be b(-3). Let g = l + 5. Let i(d) = 2*d + 1. Let x be i(g). Is x less than or equal to -6/5?
False
Let g = -138 - -138. Does 56/13 = g?
False
Let d = -67 + 66.96. Which is bigger: 2/337 or d?
2/337
Suppose 6*p - 8*p + 16 = 0. Which is bigger: p or 11?
11
Let j = 2011226 + -2558279329/1272. Let h = -2/159 - j. Suppose 13 = -7*b + 13. Is b <= h?
False
Let u = 7/21862 + 40619547/153034. Which is greater: 265 or u?
u
Let s(j) = -j**3 - 3*j**2 - 3*j - 2. Let f be (-1 + (7 - 3))*-1. Let o be s(f). Let u(n) = -n**2 - 8*n - 5. Let a be u(-7). Which is bigger: o or a?
o
Let h = 356 + -357. Let f = -13/3 + 62/15. Is f <= h?
False
Let u be (-42)/4 + ((-459)/(-18))/(-17). Is -16 < u?
True
Let k be (-140 + 1)/((-2)/6). Let x be k/54 + (-8)/36. Are x and 8 equal?
False
Let c = 0.4 - 0.3. Let r = 0 + c. Suppose 3*w = 9*g - 5*g - 28, w = -g - 7. Which is greater: w or r?
r
Let f = 0.118 + -0.018. Which is smaller: f or 0.76?
f
Let i be ((-5)/2)/(1/2). Let z = 3985/4 - 1001. Which is smaller: i or z?
i
Let i(d) = d**2 + 11*d + 15. Let t be i(-10). Let l(u) = -u**2 + 5*u + 2. Let z be l(4). Let k(v) = -v + 7. Let a be k(z). Is t less than a?
False
Let b = -3/166 - -132/415. Let f = b - 1/2. Let y be 10/(-8) - (-4)/16. Which is smaller: f or y?
y
Let y = 675.31 - 675. Does 2/7 = y?
False
Let h = 45 - 26. Let x = 35003 + -1925292/55. Let f = x - -21/11. Which is greater: h or f?
h
Suppose -3*b = -3*x + 18, -2*x - 4*b - 25 = -7*x. Is 1/969 != x?
True
Let c = 10 + -9. Let b be 5/2*c*-6. Let g be (-25)/b - 1*2. Is g bigger than -2/3?
True
Let f = 207 - 206.95. Which is smaller: f or -2/25?
-2/25
Suppose 0 = b + 2*k + 12, -5*k - 38 - 7 = 5*b. Suppose -h = -2*h - 5. Is h greater than or equal to b?
True
Let v = -153 - -508. Is 354 > v?
False
Suppose 21*x + 20 - 41 = 0. Let c = -1033 + 71275/69. Is c equal to x?
False
Let q(a) = 3*a + 15. Let x be q(-5). Do -1/68 and x have the same value?
False
Let h(c) = -c**2 - 6*c + 2. Let b be h(-6). Let v be 86/16 - (0 + 4). Let d = -5/8 + v. Are b and d equal?
False
Suppose 0 = -2*c + r + 6, 3*c + 5*r + 10 = 8*c. Suppose -4*w = -i + c, 3*i - 12 = -8*w + 3*w. Is w <= -6/23?
False
Let t = 2 - 2. Let l = 92 + -105. Let b = l + 11. Is b >= t?
False
Let c = 155.2 - -675.8. Do c and -0.1 have the same value?
False
Let x = -1.254 - -2.254. Is 0.689 at most as big as x?
True
Let b = -76252/17 + 4487. Does 1 = b?
False
Let a = 1.2 - 3.3. Let s = 2.2 + a. Is 0.2 smaller than s?
False
Let h = 72 - 75. Suppose 0*x + 2 = 3*x - 4*k, 5*k - 5 = 0. Let j be 2 + -2 + -1*x. Do j and h have the same value?
False
Suppose -b + 3 = h, 4*b - 4*h + 0 = 4. Suppose 20 = 4*t, -2*c + 4*t - 6*t + 20 = 0. Which is bigger: c or b?
c
Let c be (-1848)/(-187) + (-1)/(34/(-4)). Suppose s + c*s - 99 = 0. Suppose d - 4 + 21 = 5*u, -3*d + 4*u = -4. Which is greater: d or s?
s
Suppose 9*j = 10*j + 6. Let k be (-9)/6*(-8)/j. Is -11 bigger than k?
False
Suppose -5*m = -25 - 10. Let b be -1 + m + -2 + -2. Let n(f) = 9*f - 7. Let j be n(1). Is b at least j?
True
Let n = -313 + 313. Is 0.7 greater than n?
True
Suppose 4249 = 6*r + r. Let s = -5473/9 + r. Is s at least as big as -2?
True
Let w be (-12)/8*4/(-3). Suppose w*v = -0*v + 100. Suppose 0 = g + 4*g - v. Do g and 0 have different values?
True
Let x = 37 - 21. Suppose 0 = -9*j + x*j - 154. Is j less than or equal to 22?
True
Let p be (-12)/9 - (-1)/3. Let w = 6 - p. Let f be ((-3)/2)/(3/(-16)). Are w and f unequal?
True
Let a(w) = -4*w. Let l be a(-3). Suppose 3*p - 9 = 0, 0 = -5*c - 3*p + 6*p + 51. Is l less than c?
False
Suppose -5*c - 13 = -4*c + 3*s, -4*c - s = 8. Does -2/37 = c?
False
Let u be (1/2)/(1/(-6)). Let q be (u/(-4))/((-1)/4). Let y = 11/42 - 3/7. Are q and y equal?
False
Let s(r) = r**3 - 6*r**2 + r - 2. Let q be s(6). Let y be (69/18)/1 + 6/9. Is y smaller than q?
False
Let t(q) = 2*q**3 + 18*q**2 + 26*q + 60. Let z be t(-7). Suppose -p + 0*p = -74. Is z > p?
False
Let f = 1.073 - 0.373. Which is smaller: f or -0.045?
-0.045
Let f be (-38)/(-133) - ((-2)/(-7))/1. Which is smaller: f or 1/213?
f
Let t(s) be the first derivative of s**2/2 + 4*s - 2. Suppose -d - 9*d - 30 = 0. Let r be t(d). Are -4/15 and r non-equal?
True
Let x = -33/332 + 72541/1660. Let d = x + -44. Suppose 4*n + 9*n = 7*n. Which is greater: d or n?
n
Let d(y) = -y + 4. Let s be d(5). Suppose -69 = 4*v + f, v + 0*v - 4*f = -13. Let k be s - (-1 - 0) - v. Which is smaller: k or 18?
k
Let s be (-2 + 2)*-1 + 0. Suppose s = 2*n - 3*n + 12. Let m(l) = 8*l - 36. Let u be m(6). Is n >= u?
True
Let b = 8.64 - 8.64. Which is smaller: 6/91 or b?
b
Let b be 6 + -11*40/70. Suppose 0 = -4*i + 212 - 84. Is b <= i?
True
Let w = 2914 + -431267/148. Which is bigger: w or -1?
w
Let o be -1 + 6 - 6 - -157. Which is smaller: o or 1?
1
Let c = 778 - 658. Is 119 equal to c?
False
Suppose -r + q = 8, -83*r = -79*r - 5*q + 32. Which is bigger: r or -71/8?
r
Let h(t) = -2*t**2 + t. Let s be h(-1). Let g = s - -5. Suppose 0*p - g*p + 20 = 0. Is p at least 10?
True
Suppose 18*b - 7 = 47. Which is smaller: 5 or b?
b
Let x be ((-66)/44)/(9/1230). Is x less than or equal to -205?
True
Suppose 2 - 6 = -4*r. Let t be r + 0 + 2 + 3. Suppose -4*y = -5*y + 5. Is y at most as big as t?
True
Suppose -8*j + 12*j - 12 = 0. Suppose 0 = 2*s + 1 - j. Which is greater: 14/11 or s?
14/11
Let b be (11/(-2) - -2)/((-9)/(-18)). Let r = 3 + b. Is r not equal to -4?
False
Let o = -50 - -38. Let b(z) = -z**3 - 12*z**2 - z - 13. Let u be b(o). Which is bigger: u or 4?
4
Let b(g) = g**2 - 8*g + 2. Let x(u) = -5*u - 41. Let m be x(-10). Let n be b(m). Which is greater: n or 9?
n
Let n(f) = -2*f**2 - 18*f - 36. Let d be n(-3). Let j be 3/((-478)/4 - 2). Which is smaller: d or j?
j
Let h be ((-2)/6)/(-1 + 6). Suppose 0 + 45 = -5*n. Let t be -1 - -4 - 3*(-6)/n. Which is smaller: t or h?
h
Let v be (-16)/3*(-6)/4. Let b be 13/36 - 2/v. Suppose -2*o - w = 2*o + 9, -2*o = 3*w + 17. Which is smaller: b or o?
o
Let x(r) = -r**2 + 11*r - 13. Let h be x(2). Suppose 0 = -h*o + 7*o - 32. Is 16 <= o?
True
Let h be ((-1)/2)/(-8*4/(-3776)). Is h smaller than -60?
False
Let n = 94620 + -287595. Let q = -60787061/315 - n. Let f = 2/105 + q. Is f < 2?
True
Suppose -3 = v + 10. Let w = 40.81 - 41. Let d = -0.09 - w. Is d >= v?
True
Let w(i) = i**3 + 7*i**2 + 9*i + 1. Let l be w(-6). Let o be 1/((-1)/(-3) - (-140)/(-357)). Does o = l?
True
Let g be -3 + (4 - 0) + 5. Suppose 0 = -g*s + 3*s. Let q(d) = d**3 + 2. Let r be q(s). Which is greater: r or -0.07?
r
Let y = -59 + 58. Let u be (-4 - y) + 288/78. Is 1 greater than or equal to u?
True
Let a = -1236 + 1237. Is a less than or equal to -19.2?
False