 -102.813. Let a = r - -102. Which is greater: a or -49?
a
Let a = 422 - 389. Let j be (55/a)/((-4)/48). Which is greater: j or 2/5?
2/5
Suppose 5*p - t = -98, 5*p + 25 + 85 = 5*t. Let k be 4/(6/15 - (-24)/(-110)). Let m = k + p. Is m greater than or equal to -0.3?
True
Suppose -5*v + 8 = -k, 8*v - 4*k + 14 = 11*v. Let m be (-2 - v)/(-4) - (-2)/3. Is m bigger than 2?
False
Let n be (2 + 266/(-130))/(1317/(-4390)). Let c(h) = h - 3. Let u be c(3). Are u and n non-equal?
True
Let l = -3 - 0. Let f = l + 4. Let x be (((-27)/(-4))/(-9))/(27/(-12)). Is f bigger than x?
True
Suppose 72*q + 31414 - 11863 + 30561 = 0. Is q equal to -696?
True
Let t = 369 - 366. Suppose 4*m + z + 17 = 0, -10 = 5*z - t*z. Is -28/11 > m?
True
Suppose 4*o + 5*a - 12942 = 26389, 39304 = 4*o - 4*a. Is 9829 >= o?
True
Suppose -3883 = -89*j + 140*j - 23059. Is 369 greater than or equal to j?
False
Suppose 0*l + 829 = 3*a - 5*l, -a = -4*l - 288. Suppose -20 = 4*p + a. Let n be (-1)/30*(-45)/p. Is -1 greater than or equal to n?
False
Let i(z) = -4*z**3 - 5*z**2 - 3*z + 4. Let j be i(-3). Suppose -u = -2*u - 78. Let w = u + j. Is w greater than -8/7?
False
Suppose -1 = r - m, 0 = r - 4*m - 78 + 85. Which is bigger: r or 16/167?
r
Let w(g) = g**2 + 8*g - 5. Let j be w(-9). Suppose 10*l = j*l + 216. Suppose l = z - 3*s, 2*z - 2*s + 104 = 4*z. Is z < -2/5?
False
Let t(l) = 361*l**2 - 634*l + 20. Let k be t(5). Which is bigger: k or 5874?
k
Let i be (8/(-97300))/((-8)/40). Let o = 82693/29190 + i. Let y be 2/12*(-3)/2. Do y and o have the same value?
False
Suppose -3*h - 3*p - 603 = h, -5*p = -5*h - 780. Let x = 143 + h. Let s be ((-142)/8)/(x/8) + 3. Which is smaller: 1 or s?
1
Let d be 5 + (-16)/(160/490). Which is smaller: 14 or d?
d
Let d = 31.4 - 35. Let w = 6.67 + d. Let v = -0.07 + w. Is v less than -0.4?
False
Suppose 8*g - 876 = 12*g + 5*q, q = -4*g - 876. Which is greater: g or -221?
g
Let p = 300.19 - 300. Let g = p - 0.49. Do g and 65 have the same value?
False
Let j be (5 - 2)/(((-195)/40)/(-13)). Suppose -4*f + 14 = a, 5*f = -j*a + 4*a + 23. Are 3/2 and a equal?
False
Let a be (21/4)/(13/52). Suppose 2*w - 3*i + 1 + 4 = 0, -5*w + 4*i = -5. Let x be -10*4*w/(-10). Which is smaller: x or a?
x
Let l(a) = a**3 - 9*a**2 - 7*a - 26. Let y be l(10). Let t be 219/(-2)*(-2)/y. Let f = 2553/44 - t. Are f and 4 equal?
False
Let l(q) = -25 - q**3 + 6 - 43 + 0*q + q**2 - 3*q - 19. Let v be l(0). Is v at least -81?
True
Suppose 194 + 499 = -11*u. Let c = -57 - u. Let d(q) = -7*q**3 - q. Let t be d(-1). Are c and t non-equal?
True
Let s(v) = -v**3 - v**2 + 1. Let u(y) = 4*y**3 + 15*y**2 - 17*y - 63. Let p(t) = 3*s(t) + u(t). Let k be p(-13). Is -4 != k?
True
Let o(s) = -s**2 + 6*s - 3. Let b be o(5). Let j = -4 + 21. Suppose 0*d = -d - 4*k + 10, -b*d - 5*k + j = 0. Is d not equal to 0?
True
Let t(j) = -208*j - 343. Let h be t(-4). Are h and 6 non-equal?
True
Let m(k) = k**2 - 33*k + 269. Let o be m(15). Which is bigger: o or -1408?
o
Let t be (-4675 - -163) + 2*3/2. Is t bigger than -4509?
False
Let j be (15/50)/(2/1090). Let g = j + -163. Which is smaller: 1 or g?
g
Let p = 1091 + -1723. Let c = p - -631. Which is bigger: c or -181?
c
Let w(k) = 5*k + 2. Let f be w(5). Suppose -118 = -4*u - 0*u + 2*y, 0 = u - 3*y - f. Let z be (14/(-7) + -2)*u/8. Which is greater: -1/2 or z?
-1/2
Let k be (-98)/490 - 2/((-120)/(-3188)). Suppose -f - 2*w - 50 = -4*w, 0 = -2*w - 4. Is k less than or equal to f?
False
Suppose -45750 = -1511*y + 1536*y. Is y not equal to -1830?
False
Let g = -3464.2 - -3467. Is g greater than or equal to 18/5?
False
Let x = 1898 - 1896. Do 7 and x have the same value?
False
Suppose 45 = 5*q - 0*q. Let s(a) = 7*a - 17. Let c(j) = j. Let y(b) = 5*c(b) - s(b). Let m be y(q). Which is smaller: m or 2/11?
m
Let w be 243/36 + (-21)/28. Which is bigger: 278 or w?
278
Suppose 13*i = 9*i. Suppose 2*f = 6*f - 2*o, 4*f - o = i. Suppose f = 6*x - 5*x. Is x <= 5/11?
True
Let b be (-1 + 6/5)*-2 + (-2233936)/(-1290). Is 1730 greater than or equal to b?
False
Let o be (420/36 + 15)/((-22)/(-3)). Suppose 4*k = -k - 5*t + 55, 5*k - 51 = -3*t. Suppose -2*a = 0, 0*g - 3*a = -3*g + k. Which is smaller: o or g?
g
Suppose -6*v + v = -80. Let t = 548 + -541. Which is greater: t or v?
v
Let z be (-165)/1485*(1 + -4). Suppose 0 = -2*d + 23 + 113. Which is bigger: z or d?
d
Let h be 3/4 + (-3234)/4248. Let w = h + 40/59. Which is smaller: w or -2/5?
-2/5
Let t = -401 + 760. Let m = t + -359. Which is greater: 8/5 or m?
8/5
Let r(v) = 55*v**2 + v**3 - 1092*v + 56 + 532*v + 616*v. Let d be r(-54). Is -54 != d?
True
Let d = 16216 + -81696/5. Let j = -32678/265 - d. Which is smaller: 0 or j?
j
Let d = -720 + 716. Let a be ((-1)/d - (-259)/148)/2. Which is smaller: a or -1/403?
-1/403
Let i(l) = 4*l**2 - 209*l + 105. Let h be i(53). Which is greater: h or 262?
h
Suppose -810 = 7*d - 22*d. Let q be 3*(-26)/d - 1. Which is smaller: -2 or q?
q
Suppose -o + 2*a + 19 = 0, 19*o - 24*o + a = -59. Suppose 0 = -4*d + o*s - 10*s + 825, 3*s + 630 = 3*d. Do 203 and d have different values?
True
Let y = -5591 + 5540. Let d be (18/(-10))/((-8)/(-220)). Is y not equal to d?
True
Let i be 9642/10*10/36. Which is greater: 267 or i?
i
Let d(k) = k**2 - 11*k - 4. Let n be d(11). Let v = n - -14. Let r be (-16)/v - 2/5. Are 4 and r equal?
False
Let m be 2910/4*(-28)/(-21) + -5. Let x be (-6)/45*5*(-3)/m. Is -1 greater than or equal to x?
False
Let q = 6 + -1. Suppose -q*g - v + 3*v = -32, -4 = 4*v. Suppose 5*u + 24 = 2*f, 4 = 4*f + u - 0*u. Is g at least as big as f?
True
Suppose 32 = -3*g - s, -4*g + 4*s + 47 = -7*g. Let z(w) = -w**2 - 4*w + 5. Let l be z(-5). Let p be l + g/3*1/(-1). Is p equal to -2?
False
Let b be (-6)/(-3)*((-40)/(-48) + 22/(-3)). Let h(v) be the first derivative of v**2/2 - v + 1. Let s be h(-1). Is b greater than s?
False
Let n = 212 + -206.68. Let a = 4.32 - n. Which is greater: a or -33?
a
Let m = 1249777/5 + -248964. Is m less than 992?
True
Let f = 0.659 - 0.804. Is f not equal to -2?
True
Let q be 7/(-2)*36/(-51). Let y(c) = -51*c - 101. Let z be y(-2). Which is greater: q or z?
q
Let a be (39600/513)/22 - 4. Which is smaller: 1 or a?
a
Let r be 1*(5 + 3 - 5). Let s be 0 - -1 - (-142 + r). Is 140 less than or equal to s?
True
Let h be 24/(-16)*(1 + (-15)/9). Suppose 7*j - 1 = -h. Let v = 43/5 - 893/105. Is v <= j?
False
Let p(l) = -25*l - 1. Let r be p(2). Let h(x) = -x**3 - 5*x**2 - 2*x + 5. Let i be h(-4). Is i bigger than r?
True
Let d = 160 - 12. Suppose -d*m - 368 = -140*m. Which is smaller: -89/2 or m?
m
Suppose 0 = -9*c + 5*c - 3*w - 2348, -2928 = 5*c + 2*w. Let q = 712 + c. Which is smaller: 130 or q?
q
Let q = -65/14 - -36/7. Let g(i) be the first derivative of i**4/4 + 7*i**3/3 - 9*i**2/2 - 7*i - 14. Let v be g(-8). Is v < q?
False
Suppose -5*z + 4*y = 21, 8*z + 25*y - 8 = 21*y. Which is bigger: -1/7180 or z?
-1/7180
Suppose z + 13 = -5*v - 85, z = 3*v - 58. Let q = z - -75. Suppose -3*f + l + q*l = -15, 3*f - 17 = 4*l. Do 5 and f have the same value?
False
Suppose -q + 22 = -3*g, 4*q + 0*g = 4*g + 88. Let i be (q/77 - 37/7)*-3. Suppose 4*h + l - 5*l = 76, -5*h - 3*l = -63. Is h <= i?
True
Let p(t) = -2*t**2 - 27*t + 9. Let f be p(-14). Let r be 49/7 - (3 - f). Is r > -12/59?
False
Let d(g) = -3*g**3 - g**2 - g - 2. Suppose 3*r = 15, 0*p + 5*r = -5*p + 25. Let c be d(p). Is -5 less than or equal to c?
True
Let o = -1250722831/168165 + 554/18685. Let l = o + 7445. Is 8 >= l?
True
Suppose 44*b = -28 + 28. Let s = 32138/1159867 - -4/5497. Which is bigger: s or b?
s
Let j be 108/12 - (-5 + 24). Which is smaller: j or -138/13?
-138/13
Let u = -23225 + 22920. Is -304 >= u?
True
Suppose -996 - 8754 = -6*a. Let d be 30/26 - 1 - (-400)/a. Suppose -5*m - 26 = -3*j, 3*m = 2*j + j - 18. Which is bigger: d or m?
d
Let t = -12 - -13. Let a = -78 + 79. Let p be -16 + 0/(-4 - a). Is t > p?
True
Let n be ((60/(-24))/(50/480))/((-3)/32). Is -25 at least n?
False
Let c = -19253 - -9507. Is c smaller than -9746?
False
Let h(j) = 7*j - 36. Let l(m) = 14 + 15*m - 54 - 31. Let a(n) = 5*h(n) - 2*l(n). Let t be a(9). Which is bigger: 5 or t?
t
Suppose -4*y + 733*a - 2796 = 730*a, 3*y - 4*a = -2097. Is y greater than -694?
False
Let o be -1 + 1 + (6 - -3). Suppose -o = -7*k + 19. Suppose r = -5*i + 12, 