ose 4*p + 3*l + s = -l, 4*p + g*l = -45. Is p <= -13?
False
Let t = -1388/11 - -6918/55. Which is bigger: t or -139?
t
Let i be ((-3)/21)/(7 - (-817)/(-133)). Is i at most as big as -2/2743?
True
Let w(b) = -93*b + 159. Let r be w(2). Is r greater than 3?
False
Suppose 0 = -23*i + 239 - 78. Let g be 128 + 1 + (-11 + i - -6). Which is smaller: g or 129?
129
Let u be -3*((-2596419)/118017 - -22). Is 0 smaller than u?
True
Let i(p) = -9*p - 65. Let t be i(-7). Let h be 726/(-440) + t*1 - -4. Which is greater: h or -1?
h
Let l be (-11125)/(-13) + (-462)/(-2002). Is 856 at least as big as l?
True
Let x = 21671927/1199 - 18075. Is 1 equal to x?
False
Let h be (12 - (-265)/(-20))/(-5). Is -196 bigger than h?
False
Let k = -24 + 19706/821. Is k < 0.12?
True
Let x = -3319560/277 - -11984. Is -1 not equal to x?
True
Let t = -2392 + 2392. Do -47/75 and t have different values?
True
Let t = -903 - -897. Let q = 104 + -73. Is q at most as big as t?
False
Suppose 0 = -37*c + 41*c + 4*p + 164, 3*p = -5*c - 211. Which is smaller: 0.15 or c?
c
Let w be (-243)/(-1134) + 36748/(-56). Is w at least -663?
True
Suppose -4*t = 11 + 1. Let j = 13249071806 + -318149961342990/24013. Let c = j - -2/2183. Which is smaller: c or t?
t
Suppose 11*h - 10*h + 2*d - 64 = 0, 3*h = -4*d + 192. Suppose -4*s - 155 = 101. Let n = s + h. Is n less than 1/4?
True
Let a(d) = -14*d + 12*d - 24 + 43. Let u = -15 - -25. Let o be a(u). Which is smaller: o or 4/33?
o
Let r(z) = 2*z**3 + 45*z**2 - 4*z - 72. Let l(h) = -h**3 - 22*h**2 + 2*h + 36. Let k(t) = -5*l(t) - 2*r(t). Let o be k(-20). Which is greater: o or 25/7?
o
Let a be ((-897)/56 - -16)*8. Which is bigger: 99 or a?
99
Suppose -4*k = -10*k - 12. Let v = -210 - -209.995. Which is greater: k or v?
v
Suppose 12*a - 996 - 804 - 612 = 0. Which is smaller: a or 206?
a
Let h = -0.056 - 1.194. Let j = -0.55 - h. Which is smaller: 9 or j?
j
Let t = 23944/77 - 311. Let w = -61 - -69. Suppose -1 = w*c - 9*c. Is c > t?
True
Let h = 539 + -43. Suppose 54*t + h = 38*t. Which is smaller: t or -159/5?
-159/5
Suppose 3*a + 3*t = 11463, 135*a + 4*t = 132*a + 11463. Suppose -693 = 34*v - a. Is 93 bigger than v?
True
Suppose -4*i + 72*j = 75*j - 65, -2*i + 5*j = -13. Let l = -36500/7 - -5228. Which is greater: l or i?
i
Let u = 1778 + -2748. Is -972 greater than u?
False
Suppose -2*l - l = -h - 2, 0 = -4*l - 5*h - 10. Let u be ((16/(-342))/(-4))/(1156/(-51) - -21). Is u > l?
False
Suppose -2*g = 0, 53 = 5*a + 3*g - 72. Let u = -20 + a. Let b be (1/(u - 2))/((-3)/(-9)). Does -1 = b?
False
Let f be ((-8)/(176/10285))/(1/2). Let w be f/187 + (-1)/(2/(-10)). Is w greater than or equal to 42/47?
False
Suppose -34*p = -28*p - 138. Suppose p*i - 48 = 26*i. Which is smaller: i or -18?
-18
Let j = 14127 - 14236. Is -76 smaller than j?
False
Suppose -4*k = -3*c - 24 - 83, k = -5*c - 163. Let g be (-7 + (-944)/(-48))*(-6)/4. Let h = g - c. Is h != 5?
True
Let r = 2227 + -11086/5. Let o = 41 - 32. Let q = 2 + o. Which is bigger: q or r?
q
Let m be -13 + ((-128)/8 - 47). Are m and -61 equal?
False
Let b = 95 - 28. Suppose 4*w - 52 = -j, -w = -0*j - j + b. Let d = 255/4 - j. Which is bigger: 1/4 or d?
1/4
Let b = 53 + -151. Let v = -97 - b. Which is smaller: -109 or v?
-109
Suppose -10*m - 45 + 35 = 0. Which is smaller: -12/7351 or m?
m
Let p(n) = -n**2 - 7*n + 30. Let g be p(-10). Let m = -9/188 - -2647/59220. Is g > m?
True
Let p = 0.751 + 0.029. Let f = 0.0932 - -1.7868. Let s = p - f. Is s at most 1?
True
Suppose -34*n + 16 = -18. Which is smaller: n or 112/9?
n
Let p = 17561 - 17956. Which is smaller: -387 or p?
p
Let z be 0/((54/(-45))/(6/10)). Is -3/6014 > z?
False
Suppose -4*o + 7*o - 99 = 0. Suppose -5*u + u + 11 = -y, o = -2*y - 3*u. Let m be 12/3 - y/(-3). Is 1/24 >= m?
True
Let z = -0.05 + -7.95. Let s = 343.978 - 344. Let y = s + -0.278. Which is greater: z or y?
y
Let k be 12/6*(-1)/244*-2. Let f = 12 + -9. Suppose -a - 5 = 2*m, f*m + 2*m + 4*a + 20 = 0. Is k equal to m?
False
Let h = 21.8 - 67.8. Let i = -52 + 94. Let k = h + i. Are k and -1 unequal?
True
Let i = -34 - -15. Let a(n) = -2*n - 35. Let x be a(i). Suppose x*z - 3*k + 77 = -2*k, -3*z - 67 = 4*k. Which is greater: z or -24?
-24
Suppose -2*f - 165 = -3*j, 2*j + 57*f = 53*f + 126. Is j not equal to 54?
True
Let p be (-1 - -5)/(-10 - (-9 - -3)). Let a be (-3024)/1510 + (-1)/(7/(-14)). Which is smaller: a or p?
p
Let f = 46 + 603. Which is greater: 1/4 or f?
f
Let u be 0/((-8)/(-8 - -4)). Let m(d) = d + 6. Let z be m(u). Suppose 13 - z = 7*r. Which is smaller: -1/7 or r?
-1/7
Let q(g) = -2*g - 19. Let d be q(8). Let o(b) = 3*b**2 + b - 18. Let v be o(5). Let s = v + -99. Which is smaller: s or d?
s
Let j(f) = f**2 - 17*f - 69. Let c be j(21). Suppose 5*d - c*d = -1970. Is d at least as big as 196?
True
Let o(j) = -j**3 - 2*j**2 - 7*j - 4. Let d be o(-3). Suppose -3*x + 15 - d = 4*m, 17 = -4*x - 3*m. Is x < 0?
True
Let j(h) = -h - 5. Let w be j(-8). Suppose w*u = 2 + 4, -3*u = -2*i. Let f be 3*3*(-1)/i. Is -22/7 > f?
False
Let x(q) = -q**2 + q + 97. Let j be x(0). Let i = -90 + j. Let m = 1652/3 + -545. Which is greater: m or i?
i
Suppose -q + 3*i = 4*i + 102, 2*q + 4*i + 208 = 0. Let z be ((-1)/(-4))/((-2925)/q). Let m = z - 95/1989. Which is bigger: m or 1?
1
Let h = -39401 + 119410/3. Which is greater: 403 or h?
403
Let u = 66 + -61. Suppose u*y - 30 = 2*y. Let r be 4/y - 2944/6785. Which is smaller: 1 or r?
r
Suppose 10 = -41*l + 43*l. Let h be 3 - (-6)/l*14/(-4). Is 1/4 bigger than h?
True
Let d = 20634 - 20633. Let n = 767 + -46785/61. Is n bigger than d?
False
Let j = -0.00072 - -0.09072. Is 1/8 greater than j?
True
Let j = -179 - -178.8. Suppose -5*v + 166 = 3*k, 4*k = -5*v - 29 + 252. Which is greater: k or j?
k
Suppose 2*w - 4*n = -8, 10 = -w - 3*n + 16. Suppose w = -35*d - d + 36. Is -1/1210 at least d?
False
Let r = 11223 - 213239/19. Which is smaller: r or 2/41?
r
Suppose -23*a - 10129 = -1044. Let j = -779/2 - a. Is -9 greater than j?
False
Suppose -5*t - 2 = 3. Let s = 87317 - 1309789/15. Is t at most as big as s?
False
Let s be 7*3 + 11548961/(-550203). Which is smaller: s or -1?
-1
Let r(k) = 122 - 40*k + 16*k + 35*k. Let t be r(-11). Which is bigger: -2/61 or t?
t
Let z(c) = -c**3 + 3*c**2 + 10*c + 7. Let g be z(5). Suppose g*y = -3 + 3. Is 1/505 bigger than y?
True
Let w(t) = 2*t**2 - 42*t - 1023. Let q be w(-44). Do 4697 and q have the same value?
True
Let u(f) = 2*f - 43. Let c be u(24). Let x be 32/48 + c/(-3). Suppose 2*l = 1 - 5. Which is greater: l or x?
x
Let p be (78/455)/((48/(-20))/6). Suppose 7 = u + 3*n, 2*u + 13 = 2*n + n. Does u = p?
False
Let n = -966950/607 + 1593. Which is smaller: n or 1?
n
Let w(g) = -2*g**3 - 19*g**2 - 9*g - 1. Let o be w(-9). Let r = -9378371/819 - -11451. Is r less than o?
False
Suppose 28 = 3*g - 20. Suppose -43*r + 95 = -335. Let q = r - g. Which is bigger: 0.1 or q?
0.1
Let h be (10683600/92088)/(-29) + 4. Which is bigger: -1 or h?
h
Let q = 694 + -700. Is q less than or equal to 3/5?
True
Let q = -42465.2 - -42465. Suppose 0*d - 2*d = -4*f + 68, 2*d = -3*f - 96. Let a be (-3)/6 - d/(-4). Is a greater than q?
False
Let k(b) = b - 102. Let v(p) = 3*p - 2. Let g(l) = k(l) - 2*v(l). Let j be g(-12). Let x(q) = 10*q + 3. Let c be x(-4). Do c and j have the same value?
False
Let k = 1123/34 + -33. Let u = 75/238 - k. Do u and -31 have the same value?
False
Suppose -35032 = 14*x - 42*x + 550560. Is 20913 equal to x?
False
Suppose -6*o + 138 = -12. Suppose -o*k - 1322 - 378 = 0. Which is bigger: -69 or k?
k
Let n = -45 - -32.3. Let p = n - -15.01. Let y = -1.01 + p. Which is smaller: y or -3?
-3
Let f = -624/301 + 9316/3913. Suppose s - 5 = -q, 3*s - 2 = -q + 3. Is s smaller than f?
True
Let u = -4686.1 + 4686. Is 2/561 greater than u?
True
Suppose 25*l - 32*l + 8792 = 0. Suppose 10*o = 1724 + l. Are o and 298 equal?
True
Let k(s) = -31*s. Let r be k(1). Let c = 45 + r. Let d = 16 - c. Which is greater: 5/3 or d?
d
Let a = -3278.081 + 3278. Are 51 and a nonequal?
True
Let u = -21 + 12.1. Let i = 9 + u. Which is bigger: 73 or i?
73
Let s be (6096/288 - 22)/((-10)/(-8)). Let m = 26583317/1649186 + -2/353397. Let v = m + -95/6. Is s < v?
True
Let d be (-1)/(-2) + (-6)/4. Let h = -631/270 + 23/10. Let y = -62/513 + h. Which is smaller: d o