- -41396. Let v be 2/(-5) + 18/(-5). Let k be (8/12)/(v/(-6)). Which is smaller: k or n?
n
Let o be -7 + 4 + (-2106)/(-636). Are o and 1 nonequal?
True
Let w = 15895 + -15895. Is -1/913 < w?
True
Let w = -0.852 + 6.852. Is w greater than 27?
False
Let z = -8542 + 8541.7. Is z equal to 22/3?
False
Suppose 2*d - 8 = 0, -1236 = -p - 3*p - 4*d. Suppose 2*t + 614 = 2*u, 4*u - 393 = 7*t + 835. Which is greater: u or p?
u
Let w be (-4 - (5 - (-152)/(-16)))*614. Which is greater: 311 or w?
311
Let b = 138.061 - 138. Let r = b + -4.561. Which is bigger: r or 1?
1
Let b(m) = 3*m + 91. Let x be b(-13). Let a = -40 + x. Which is smaller: 7 or a?
7
Let l = -137 + 138. Let m be l/(4/66*(-12)/8). Which is smaller: -12 or m?
-12
Let w be -1 - (10/705)/(-7 - (-482)/69). Suppose -2*f + 6 = -3*f + c, 4*c - 23 = 3*f. Which is greater: f or w?
w
Let r = 89 - -131. Suppose 4*y = -4*d + r, -y - 2*d = -3*y + 122. Suppose -t + 4*t - z - y = 0, 3*t - 2*z - 56 = 0. Which is smaller: 19 or t?
19
Let r = 5510 + -424268/77. Which is greater: 11 or r?
11
Let f(a) = -4*a + 1. Let g(i) = i + 2. Let x(r) = f(r) + 3*g(r). Let k be x(8). Let m be 57/k*(-1)/(6/(-4)). Which is greater: m or -39?
m
Let d be 6*(-2)/((-4)/(-42)). Let b = 19 - 28. Let f be b/(-28) + 36/d. Is -1 at least as big as f?
False
Let g(h) = 4*h**2 + 3*h + 16. Let i be g(5). Let d = i - 27. Let r = 103 - d. Which is greater: -12/25 or r?
-12/25
Suppose z + 243 = 4*z. Let y be ((-6)/(-8))/(z/8). Suppose -2*j - 3 = -5*i, 5*j - 3 = -796*i + 798*i. Which is bigger: i or y?
i
Let o = 44 - 52. Let h(a) = -3*a - 35. Let b be h(o). Is -12 bigger than b?
False
Let l be (1288/805)/((-2)/25). Does l = -630/31?
False
Let k(n) be the second derivative of -n**4/12 - n**3/2 + 3*n**2/2 - 5*n. Suppose -6*c + 653 = 665. Let z be k(c). Is z greater than 7?
False
Let l = 33.2 - -439.8. Let s = l + -384. Which is smaller: s or -1?
-1
Let k = 179.8 - 207. Which is bigger: 0 or k?
0
Let m = 112 - 72. Suppose 0 = 4*u - 2*h - 168, 11*h - 10*h = -3*u + 121. Suppose -u*l + 936 = -17*l. Which is smaller: m or l?
l
Let g be (2/(-3))/((-1)/(-3)) + 19. Let i be 18/24 - 13/(-4). Suppose 21 = p - i*u, 2*p - 30 = 5*u + 9. Is p < g?
False
Let m be 1 - ((-1 - -3) + (-2185)/75). Let g = 144/5 - m. Which is bigger: 301 or g?
301
Let m(o) = o**2. Let i be m(3). Suppose 4*v + i + 7 = 0. Suppose 46 = 2*r + 14*b, 2*r + 8 = -3*b + 10. Which is greater: v or r?
v
Let t = -10654 - -4470. Is t <= -6184?
True
Let m = 29 - 32. Let y be (m/3*-3)/(-1). Let x be (-3)/(-2)*(-20)/y. Which is bigger: x or -0.3?
x
Let v = -0.13 + 0.03. Let b = -77.5 - 23.5. Let r = b - -126. Is v not equal to r?
True
Let j be 550/2750 + 2*6/(-10). Is j at least -9/940?
False
Let v = 266 + -460. Let c be -5 - 3*(1 + -3). Which is greater: v or c?
c
Let s be 608/12 - (7/(-3) - -2). Suppose -2*a - f - 308 - s = 0, -f = 4*a + 723. Is a less than or equal to -182?
True
Let k = -83 - -26. Let v be (-9)/2*(-38)/k. Suppose 4*i - 17 = -33. Which is smaller: v or i?
i
Let m = 14 + -16. Let l = 44/755 + -19711/14345. Which is bigger: m or l?
l
Suppose 18*w + 360 = 30*w. Let i = w - 30. Suppose 5*y = 5*c - 15, 7*c + 6 = -2*y + 2*c. Which is greater: i or y?
i
Let a be ((-1)/2*6/4)/(1005/(-670)). Which is bigger: a or -118?
a
Let i be (33/(-25971))/((3/66)/((-3)/6)). Does i = -1?
False
Let i be -16 + 13 - (-3 + -6). Let w = -54 + 26. Let g = w - i. Is g >= -34?
True
Let r = 12939 - 12800. Which is bigger: 11 or r?
r
Suppose -2*k - 24 = -6*k. Suppose -3*f + k = -4*v - 17, 0 = 2*f - v - 7. Is f less than -2/279?
False
Let g = 64 - 60. Suppose w = 1, g*w + 6 + 0 = 2*b. Suppose -o + 52 = -b*o. Which is smaller: -0.2 or o?
o
Let i = 12244/8119797 + -2/1943. Let m = 37649/79401 - i. Is 1 less than m?
False
Let o(h) = 98*h + 218. Let l be o(-6). Do l and -1109/3 have the same value?
False
Let d(a) = -12 - 27*a**2 + 13*a**2 - 16*a - 5*a - a**3 + 0*a**3. Let u be d(-13). Are 93 and u non-equal?
True
Let o = 2284/5 + -299079/655. Let j = 2001/13231 - o. Which is greater: j or 1?
1
Let i(u) = -4*u**2 - 13*u + 8. Suppose -d - 4*m = -0*d - 15, -4*m + 9 = -d. Let s be i(d). Do s and -69 have the same value?
False
Let i = 5424 - 5240.88. Let t = 183 - i. Do t and -1 have the same value?
False
Let j = 46 - 25. Let i = 177 + -161. Let p = i + -16. Which is greater: p or j?
j
Suppose -37*u = -41*u - 2*c - 4060, 0 = c - 8. Is u <= -1013?
True
Let w = 197 - 127. Let g be (-29)/(-90) + w/(-315). Is g less than or equal to 1.8?
True
Let z = 15 + -13. Suppose -m + 0 - 2 = -h, 14 = 5*m + h. Let y(t) = -t**2 + 4. Let u be y(m). Is u smaller than z?
True
Let c = 0.1 + -0.1. Let n = 2 - c. Let m be -1*9 - ((-294)/2940)/((-2)/(-185)). Which is bigger: n or m?
n
Let g = 409/455 - 8885571/9884420. Which is greater: g or -1?
g
Suppose -l = 3*d - 2*l - 1, 3*d = 3*l + 3. Suppose 3*o + d*o - 408 = 0. Let v be -5*(2 - o/70). Which is smaller: 1 or v?
v
Let o = 19 + -51. Let c = o + 55. Let n = -35 + c. Which is smaller: n or -0.1?
n
Suppose -t = -6*x + 38, 5*t - x + 112 = -107. Let f be 8/28 - 402/(-14). Let p = -15 - f. Is p equal to t?
True
Let g = -34157 + 52790. Is g bigger than 18634?
False
Let o(u) = -3*u**3 - 2*u**2 - u - 2. Let m be o(-2). Let f be ((-30)/4*288/(-200))/(208/325). Is f at most as big as m?
False
Let f(o) be the first derivative of 16*o + 1/2*o**2 + 12. Let l be f(-15). Which is bigger: l or -1/57?
l
Let k(g) = -3*g - 17. Let f be k(-7). Let y(o) = o**3 - 7*o**2 + 6*o + 3. Let b be y(f). Let w = 10 + -30. Does w = b?
False
Let v(f) = 10*f - 206. Let s be v(4). Let b = s + 172. Which is greater: 31 or b?
31
Let a = -0.04 + 0.02. Let q = 0.02 + a. Let s = 0.04128 + 0.00872. Is q smaller than s?
True
Let g = 83701804/200280927 + -7/153003. Let v = 2/187 + g. Which is bigger: 1 or v?
1
Suppose -166*y + 96*y + 1050 = 0. Is y less than or equal to -46?
False
Let a(z) = -5*z**2 - 13*z - 61. Let m be a(-6). Is -13 at least m?
True
Suppose 5*o + 9 = 2*j + j, -2*j - 4*o = 16. Let d be j/(-9) - 456/594. Which is smaller: 0 or d?
d
Let d(a) = -13*a**3 + 90*a**2 - 559*a + 96. Let g(h) = -3*h**3 + 23*h**2 - 140*h + 24. Let v(q) = 2*d(q) - 9*g(q). Let x be v(20). Is 19 <= x?
False
Let w = 33034 + -36475. Is -3442 != w?
True
Suppose -11*f + 5*z - 302 = 0, -5*f - 11*z - 86 = -9*z. Let u(v) = -24*v. Let w be u(1). Which is smaller: w or f?
w
Let v = -47 - -49. Suppose -3*a = 4*t - v*a - 52, -4*t + 3*a + 36 = 0. Suppose -2*y + 4*l - 30 = 0, 4*y = -5*l - 9 - t. Is y less than -5?
True
Let c = -20775 + 706217/34. Which is bigger: c or -4?
c
Let x(g) = -2*g - 10. Let a be x(-11). Let i be (6*90)/2*(-6)/a. Let y be ((-36)/i)/(124/10). Which is smaller: y or 0?
0
Let o(v) = -v**3 - 25*v**2 + 29*v + 70. Let d be o(-26). Is d less than or equal to 250/9?
True
Suppose 0 = 32*n - 4*f - 581204 - 174684, 5*f = 3*n - 70846. Is n < 23623?
True
Suppose 2*u + 8 = -4*j, -4*u = -3*u + 3*j + 6. Suppose 4*d - 175 = -d. Let m = 106/3 - d. Is u < m?
True
Suppose -d = -3*y + 3, -1356*y + 9 = -1360*y - 3*d. Which is smaller: y or 2/103853?
y
Let d = -226808245 + 116352754285/513. Let z = d + -2186/9. Is 1 > z?
True
Let h be 797*1/15 - (9 - 494/57). Which is smaller: h or -0.05?
-0.05
Let t be -45*(-8)/((-320)/312). Let p be (18/39)/3 + 24858/t. Which is bigger: p or -71?
p
Let l be 3484/10*(2 + 3). Suppose 4*j + 0*w - l = -5*w, j + 4*w - 430 = 0. Let o be ((-6)/j)/(1 - 0). Which is bigger: -1 or o?
o
Let t(p) = 5*p + 3. Let z be -23 - -23 - (-2)/(1 - 3). Let r be t(z). Let g be (-4)/8*6/4. Is g bigger than r?
True
Suppose -6*o + 3*o + 30 = 0. Let t be 40/20 + -1 + 8. Let m = t - o. Do m and 0 have different values?
True
Suppose 4*z - 2*z - 5*c - 18 = 0, 2*z = 4*c + 16. Suppose -5*j + z*h + 245 = 0, 38*h - 34*h = 0. Let o be (2*5)/((-2)/(-10)). Which is greater: o or j?
o
Let l = 11 - 61. Let j be 4/(-14) - 9/((-189)/6). Let g be (j - 4) + (-282)/6. Which is greater: l or g?
l
Let x = -38 + 129. Suppose -o = 3*g - 175, -4*o = 2*g - 9 - x. Is g > 60?
False
Let y = -519 + 522. Is 55/4 less than y?
False
Let n = 1068 - 1068.5. Which is bigger: n or -74?
n
Let x(n) = 285*n + 1427. Let r be x(-5). Is 17/28 greater than r?
False
Let t(u) = 300*u + 65. Let z be t(-2). Let n be 2/5 + 63879/z. Are -119 and n non-equal?
False
Suppose -5*u - 272 = y, -3