. Is q at least -38?
True
Let f = -583 - -372. Is -210 greater than or equal to f?
True
Let p be 6/(-4)*(-24)/36. Let x(i) = 21*i - 17. Let m(z) = 7*z - 6. Let a(o) = 11*m(o) - 4*x(o). Let n be a(p). Do n and -5 have different values?
False
Let w be 7 + 29/((-812)/208). Which is bigger: w or -32?
w
Let u = 1362/9503 + 64012308/9503. Let b = 6730 - u. Which is greater: -5 or b?
-5
Suppose f = 2*z - 40, 0*z = f + 5*z + 5. Let q = f + 21. Let y = -3268/3 - -1080. Are y and q unequal?
True
Let n(m) = m**3 + 18*m**2 - 12*m + 133. Let u be n(-19). Which is smaller: u or 2/2209?
u
Suppose 94*m + 3313086 = -24*m. Do -28078 and m have different values?
True
Let a be 1/(6042/(-2013) - -3). Let c = a - -650. Which is smaller: -25 or c?
-25
Let u = -33625/23 + 1465. Let z(i) = -2*i**3 - 2*i**2 - 4*i - 2. Let f be z(-1). Which is smaller: u or f?
f
Let o(z) = -z**3 - 56 + 39*z**2 - 57 + 61 + z. Let m be o(39). Do -79/6 and m have the same value?
False
Let p = -278516 - -205823354/739. Is p greater than or equal to -1?
True
Let o(w) = 15*w - 16. Let y be o(4). Suppose -y = 66*d - 67*d. Let n(h) = -8*h - 5. Let g be n(-6). Which is bigger: d or g?
d
Let p be 5146/(-40920) - (-1)/30*4. Is p at least -0.06?
True
Suppose 3*h - 24 = -5*h. Suppose h*o = -4*o. Let r be 0 + (2 + -1 - o). Which is smaller: r or -3/14?
-3/14
Let x be (-8)/(((-3)/6 + 1)*-2). Let z(h) = h**2 - 9. Let b be z(-6). Let w = -18 + b. Are w and x equal?
False
Let t = -12 - -65. Let q = 93/4 - 1975/84. Let a = 13/14 + q. Are t and a equal?
False
Suppose -7 = 8*w - 31. Suppose 1 = z + w. Let f be -3 + 282/120 - z/4. Is f <= -1?
False
Let y(a) = -2*a + 4. Let g be y(5). Let l(r) = -366*r + 187*r + 178*r - 25. Let t be l(g). Which is bigger: t or -18?
-18
Let z = -0.068 + 0.078. Let v = 0.19 + z. Do -43/3 and v have the same value?
False
Suppose 0*z + 4*z + 3*i + 542 = 0, 5*z - 3*i = -664. Which is greater: z or -131?
-131
Let p = 241 + -224. Suppose -p*b + 18*b - 1 = 0. Which is bigger: 1/353 or b?
b
Let w be ((-17)/306)/((-8)/9376). Is w less than or equal to 64?
False
Let l be 1931636/(-2184) - (-10)/(-195). Which is bigger: l or -886?
l
Suppose -o - 5 = -4*f - 2*o, -f + o + 5 = 0. Suppose f*y - 2552 = -20*y. Is 117 bigger than y?
True
Let l(p) = 3*p + 46. Let u be l(-29). Is u bigger than -15?
False
Let i = -6985 + 104762/15. Which is smaller: 2 or i?
i
Let d(u) = -4*u - 44. Let g be d(-11). Let z = g + -45. Let k = z + 54. Which is greater: k or 15/2?
k
Let u be 1/1 - (-887)/7. Let v = u + -128. Let x = -312952 + 312902. Which is smaller: x or v?
x
Let u be (-4780)/92493*(-6)/32. Is 0 less than u?
True
Suppose 310601 = 32*x - 174007. Which is smaller: x or 15145?
x
Let c(z) = -z**3 + 8*z**2 - 5. Let s = 8 + 0. Let f be c(s). Let m = 1/144 + -793/144. Is m greater than or equal to f?
False
Suppose -j + h = 24, -4*j = 5*h - 2*h + 103. Let g = j - -45. Suppose -8 = 3*o + 3*y + 4, -3*o - 5*y = g. Which is smaller: o or -10/13?
-10/13
Let g(v) = -v**2 + v - 4. Let c(l) = -l**2 - 11*l - 11. Let z be c(-9). Suppose 3*i = z*i + i. Let j be g(i). Is -22/5 < j?
True
Suppose 3*a + 18 = -2*z + 54, 2*a - 26 = -2*z. Let o be (60/75)/((-12)/a). Let d be (-5)/(-20) - (-1)/(-36). Is d less than or equal to o?
False
Let d = -104.9 - -106. Let y = d + -1. Is y >= 47?
False
Let g be (1484/63)/(4/228). Let f = g + -1360. Let h = 17 + -34. Which is bigger: f or h?
h
Let x be 66/4 + 3/(-6). Let z = 99 + -60. Suppose z*w - 41*w + x = 0. Which is smaller: w or 35/4?
w
Let o = -16556 + 17501. Which is smaller: 942 or o?
942
Let x be 0 + 82/(-78) + 1. Let h(t) = -2*t**2 + 11*t + 46. Let j be h(13). Let k = 149 + j. Is k greater than or equal to x?
True
Let o = -21417 + 21369. Is -2/3 bigger than o?
True
Let j = -668522477/5517 - -121175. Which is greater: 1 or j?
1
Let j = 321.3 + -343.7. Which is smaller: 0.29 or j?
j
Let v be 235*51/(-34)*(-4)/(-5). Let h be (-6 - (-1)/(v/(-1764)))/10. Which is greater: h or 1?
1
Suppose -5*g + 20 = -5*s - 5, -s + 5 = g. Let q be (-3)/(-30)*g + (-1)/2. Which is smaller: q or 3/8?
q
Let t = -1.596 + -0.094. Is 0 at most t?
False
Let g be 4/(-1 + 84 + 3). Let f be (484/(-6))/((-24)/(-36)). Let z = f - -122. Which is smaller: z or g?
g
Suppose 0 = -8*m + 4*m + 3*v + 31, v = 5*m - 47. Suppose -2*w + m*w = 24. Suppose -w*a - 121 = -49. Are -24 and a equal?
True
Let o = -72 - -72. Let i = 155.886 - 156. Which is bigger: o or i?
o
Let b = -3/916859 - -1994725/49206905671. Is b less than or equal to -1?
False
Let k(z) = 11*z**2 + 155*z + 28. Let r be k(-14). Suppose -835 - 1643 = -r*a. Is 178 at least as big as a?
True
Suppose 45*t + 21*t - 39 - 27 = 0. Which is smaller: t or -30/1621?
-30/1621
Let c be ((-36)/5 - -8)/((-1)/(-15)). Suppose 10*w - c*w = 4, 0 = -3*o - 4*w - 836. Is -276 smaller than o?
False
Let f = 11 + -9. Suppose -464 = -5*z - 3*t, f*z - 2*t + 188 = 4*z. Suppose v + 76 - z = 0. Is 0 not equal to v?
True
Let d be (-56)/(-6)*1098/(-12). Let z = -854 - d. Let x be 1/2 - 42/68. Is x greater than z?
False
Let q be 27/(-6)*8/6. Let r be 4*11*(q + 13 + -6). Are r and 45 equal?
False
Let c = -198 - -186. Let d be (-18)/(-27) - (-1076)/c. Which is smaller: d or -91?
-91
Let m = 47 - 52. Let o(c) = c**2 + 6*c + 12. Let r be o(m). Let j be (-1 + r)*12/24. Is 6 <= j?
False
Let o be (1 - -3)/((-4)/(-26)). Let b be o/25 + -6 + 5. Suppose 2*n + 9*n - n = 0. Which is bigger: b or n?
b
Let n = -27911 + 27800. Is n less than or equal to 0.01?
True
Let c = -41 - 3. Let a = -26 - -32. Suppose 223 + 47 = -a*z. Which is smaller: c or z?
z
Let f(l) = 0 + 5*l + 8 + 0 - 49*l**2 + 53*l**2 + 72*l**2. Let x be f(-3). Which is bigger: x or 678?
678
Let x = -5252 - -309870/59. Which is smaller: -1 or x?
-1
Let y be (-1 - -1) + 0 + 10. Let t be (-8)/y + -3*11/990. Suppose 2*o - 2 = 6*o - q, 2*q = -5*o - 9. Which is bigger: t or o?
t
Let z = 64 + -10. Let g(t) = -28*t - 18. Let p be g(-1). Let w be p/(-20)*(-1 - -3)*-54. Is z != w?
False
Let z(x) = -2*x**3 - 6*x**2 + 6*x - 4. Let n be z(-6). Suppose -n = -2*a + 3*t, 2*a + 6*t = 2*t + 190. Let r be 494/a - 2*2. Which is greater: 0 or r?
r
Suppose 12 = -3*r + l + 2*l, -2*r = -3*l + 11. Let t = -99952/749 + 934/7. Let p = t - -371/14124. Are r and p unequal?
True
Let i be ((-4)/5)/((-1102)/(-285)). Let q = 39 + -43. Let p be q/(-2)*(-18)/36. Which is bigger: p or i?
i
Suppose 3*q - 6 = z, 3*q - 12 = -2*z + z. Let m(s) = 4*s + 2*s**2 - s + s**z + 8 - s**2 + 5*s**2. Let x be m(-6). Is -10 at least as big as x?
True
Let f = -48312.959 - -48250. Let r = -0.041 + f. Let c = r - -105. Which is smaller: -1/2 or c?
-1/2
Suppose h + 2 = 2*f - 12, 0 = 2*h - 3*f + 25. Let b be (-81)/(-3) - (13 + h). Which is greater: b or 15?
b
Suppose v - 4*n - n - 2 = 0, -4*v + n + 8 = 0. Let p be 21479/8883 + 1/(-27). Which is greater: v or p?
p
Let p = 497.2 + -497.2. Is -7335 less than p?
True
Let c be ((-74)/(-148) - 310/(-44))/(-9). Is -1 greater than or equal to c?
False
Suppose -3*p - 11 + 17 = 0. Let y be 5/p + 10/(-100)*35. Is -16/21 > y?
True
Suppose -x - 54 = 2*x. Let d be 126/(-63) + 2*x/(-16). Which is bigger: 1 or d?
1
Let z = 13039/52108 + -3/13027. Is z bigger than 8.9?
False
Suppose c - 11 = -14, 3*p = -c - 288. Is 1/3 >= p?
True
Suppose 70135 = 47211*a - 47198*a. Is a < 5396?
True
Let j be ((-2)/(-1) - 0)/6. Let f be (-7)/36 - (4 + -4). Let k = -1/9 - f. Which is smaller: k or j?
k
Let t(o) = 24 + 9*o - 130*o**2 + 4*o + 131*o**2. Let u be t(-11). Suppose u*z - z = 1. Is -5/34 >= z?
False
Let h = -749.3 + 700. Let g = -6.3 - h. Let t = -76 + g. Are -1/2 and t non-equal?
True
Let c = -5689 + 5690. Is c != 9/16?
True
Suppose -3*j = -3*n + 222, 2*j - 3*j + 3*n = 70. Let t be (1*5/15)/((-2)/(-18)). Suppose -t*d - d = 308. Is d <= j?
True
Let c = -0.1 - -0.21. Let g = 0.2892 - 5.3992. Let s = g + c. Is s at least as big as 2?
False
Suppose -3*f + 407 + 88 = 3*v, -v + 487 = 3*f. Let h = 161 - f. Which is bigger: h or -1?
h
Suppose -2*x - 16510 = 7*g + 11599, 0 = -x - 5*g - 14068. Is x >= -14023?
True
Let p(n) = -28*n + 1. Let h be p(0). Let u be (-3006)/(-249)*(-108)/(-8). Let l = u + -163. Which is smaller: h or l?
l
Let a(h) = 138*h + 815. Let m be a(-6). Let p = 34 + -47. Is p smaller than m?
False
Let l(d) = -d**3 - 6*d**2 + 12*d + 5. Let v be l(-8). Let k = -44