4*v**2 + 29*v - 26. Let n be r(14). Let g = n + -380. Is g smaller than -21?
False
Suppose 129*l = 39*l - 194130. Is l > -2155?
False
Let d = -3 + 2. Let m = -534 + 834. Let t = 300 - m. Is t <= d?
False
Let f(g) = 9*g**2 + 36. Let l be f(0). Suppose -3*c + 3 = -2*c - 3*r, r + 2 = 0. Let h be 5/(15/114) + c. Which is smaller: h or l?
h
Let v = -327 - -330. Suppose -v*d - 4*u = -0*d - 111, -2*d = 4*u - 74. Do 38 and d have different values?
True
Let y be (-3)/(-2) + 4998/(-3276). Is -1 greater than y?
False
Let s = -47361087/364 - -130113. Which is bigger: -1 or s?
s
Let z = -25.141 + 23.141. Is -0.2597 < z?
False
Suppose 0 = 5*f + 3*c + 110, 4*c + 44 = -2*f - 0*c. Let p(k) = -7*k - 245. Let m be p(-38). Let w = m + f. Are 2/17 and w non-equal?
True
Let v be ((-1170378)/(-48763))/(-3) + 8. Are 1 and v equal?
False
Let q = -2027 - -2114. Which is bigger: 78 or q?
q
Let i = 3128 - 784. Suppose -5*y + 7*n = 3*n - i, -470 = -y + 2*n. Is y < 468?
False
Let b(a) = a + 23. Let t be b(-19). Let m(o) = -o**2 + 18. Let g be m(t). Suppose -3*n - 158 = g*d, 2*n - 3*d = -172 + 45. Is n smaller than -56?
False
Let b(o) = o**3 - 3*o**2 - 3*o - 4. Let a be b(4). Let d be ((-407)/(-110) - 4)*(-1333)/1302 + 1/(-5). Is a greater than d?
False
Suppose 21*t + 144 - 1952 = 37*t. Is -225/2 smaller than t?
False
Suppose 0 = 5*y - i - 51, -2*i = -7 - 1. Suppose 508*b - 201*b - 23142 = -1346*b. Which is smaller: y or b?
y
Let x(j) = j - 17. Suppose 3 = -5*u + 58. Let h be x(u). Let v be h/(-36) + 1*(-3)/(-198). Is v greater than or equal to 2?
False
Let v be 48 + (-5)/1 - 3. Let r be v*(4/6)/((-24)/90). Let z = 86 + r. Which is smaller: z or -15?
-15
Let p be 9/(-63) + (-29844)/(-21). Let z = -4141/3 + p. Is z at least 41?
False
Let n = 3850.9 - 3850.8. Which is smaller: n or -1.2231?
-1.2231
Let n(c) = 2*c**2 + 30*c + 113. Let i be n(-7). Is 11/1108 equal to i?
False
Suppose -5*z + 2 - 7 = 0, -z = -3*q + 1. Which is smaller: q or 67/334?
q
Let z = -21.1 - -21.1829. Let j = 0.0171 + z. Which is greater: -1/149 or j?
j
Let n = -620243/355 + 8723/5. Which is bigger: n or -4?
n
Let d = -3706 + 3705. Is -6216 equal to d?
False
Let w = -4.131 - -3.931. Let l = 7.94 + -8. Let b = l + 1.06. Which is bigger: b or w?
b
Let k(z) = -z**2 - 29*z - 188. Suppose 71 = -5*o - 2*x - 6, 5*x + 48 = -4*o. Let c be k(o). Which is bigger: 22 or c?
22
Let m(g) = -15*g + 138. Let y be m(5). Suppose y = 9*o + 54. Is o < -12/59?
False
Let c = 159 - 230. Let m = 54 - -22. Let b = m + c. Is b not equal to -3?
True
Let b = -0.3723 + -1.2277. Is 0.003 greater than or equal to b?
True
Suppose 48852 = 62*i - 3*i. Do i and 828 have the same value?
True
Let q(c) = -49*c + 29. Let k be q(1). Let i(d) = 2*d**2 - 9*d + 1. Let s be i(6). Let u = s + k. Which is smaller: u or -15/8?
-15/8
Let r be (-7352)/(-16) + (-1)/(-2). Suppose -2 = z, -5*l = -2*z - 3*z - r. Let j = 91 - l. Which is smaller: j or 5/7?
5/7
Suppose -12*c = -715 - 1625. Suppose c*d - 199*d = -432. Do 108 and d have the same value?
True
Suppose -9561*c + 9575*c - 6552 = 0. Which is smaller: 469 or c?
c
Let x be (-24)/(-135) - (-4)/18. Let y = -14203/108 - -3580/27. Are x and y nonequal?
True
Let h be 4/6 - (-15)/(-9). Let o = -22413 + 694801/31. Which is greater: o or h?
o
Let i be (-84)/24*((-101)/21 + 5). Which is smaller: i or 282?
i
Let n be (46 - (-136640)/(-2485)) + 0 + 2 + 7. Suppose -3*j + 2 = -2*d - 2, 4 = -5*j - 2*d. Are j and n unequal?
True
Suppose 36 = -3*o + 5*o. Let h(i) = -4*i + 74. Let n be h(o). Which is smaller: 0 or n?
0
Let p be ((-6)/(-143))/(-3) + 0. Let u be (120/(-16))/((-3)/16). Let d be 20/4*8/u. Is d at least as big as p?
True
Suppose 2*n = -4*r + 28, -4*n + 0*r - 3*r + 31 = 0. Suppose -15*c = -16*c - w, w = -5*c + n. Which is greater: c or -2?
c
Let z be 21/142*-44*128/(-96). Is 10 bigger than z?
True
Let v = 31963 + -31959. Is v at least -409.8?
True
Let x = 439 - 445. Let z = -21 - -12. Let k be -7 + x/z*6. Which is greater: -22/5 or k?
k
Let o be ((-4)/(-660))/((-70)/(-385)). Which is smaller: o or -4/11?
-4/11
Let b = -30083 - -37770. Is b greater than 0?
True
Suppose 546*r - 566*r + 6420 = 0. Is r at most as big as 321?
True
Let v = -899/14 + 129/2. Let k = 27 + -26.942. Let i = -25.942 - k. Is i smaller than v?
True
Let o(i) = 8*i - 9. Let k be o(2). Let s be (6 - k)*(-4 + 2) + -1. Which is greater: s or 0?
s
Let u = -774873052/4011 + 193187. Is 1 at least as big as u?
True
Let x be ((-10)/(-7) + 0)*378/108. Is x at most as big as -443?
False
Let w = 183 - -63. Let m be ((-10)/(-14))/((-655)/262). Which is smaller: w or m?
m
Suppose 15*f - 49 = -109. Let z = -4.09 + 4. Let v = z + -0.91. Which is bigger: v or f?
v
Let s(t) = -t + 4. Let d be s(-5). Let y(i) = -i**2 + 6*i + 20. Let k be y(d). Let q(l) = -l**2 - 5*l - 16. Let w be q(k). Is w less than or equal to -31?
False
Let t be (-4 + 52 - -2) + 4. Suppose t + 45 = 11*l. Suppose y = 4*u - 5, -4*y + 9 = -l*y + 4*u. Is 1/34 != y?
True
Let l = -2 - -2.4. Let f = -1.13 - -1.39. Let n = f - -1.74. Which is bigger: l or n?
n
Let d be ((-2)/(-5) - (-84)/(-200))*-1. Let u = d - -47/150. Are -14/9 and u unequal?
True
Let x be 23/2*828/(-138). Let f be (-1)/5 - (-55)/25. Suppose 0 = 2*z + 3*u + 133, 2*u = f*z + 6*u + 132. Are z and x unequal?
True
Let m = 77 + -35. Let o be (5 + (1 - 1))*5125/615. Which is bigger: m or o?
m
Let p = 0.04 + 0.05. Let f = 134 - 114. Suppose 5*t - 3 = 2*n + 12, 5*t + 5*n = -f. Is p <= t?
True
Let l(t) = -7 + 2 - 45*t**2 + 20*t**2 + 24*t**2 - 4*t. Let p be l(-2). Let k be (-6)/(-5)*(-15)/(-87). Is p at least as big as k?
False
Let b be 2/27*((-16101)/(-18858) - 30/35). Which is greater: b or -1?
b
Let m(a) = a + 19. Suppose 3*d = 3*i + 93, -4*d = -5*d - 4*i + 41. Let z = -39 + d. Let s be m(z). Is 12 less than s?
True
Suppose 6*b - 4 - 14 = 0. Suppose b*p - 255 + 252 = 0. Which is greater: p or 4/71?
p
Let n(f) = -f**2 + 6*f - 5. Let i be n(5). Let a be (2 + -1)*85 - 37/(-37). Let h be 1/90*a - 1. Which is smaller: i or h?
h
Let c be (6716/(-16) - 0)*(3 + 1). Which is greater: -1680 or c?
c
Let b be 4/((-6)/(-15)*5). Suppose b*a - a = 5. Suppose x = -3*x + a*x. Which is smaller: x or -4/21?
-4/21
Let w be ((-4)/(-6))/((-4260)/930). Which is smaller: 1 or w?
w
Let g(l) = -15*l**3 + 6*l**2 - 5*l - 38. Let w be g(4). Is w at least as big as -929?
True
Let b(s) = 3*s**3 - 733*s**2 + 222*s + 5369. Let v be b(244). Let p = 4/285 - 251/5700. Is v > p?
True
Suppose -399*d + 32662 = -9632. Which is greater: 88 or d?
d
Let m be (9/(-4) + 0)*64/(-12). Suppose -z - 3*a + 10 = -m, -23 = -z - 4*a. Suppose 0 = 15*b - z*b. Is 2/13 at most as big as b?
False
Let t = -207 + 620/3. Let i be 36805/(-118020) + 3/9. Let q = -4/281 - i. Is q < t?
False
Let s = 237 + -228. Let j be 702/91*33/s. Is 29 bigger than j?
True
Suppose -4*n = 5*g - 21, -47*n + 52*n = -2*g + 22. Let f(x) = 1842*x**3 + x - 1. Let w be f(1). Let c be (6/w)/(2/4). Which is smaller: c or g?
c
Suppose -2*i - i = -276. Suppose 88 = 15*m - i. Suppose m = s + 6. Which is smaller: s or 5?
5
Let t = 488 + -543. Let o = -55.09 - t. Which is smaller: 3 or o?
o
Suppose 28*m + 29*m - 60*m = 132*m - 17*m. Let b = -4169/36386 + 14/113. Which is greater: b or m?
b
Let y = 167 + -159. Let h be (-10776)/28992 + 11/y + -1. Which is greater: 0 or h?
h
Let f = 16584 - 20406. Does f = -3822?
True
Suppose 2*o - 285 = -l, -164*l - 4*o = -168*l + 1104. Which is greater: -26 or l?
l
Let l = -43 + 44.96. Let h = l - 1.5. Let v = 0.34 - h. Is v less than or equal to -0.1?
True
Let a(y) = -6*y - 18. Let z be a(-4). Let u be (3/z)/(10/(-780)). Let w = u + 45. Is 6 greater than or equal to w?
True
Suppose -k + 135 = -6*k. Let t = 21840 - 196319/9. Let c = t + k. Which is bigger: c or -1?
c
Let y = 28 - 19. Let d be 700/((-8)/2)*(-3)/y. Let i = 59 - d. Is 10 bigger than i?
True
Let v(o) = -2*o**3 - 99*o**2 - 51*o + 124. Let z be v(-49). Which is bigger: 216 or z?
z
Let p = -3195 + 3179. Is -750/49 equal to p?
False
Let u be ((-444)/108 - -4) + ((-3381)/4320)/(-7). Which is smaller: 1 or u?
u
Let k = 8 + -7.7. Let f = 0.2 - k. Let b(g) = 7118*g + 106760. Let o be b(-15). Which is greater: o or f?
f
Let i be -2 - (-43)/3 - (-36)/54. Let d = i + 17. Does 32 = d?
False
Let k = 34818 - 46011. Which is greater: -11191 