 u or 1?
u
Let r = 0.2391 + -0.0491. Let l = -18/13 - -116/65. Is l less than r?
False
Suppose -12 = 27*u - 30*u. Suppose -4*r = 2*f - 15 + 5, u*r - f - 19 = 0. Is r not equal to -3?
True
Let m be (-8)/(-18) + -2*(-13379)/(-306). Is m >= -85?
False
Suppose 19*k = 15*k - 24. Let r be (16/48)/(11/k). Is r <= 0.1?
True
Let f(j) = -17*j + 530. Let n be f(31). Which is smaller: n or -10?
-10
Let k = 1966 - 1968. Is -1/356 at least as big as k?
True
Suppose 148 = 3*z + z. Suppose 0 = 5*q - z + 27. Suppose -q*k = l + 8, 5*l - k - 4*k - 5 = 0. Which is smaller: l or -1/2?
l
Let z(p) be the third derivative of p**6/120 + p**5/60 - 2*p**3/3 + 2*p**2. Let d be z(0). Let o = -321 + 318. Is o < d?
False
Let p = -5105/8 - -639. Is p <= 2?
True
Let x be ((-4)/(-18))/((-56)/24 - -2). Let k be 0 + (0 + -2)/(-2). Let n be -3 - (k*-4 - -2). Is n < x?
True
Let f = 3 + 4. Let c be 3/(-3) - (-57 - 0). Let w be (c/(-12))/((-4)/6). Is f greater than or equal to w?
True
Let h = -555 + 803. Is 0.1 bigger than h?
False
Let o be (-174)/(-24)*(-20)/(-3). Which is smaller: o or 49?
o
Let f be 6 - (3 + (-6)/3). Suppose f*x - 2*t - 4 = 0, -t - 2 = 3*x - 0*x. Do -4/11 and x have the same value?
False
Let i = 6.4 - -0.8. Let z = -7.2 + i. Which is smaller: 17 or z?
z
Suppose 0 = -35*o - 313 + 348. Which is bigger: -1/2479 or o?
o
Let k = 145/4 - 36. Suppose 2*d = 3*b + 4, 3*b + 4*d - 8 = 4*b. Let r be b/(((-12)/(-3))/2). Which is smaller: r or k?
r
Suppose -10*s + 31 + 79 = 0. Which is bigger: 7 or s?
s
Let u(l) = -l**2 - 17*l + 5. Let m = 27 - 44. Let f be u(m). Which is greater: 6 or f?
6
Let o be (3 + (-5 - -4))*13. Let p be (-8 + 9)/(2/o*1). Which is bigger: 2 or p?
p
Let c be (-12)/78 + 271/(-13). Let r = 19 + c. Let t be 124/8 + (-1)/r. Is t at most as big as 17?
True
Let l = -0.02 + -0.98. Do l and -2 have different values?
True
Suppose 144 = -2*g - 2*g - 4*m, 3*g + 133 = 2*m. Let l = 41 + g. Which is smaller: l or -5/4?
-5/4
Let n = 3320 - 23176/7. Which is greater: 9 or n?
n
Let g = -343 - -330.6. Which is greater: g or 1?
1
Let t(j) = -5*j**3 - j**2 + 31*j - 152. Let m be t(6). Which is smaller: -1080 or m?
m
Let y be (-5)/(-6)*((-39)/(-15) - 1). Let k = -5.4 + 0.4. Let t = 5.1 + k. Which is bigger: t or y?
y
Let i(p) = 2*p**2 + 12*p - 11. Let x be i(5). Is 99 < x?
False
Let i = -1.04 - -0.85. Let t = i - -0.09. Is 11 less than t?
False
Let g(w) = w**2 - 6*w - 13. Let x be g(7). Let o be 5/x - 33/(-22). Is -1/3 smaller than o?
True
Let o be (-30)/(-18)*-3 - -464. Which is bigger: o or 458?
o
Let j be -15*(32/(-6) + 4). Suppose -28 - j = 3*p. Let u be -4*(-4)/(p/18). Is u at least as big as -18?
True
Let j be ((-6)/12)/(8/(-32*111)). Which is greater: 665/3 or j?
j
Suppose 7*u = -4*u + 231. Suppose y + 32 = -u. Which is smaller: y or -52?
y
Let f = 19.559 + 0.081. Let b = f + 0.36. Let j = 19.8 - b. Which is greater: 6 or j?
6
Let a = -18 - -26. Let t = -7.93 + a. Let m = t - 0.06. Which is smaller: -2 or m?
-2
Suppose -5 = 5*c, -3*c - 83 = -l - 23. Let x = l - 41. Which is bigger: x or 14?
x
Let y = -37277/39 - -956. Which is bigger: y or -1?
y
Let x = -309 - -308. Let w be (1/3)/((-13)/(-6)). Which is smaller: w or x?
x
Let f = -30 - -67. Suppose 5*w - f = 4*t + 23, 2*t + 2 = -w. Which is smaller: w or 10?
w
Let t = -92 + 96. Suppose -8*i = -4*i + x + 11, 4*x = t. Which is bigger: -5 or i?
i
Let x = -172 + 121. Let c = 50 + x. Do -1/14 and c have different values?
True
Let d = -30 + 30.32. Let b = 1.68 + d. Is b < 0?
False
Let q = -274 + 3019/11. Which is greater: 0 or q?
q
Let b(r) = r**2 - 9*r - 26. Let w be b(10). Let l be (1*(-3)/(-24))/((-52)/w). Which is bigger: 1/4 or l?
1/4
Let p be (-2)/9 + (-628)/9*1. Is p < -69?
True
Let r = 110.68 - 108.68. Let d = -16 + 32. Suppose -2*k + d = 3*x, -2*x = 2*x + 5*k - 26. Which is smaller: x or r?
r
Let b(n) = -4*n + 133. Let d be b(33). Is d less than or equal to -2/569?
False
Suppose -53*g + 5947 = 18773. Is -242 at least as big as g?
True
Let d be -6*2*(-3)/(-6). Let m(q) = q + 6. Let k be m(d). Suppose 7*z - 4*z + 9 = k. Which is bigger: z or -15/4?
z
Suppose 0*p + 3*p = 0. Suppose p = -4*r + 8*r - 12. Let h be (78/(-2))/r*2. Is -26 equal to h?
True
Suppose -280 = 20*f + 60. Which is smaller: f or -26?
-26
Let q be (-32)/(-6)*(-72)/(-96). Suppose 3*d = -q*a + 4, 2*d + 2*d - 2 = -2*a. Let u be (2 + -1)/((-3)/2). Is u at most as big as d?
True
Suppose -b - 7 = 2*y - 0*b, -10 = 5*y + b. Let l(z) = z**3 + 4*z**2 - 2. Let x be -4 + -5 + 2 + 3. Let v be l(x). Which is bigger: v or y?
y
Let b = 0.8 + -0.9. Let y = 2.2 + -2. Is b > y?
False
Let d(h) = 2*h + 50. Suppose 4*y = o - 84, -y - 8 = -3*o + 6*o. Let n be d(y). Which is smaller: 8 or n?
8
Let q = -0.058 - -38.058. Let s = q - 40. Which is smaller: s or 2?
s
Let i be (12/(-477))/((-60)/(-630)). Is i at most as big as 1?
True
Suppose 0*i + 4*h = -4*i + 8, 3*h - 6 = 2*i. Is i <= -185?
False
Let r be (3 - (7 - 4)) + 6. Suppose -11 = -5*t - r. Which is bigger: t or -1/11?
t
Let z = 13.15 - 13. Let o = z - -9.85. Let v = o + -15. Is 0 >= v?
True
Let n = 9/110 - -1/10. Is n greater than 6/43?
True
Let d be ((-874)/6 - 1) + (-23)/69. Is 1/4 less than or equal to d?
False
Let v = -493 + 494. Does 59 = v?
False
Suppose 4*d - 161 = v, -2*d + 14 = -3*v - 69. Let i = 40 - d. Which is bigger: i or -11/8?
i
Let s = -798 + 797.76. Which is smaller: s or -0.9?
-0.9
Let x(z) = z**2 + 22*z - 47. Let n be x(-24). Which is greater: -58 or n?
n
Suppose 1357 = d - 6*d - q, 2*q + 810 = -3*d. Are d and -271 unequal?
True
Let v = -67 - -83. Which is smaller: v or 20?
v
Let z(y) = 104*y**3 + y**2 - y. Let i be z(1). Let l be (-4)/i*8/10. Let d be (-2)/(6/9) - -4. Which is smaller: l or d?
l
Let y = -10 - -16. Suppose -d + y*o = 2*o + 7, d = 2*o - 1. Let n be -1*3*6/(-3). Are d and n nonequal?
True
Let s be (96 - 0/1) + 0 + -5. Is s < 91?
False
Let i = 16 - 14. Suppose -2 = 4*v + 2*u, 2*v - 3*u + u - 14 = 0. Is v smaller than i?
False
Let b = 5 + 0. Let l(i) = i**3 - i**2 + 3. Let t be l(0). Suppose 8 = t*c - 10. Is c at most as big as b?
False
Let l = 52.2 + -52. Let t = 34183/7 + -4858. Let f = 25 - t. Which is smaller: f or l?
f
Let i = 1.6 - 7.6. Let f be -3*((-4)/4 - 2). Let r(k) = -k**3 + 9*k**2 - k + 11. Let u be r(f). Which is greater: u or i?
u
Let r(g) = -7*g**2 - 6*g + 17. Let q(d) = 3*d**2 + 3*d - 8. Let h(n) = -5*q(n) - 2*r(n). Let x be h(-5). Let t be (3/13)/((-6)/x). Which is bigger: t or 0?
t
Suppose -p = -6 + 2. Let h(r) = r + 1. Let c be h(-6). Let a = c - -10. Are a and p unequal?
True
Let b(y) = y**3 + 2*y**2 - 4*y - 4. Let p be b(-3). Let o = 3/1384 - 8379/34600. Let x = 4/25 - o. Does x = p?
False
Let u = 21 - 15. Let g = -31 - -25. Let l = g + 5. Which is greater: l or u?
u
Let j = -652 - -1329/2. Let p be (-6 + 5)*1*12. Let c = p + j. Is c <= -6?
False
Let v(n) = n**2 + 2*n + 1. Let x be -12*-5*(-5)/50. Let w be ((-2)/(-6))/(2/x). Let g be v(w). Which is bigger: g or -5/6?
g
Suppose -4*r + 20 = 2*d, 0*d = 3*r + 5*d - 29. Let m = 23827/7588 - -3/1084. Which is greater: r or m?
m
Suppose -4*v + 10 = -2*r, 2 = v - 2. Let b be (1/r)/(2/(-52)). Which is smaller: b or -8?
b
Suppose -3*d + 46 = -4*d. Let h be d/110 + 10/(-55). Is -1 at most h?
True
Let n = 99 - 100. Is n < -8/21?
True
Let k be (-1102)/266 - (-10 + 0 + 3). Suppose -3*y + 12 = y, 0 = 2*f + y - 7. Suppose h + 5*p + 23 = f, -2*h + 5*p + 33 = 0. Is h greater than k?
True
Let j = -37 - -43. Is -5 <= j?
True
Suppose 5*h + r - 76 = 0, 2*h - 36 = -5*r - 1. Let f(x) = x**3 + 4*x**2 + 4*x + 1. Let w be f(-4). Let o be (-213)/w + (2/5)/(-2). Is o <= h?
True
Let j = -45 + 44. Let k be 75*2/8 + j/(-4). Is k > 19?
False
Suppose 51 = 4*h + 79. Which is bigger: h or -1/30?
-1/30
Let g = 298 + -298.1. Which is bigger: g or 249?
249
Let w = 4778 - 4799.21. Let g = w + 1.21. Is g equal to -0.2?
False
Let y(q) = -3*q**2 + 89*q + 29. Let o be y(30). Which is smaller: 16/47 or o?
o
Let g = 558 - 375. Is g greater than 182?
True
Let u be (-10)/(-3) + 32/(-24). Suppose -4*s + 0*s + 14 = -2*d, -u*s + 22 = -2*d. Is d at least -15?
True
Let c = 20 + -74. Let h = -55 - c. Which is smaller: h or 10/27?
h
Let x = 1 - 7. Let f = 5.99 + x. Let u be 12/20 + (-1)/(-15). Which is bigger: u or f?
u
Suppose -5*h + 0*h = -5. Let t = -54/6235 - -4