*v - 79 = 5*v - k. Is v less than n?
False
Let h(j) = 85*j + 1106. Let l be h(-13). Which is smaller: l or 57/44?
l
Suppose -2*q + 2925 = 3*q. Suppose -4*x - 5*v = q, 4*x + 2*v + 565 = v. Let g be (-1)/3 + (x/(-45) - 3). Does -23 = g?
False
Let z be (-8)/(-20)*(-9 + 4) + -10. Let y be (-428)/60 + 8/z. Suppose -2*g = 2*g - 3*f + 30, 2*g = f - 16. Which is smaller: g or y?
g
Let h = 4 + -1. Let r(w) = -2*w**3 - w**2 + 5*w + 15. Let x be r(-3). Suppose -3*u - x = 15. Which is smaller: h or u?
u
Let a = 15227 - 15310. Suppose 0 = 6*v - 5*v + 84. Is v at most as big as a?
True
Let g(r) = -20*r**3 + 2*r**2 - r + 1. Let f be g(-2). Suppose -2*z + j = -0*j + 107, -3*z + 5*j - f = 0. Let l = z + 103/2. Is l smaller than -16?
False
Let r(t) be the third derivative of t**5/60 - 7*t**4/24 + 5*t**3/2 - 6*t**2. Let c be r(7). Suppose 50 + 34 = 6*o. Which is smaller: o or c?
o
Let h be ((-1923 - -6)/9)/(33/2). Let i = -1966/33 - h. Is i < -47?
False
Let b = 3938 + -5282. Which is smaller: -1342 or b?
b
Let p = 18606 - 18828. Let w be ((-669)/9)/((-2)/(-6)). Is p less than or equal to w?
False
Let s(p) = -p**2 + 5*p - 2. Let n be s(4). Let o be -4 + 1 + n*-1. Suppose 630*u = 244*u - 1544. Which is smaller: u or o?
o
Let o(p) = -p**2 - 15*p - 23. Suppose -3*a = 17 + 1. Let v be (90/(-27))/((-2)/a). Let r be o(v). Is 27 less than or equal to r?
True
Let k = 2.4 - 3.63. Let p = k + 1. Which is greater: -1 or p?
p
Let u = 36.5 - -188.5. Let c = u + -217. Let r = -148/3 + 50. Are r and c equal?
False
Let l = -6575 - -269541/41. Is -2 less than l?
True
Suppose 14 - 8 = 3*d. Let r be d/(1 + (-52)/12). Let l(u) = 3*u + 1. Let k be l(-1). Which is smaller: k or r?
k
Suppose 5*r = -2*n - 436 + 90, n - 4*r + 173 = 0. Let h = -165 - n. Which is greater: 36/5 or h?
h
Let c(b) = 39*b - 118. Let o be c(3). Let i be -1*4/6*-3. Which is smaller: i or o?
o
Let j = -7.308619 + 0.027219. Let s = j + 0.3004. Let l = -0.019 + s. Which is greater: -1/7 or l?
-1/7
Let z = -0.9 + -6.1. Let b = -7.1 - z. Let c = -0.0858 + 0.1858. Which is smaller: c or b?
b
Let j = -186 - -352. Let i be (-20937)/(-126) + (-10)/(-12). Are i and j nonequal?
True
Let g(y) = y**2 + 35*y + 37. Let i be g(-34). Suppose -5*r - 81 = j - 2*r, -5*r + 243 = -i*j. Are -82 and j non-equal?
True
Let d = -0.49 - -1.08. Let v = d + -0.69. Which is bigger: -21/4 or v?
v
Let z = -28973 + 2462709/85. Which is bigger: -2 or z?
z
Let i be 514/522 + (-17 - -19). Let s = -25/9 + i. Is s != 0?
True
Let y = 5357 + -5357.079. Which is smaller: y or 2?
y
Let w = -4 - -8.1. Let a = w + -4. Are -8 and a unequal?
True
Let j = -9 - -17. Let k = -27875/504 - -4075/63. Is k < j?
False
Let v be ((-1)/(4/45303))/(-15). Let q = v + -756. Let t = 9/10 + q. Are t and -1 nonequal?
True
Let p(u) = 93*u**2 + 30*u - 6. Let t be p(-4). Let q be (-4 - -5)*t/(-18) + -4. Is q >= 1?
False
Let z = -24 - -22. Let b be (30 - (0 - -3))*z. Let s be b/(-45)*1/(-9). Which is bigger: 0.1 or s?
0.1
Let p = -4660 - -4656. Which is smaller: -193 or p?
-193
Let f be 19/(-11) - 1070/(-642). Which is smaller: -2/75 or f?
f
Let z = 34 - 48. Suppose -29*i - 201 - 234 = 0. Is z < i?
False
Let i = 15 + -10. Suppose -i*r = 3*o + 5 + 9, 2*r = 3*o + 7. Let k be (-3)/1 - o/(-2). Is k greater than or equal to -2?
False
Let v = 11300/7 + -1614. Which is greater: v or 1552?
1552
Let d = -1784/279047 + 5547194647/963270244. Let q = 41756/17272945 + -2/20015. Let h = q - d. Which is smaller: h or -5?
h
Let o(h) = h**3 - 15*h**2 - 10*h - 33. Let i be o(16). Let p be (6 - 595/i) + 3. Which is smaller: -1/25 or p?
p
Let m(j) = -9*j - 33. Let h be m(-9). Let k = -43 + h. Let s be ((-3)/6)/(k/(-10)). Which is smaller: -0.1 or s?
-0.1
Let x(j) = -19*j - 142. Let t be x(-10). Suppose -195*y + 189*y = t. Which is greater: y or -16?
y
Suppose -69 + 43 = -16*l + 38. Is l < 138/49?
False
Let o = -211127247/35 + 6031486. Let m = 10919 - 11640. Let h = m - o. Is h > 0?
True
Suppose 3*b - 204 = -3*b. Suppose 2*v + b = 32. Let c be 155/(-15) + (-7 + 3 - v). Which is smaller: -12 or c?
c
Let s = 52822433/937 - 56374. Are s and 0 unequal?
True
Let a = 2187.9 + -2188. Which is bigger: 0.0993 or a?
0.0993
Let m = 393.22 + -402. Is m at least -1/4?
False
Let c = 234.3 - 247. Let w = c + 17.7. Which is smaller: -2 or w?
-2
Let u = 11 + -30. Let s be (-7)/u*192/112. Suppose 3*k - 4*v = -61 + 57, 4*v = -k + 4. Which is bigger: s or k?
s
Suppose 12*c + 26*c + 22 = -16. Which is bigger: c or 2/18817?
2/18817
Let t(a) = 2*a + 7*a - 3*a - 7 + 0*a. Let k be t(6). Suppose 22*p - 15*p = 210. Which is greater: k or p?
p
Suppose 810*p - 44*p = -7777964. Which is greater: p or 1?
1
Suppose -3*i = -2*x + 10, -9*i - 10 = -11*i - 2*x. Suppose -4*h - 8 + 36 = 4*w, 2*w - h - 11 = i. Is w not equal to 56/11?
True
Let a = 3.4282 - 10.8282. Which is smaller: -101 or a?
-101
Let o = 6073 + -2368469/390. Which is greater: o or -1?
o
Suppose 15 - 17 - 37 = 39*f. Do 40/167 and f have the same value?
False
Let b(r) = 2*r**2 + 19*r + 26. Let w be b(-8). Suppose w*k + 3*y = 189, 0 = -4*k + 5*y - 7*y + 390. Which is greater: k or 1/3?
k
Let f be -4 - (1 + 48/(-9)). Let b = -27 - 106. Let o = b + 74. Which is smaller: f or o?
o
Let q be (-3)/2*(0 + -2). Suppose q = b + 4. Let w be (42/15)/((64/(-20) - 3) + 5). Which is greater: w or b?
b
Let x = 0.06304 - 0.05304. Which is smaller: x or -107?
-107
Let g = 10201/7 + -1457. Let m = 16 - 13. Which is greater: g or m?
m
Let q be (32193/(-660))/7 - (10/11)/5. Which is smaller: q or -6?
q
Let x = 33116 - 33119. Let n = 0 - 7. Is x equal to n?
False
Let s = 248322 + -1989489/8. Which is smaller: -365 or s?
-365
Let b be (-640)/48 - -14 - 10390/(-3). Are 3464 and b equal?
True
Let j = 197 - 156. Suppose j = 7*h - 6*h. Which is smaller: 40 or h?
40
Suppose -2*g + 3*g = -10. Let m be (6*(-56)/(-48))/(-1) - -8. Which is greater: m or g?
m
Suppose -4624 = 5*d - 4*n, -2*n = -2*d - 1291 - 557. Does -7 = d?
False
Let q = -0.1 - -1.1. Suppose 14*z = 10*z + 3*t + 62, -2*z = 2*t - 24. Which is greater: q or z?
z
Let w = -1933333/40 + 48294. Let s = 197/5 + w. Do 0 and s have the same value?
False
Suppose -2350 = -10*c + 3530. Is c greater than 588?
False
Let y = 158.682 - 0.682. Which is bigger: 1.1 or y?
y
Let g = -8556 - -8556. Is 1/4996 equal to g?
False
Let o be (4/(-30))/(55/((-25025)/34554)). Which is smaller: 1 or o?
o
Let c = -564 - -36. Let t be c/(-6) + -1 + 1 + 1. Suppose -4*v + 88 = -5*n, -2*v - t = 4*n + v. Is n at least -21?
True
Suppose 2*z = 3*o - 1759, -2*o + 5*z + 688 = -470. Which is greater: -5/4 or o?
o
Suppose 3014*w = 3039*w. Is w at least 2/18797?
False
Let g be (-11700)/(-420) - (-1)/7. Let n be (9/2 + -3)*(1 - -21). Is g at least as big as n?
False
Suppose -3*d + 37 = -11. Let l(p) = d - 5 + 8*p - 10*p. Let h be l(6). Which is greater: -3/47 or h?
-3/47
Let m be (-1)/((-1)/76*-2). Let i be m*((-12)/(-8) + -2 + 0). Let b(s) = s**3 + 29*s**2 + 28*s + 20. Let h be b(-28). Which is smaller: i or h?
i
Let a be ((-4)/(-42) - 136/(-62475)*-7)*995. Which is greater: 80 or a?
80
Suppose -13*x = -17*x. Suppose o = h - 4*h - 5, 0 = 2*o - h - 4. Let c be (-4 - -3)/o - 2/(-4). Is x greater than or equal to c?
True
Let k = -3154 - -3154.03. Is -2/615 at most k?
True
Let c = -150/1423 + -3871233/7115. Is -543 greater than c?
True
Let a = 8090373/482 - 16785. Which is smaller: 1 or a?
a
Let m(h) = h - 44. Let v be m(-29). Let p = v - -67. Which is smaller: p or 0.3?
p
Let g = -809/5400 + 1/600. Does 8/19 = g?
False
Let r(m) = -6*m**2 + 38*m. Let b be r(6). Let x be ((-20)/b*-141)/5. Is 47 smaller than x?
False
Let b = 128 + -62. Suppose -8*s = -86 - b. Is s at least -5?
True
Let p = 3377 - 3377. Is -7/214 <= p?
True
Let l be -2*1*(-39 + 27). Let d be (-45*(-6)/l)/(6/(-4)). Let v = -18 + 17.6. Which is bigger: v or d?
v
Let b(j) = 17*j**3 + 8*j**2 + 17*j + 98. Let c be b(-5). Do -1910 and c have the same value?
False
Suppose 5*p + 20 = 0, 4*x - 2*p - 3*p - 32 = 0. Suppose -x*r = -0*r - 12. Suppose b - r = -5*n - 2*b, 0 = 4*n - 5*b + 19. Does -1/41 = n?
False
Let s(x) = -43*x**2 - 46*x**2 + 128*x**2 - 14*x - 15 + 110*x**2. Let h be s(-1). Which is bigger: 150 or h?
150
Let u be (-57)/11 - (-4 + -3 + 2). Let t = u + -5/33. Which is smaller: t or -2/5?
-2/5
Let h = -26 - -61. Let