1 + -19.41. Is u at most as big as 0?
False
Let c be 1569920/(-699776) - 32/(-14). Suppose m - 4*o = -5, 0 = -2*m + o + 3 - 6. Which is greater: c or m?
c
Let m = -46/57 - -815/798. Let u(n) = n. Let c be u(-1). Let o be c - 4/(4/(-1)). Which is bigger: o or m?
m
Suppose -3*o - z + 281 = -296, -60 = 12*z. Is o at least 963/5?
True
Let j be (8/4 - 1)*1*-3. Let z be 1*((-3 - j) + 0) + 103. Let i = z + -144. Is -41 at most as big as i?
True
Suppose 0 = l - 4, 27*l - 26*l - 1888 = 4*h. Which is smaller: -469 or h?
h
Let m be (-2)/(-9) - 164/(-72)*-26. Suppose -126 = 2*n - 5*r + 4*r, -r + 4 = 0. Which is smaller: n or m?
n
Let h = 7656 - 7656.6. Let r = -58 + 31. Are r and h non-equal?
True
Let r be (((-8)/(-5))/((-120)/300))/(-4). Are r and 15/1166 equal?
False
Let p(m) = -2*m - 14. Let l be p(-5). Let x(i) = 2*i**3 + 5*i**2 + 3*i + 13. Let f be x(l). Let h = 41 + f. Are h and -17/3 unequal?
True
Let r = -25.8 - -238.8. Let d = -77 + 78. Which is greater: r or d?
r
Let n(s) = -s + s**3 - 7*s - 2*s + 20 + 2 - 7*s**2. Let j be n(7). Is j at least as big as -48?
True
Suppose -40 = -8*x + 4*x. Suppose -x*v + 6*v = -24. Suppose -3*n = -5*n + v. Which is smaller: n or 2?
2
Let x = -3553 - -3404. Which is greater: x or -2/7?
-2/7
Suppose 0 = 108*z - 109*z + 1. Let t be 1120/(-928) + (z - 0). Which is smaller: t or 1?
t
Let h be (77/7 - 7)*2. Suppose h*o = 36*o. Is 4/407 < o?
False
Let g(q) = 2*q + 5. Let v be g(-10). Let o be (3 - 1) + v/(-15). Let i be -5 + o + -4 + 4. Which is greater: i or -1/10?
-1/10
Let z be 38/6 - (-6)/(-18). Let t(k) = -6*k + 4 - 1 - 2*k + z*k. Let j be t(2). Which is smaller: j or 1/5?
j
Let m(z) = z**3 + 3*z**2 + 2*z + 1. Let b be m(2). Suppose b*u - 22*u - 114 = 0. Is 75/2 less than or equal to u?
True
Suppose -2*r - 2 = -4*c, 2*c + 4*r + 6 = -18. Let o be (5 - (-1 + 3)) + c. Let v = -12 + 11.88. Which is bigger: v or o?
o
Suppose 3024*p = 3051*p - 270. Let f = -159 - -1007/6. Is f > p?
False
Let r be ((3519/(-42))/17 - 9/(-21))*-2. Let l be 88/10 - -2 - 2. Is r bigger than l?
True
Suppose -16*y + 401 = 15985. Is -6809/7 >= y?
True
Let x = -41 + 163/4. Let g(s) = -9*s - 31. Let j be g(-3). Let k be ((j + 8)/(-4))/(-1). Which is bigger: x or k?
k
Let x = -38.094 + 0.094. Let h = x - -37.9. Let p be 2/(-13) + (-76)/(-156). Is p > h?
True
Let o be -3 + 10 - (3 + 1)/1. Suppose -o*x = 113 - 128. Which is bigger: x or 84/13?
84/13
Let h = -4887 - -9773/2. Is h at least -285.6?
True
Let n = -57.97 + -0.03. Let v = -27.774 - 2.226. Let l = v - n. Does -0.1 = l?
False
Suppose -39 - 11 = 5*n + 5*y, -40 = 4*n + 2*y. Suppose -3*q = 2*a - 40, 3*q - 26 - 74 = -5*a. Suppose 0 = -5*l - 40 - a. Which is greater: l or n?
n
Let k be (2947/(-56))/((-15)/30). Let w be -2 + 1 + -102 + -2. Let u = k + w. Which is greater: u or 38?
38
Suppose 27*v - 8 = 31*v, -326 = 3*r - 5*v. Let y be (r/7 + -2)*46/3. Is y > -275?
False
Let v = -1 + -2. Let u = 3 + v. Let k = 18616 - 18604. Is u < k?
True
Let d be (6/9)/(2 - (-440)/(-222)). Let m be (-49)/(-14)*(-2 + 1 + d). Which is greater: m or 2?
m
Let j = 11 - 15. Let c(g) = g**3 - 19*g**2 - 17*g - 19. Let k be c(20). Let w = -79/2 + k. Is j greater than or equal to w?
False
Suppose 68*f - 63*f + 4119 = -4*c, 3*c = -5*f - 4118. Which is bigger: -824 or f?
f
Let m be (-6)/(-18)*3/3. Suppose 140 = -4*j - 3*j. Let d = -145/7 - j. Are m and d non-equal?
True
Let d = -25399 + 25398.57. Is d greater than or equal to -88?
True
Let y = 2222.054 + -2222.254. Suppose 0*q + 8 = -2*q, -4*v - 5*q - 48 = 0. Let l be (0 - (-2)/(-10))*v. Is y not equal to l?
True
Suppose -d - 14*p + 10*p - 216 = 0, -33*p = -4*d - 864. Is -285 != d?
True
Let n(w) = -w**3 - 6*w**2 - 2*w - 7. Let v be n(-6). Let f = 52 - v. Suppose 12*s = 3 + 573. Do f and s have the same value?
False
Suppose 2*l = -4*s, -4*s + 2*l + 328 = 336. Which is smaller: 9/640 or s?
s
Suppose 0 = 2*i - 21 + 9. Let m be (-22)/i - 3/((-6)/(-2)). Let d = m - -1/3. Which is smaller: -5 or d?
-5
Suppose 2*t = -4*b + 168, -5*b + 37 = -4*b + 3*t. Suppose 3*g - 4*s - b = -0*s, -4*g + 5*s = -58. Is g less than 16?
False
Suppose -71 + 2442 = 5*o - 2*b, 0 = -3*o + 5*b + 1434. Is -12 greater than o?
False
Suppose 3*j + 3 + 18 = 0. Suppose 508 = -2*i + 492. Which is bigger: j or i?
j
Let k = 2153 - 1467. Let i = 4828/7 - k. Which is bigger: 5 or i?
5
Let h = -2367 + 66267/28. Let v(q) = -2*q**2 + 36*q - 61. Let s be v(16). Let c be s*5/30*-2. Which is smaller: c or h?
c
Let i be -4*(1641622/116600 + 4/50). Which is smaller: -58 or i?
-58
Let b = -215 + 211. Let h be (b/(-30))/(16/(-20)). Suppose -3*k - 2*k = 2*v - 19, 3*k = -2*v + 13. Is v at most as big as h?
False
Let f be -8 - ((-50)/3 - -5 - -4). Which is smaller: 3/14 or f?
f
Let c(b) = b**3 + 15*b**2 - 20*b - 52. Let l be c(-16). Let g be (-418)/33*(-6)/4. Which is bigger: l or g?
g
Let q(h) = 0*h**3 + 9*h**2 + 4 + h - h**3 - 1. Suppose 90*l + 22 = 2*t + 89*l, -2*t + 34 = -4*l. Let b be q(t). Which is bigger: 14 or b?
14
Let k = -552.4 - -552.4. Which is smaller: -430.9 or k?
-430.9
Let d be 2 - -1*(-12)/(-4). Suppose d*g - 4*s - 105 = 0, -5*g + g - 5*s + 43 = 0. Suppose -5*k + g = -2*a + 6, 3*k - 5*a = 18. Is 4 greater than or equal to k?
True
Let u = 1.658 - 1.758. Is u less than or equal to 1550/9?
True
Let s = -7 + 10. Let x = 10090 - 90779/9. Which is bigger: x or s?
x
Suppose 0 = -p + 4*n + 154, 6*p - 864 = 20*n - 16*n. Is p less than 152?
True
Let w(z) = -z**3 + 9*z**2 + 13*z - 18. Let x be w(10). Let d be (-1)/3 + 4684/x. Let n = d + -14821/38. Are 1 and n equal?
False
Let z = 971.45 + -971.1. Which is greater: z or 45/7?
45/7
Let u(r) = -67*r - 1733. Let g be u(-30). Is g <= 279?
True
Let x = -16.46 - 2.34. Let b = 21 + x. Let r = -2.1 + b. Do 0.8 and r have different values?
True
Let x(a) = -4*a**3 + 1. Let k be x(-1). Suppose -k*p = 3*q + q, 0 = q + 3*p. Let t be q + 0 - 14/(-2). Is t < 7?
False
Let y = -27/11 - -313/132. Suppose -3*t + 12 = 0, -5*n = -3*n + 3*t + 10. Let v = n - -12. Which is smaller: y or v?
y
Let t(z) = -z**2 + 141*z - 862. Let g be t(6). Does -49 = g?
False
Let r = 1633 - 803. Which is smaller: r or 825?
825
Suppose -4*y = -3*u - 187, -4*u - 5*y + 7*y - 236 = 0. Let t be u/38 + (-2)/(-4) - 59. Are -60 and t nonequal?
False
Suppose 26*d - 33 = 29*d. Let j = d + 11. Let n be (-6)/(j - 2) - 2. Which is greater: n or 0?
n
Suppose x + 3*i = 2*x + 61, -2*i + 57 = -x. Let a = x - -83. Suppose 0 = -4*w - 3*t - a, -w + 3*t - 6*t - 13 = 0. Is -8 >= w?
False
Let o(r) be the third derivative of r**6/120 - r**5/60 + r**4/24 - 70*r**2 + 2*r. Let t be o(1). Which is smaller: t or 2/61?
2/61
Let x = -9873 - -29620/3. Let a = 0.0176 - -541.9824. Which is greater: a or x?
a
Let w be 2/(-4)*(-2)/(-6). Let r = -462 - -989. Let i = r + -526.7. Is i != w?
True
Suppose 54 + 13 = -2*j + 3*t, 0 = -3*j - 4*t - 109. Which is bigger: j or 47?
47
Let s = 14430 + -14945. Is -495 >= s?
True
Let w = -7.1 + -35.3. Let s = w - -49.4. Which is smaller: 5 or s?
5
Let y = 11369 - 11337. Which is greater: y or -1/18?
y
Suppose 3*u + 15 + 45 = 4*p, 5*p - 29 = -2*u. Which is bigger: p or 56?
56
Let n(h) = -43*h + 1330. Let l be n(31). Which is smaller: -344 or l?
-344
Let k = 0.8 - 0.77. Let a = 62 - 57.72. Let s = -6.28 + a. Which is greater: s or k?
k
Suppose p - 1 = 3*t, -3*p + 3 = -17*t + 16*t. Which is bigger: -1/1037 or p?
p
Let f = -23.5 + 11.5. Let v = -19 + 8. Let n = v - f. Which is smaller: n or -22?
-22
Suppose -2*k = 14, 5*y - 1590 = -5*k + 675. Do y and 460 have the same value?
True
Let h(r) = 2*r - 2. Let g be h(3). Suppose 54 + 94 = g*a. Suppose 0 = 2*q + n - 70, 4*q + n - 83 - 61 = 0. Is a at most as big as q?
True
Suppose -5*s + 8*s - 21 = 0. Suppose -c = 5, -3*d - 2*c = -0*c + s. Let i be (680/80)/(0 - d/2). Is -18 < i?
True
Let a(k) = k**2 + 9*k + 9. Let z be a(-7). Let o = 10602 - 10594. Which is smaller: o or z?
z
Suppose 0 = q + 4*l + 170, 977 - 199 = -5*q + 4*l. Let x = q - -23. Is x less than -136?
False
Suppose -10*m - 1780 - 150 = 0. Let r = 194 + m. Let b be 6/(-3) + 4/2. Is r not equal to b?
True
Let x(q) = q - 3. Let y be x(19). Suppose 194 = -y*b - 94. Let f be (-9)/b + 50/(-101). Is f at least as big as -1?
True
Let s = 200 + -608/3. Let g = -145 - -147. Let h be g*(0 + 3/(-2)). Which is smaller: h o