Suppose -3*q = 4*k - 86 - 32, 5*q + k = 208. Which is bigger: q or g?
q
Let s = -656274.8 + 656275. Let m = 11.3 - 12. Is s equal to m?
False
Suppose -35 = -5*b + 5*k, -3*b + 6 = -5*b - 2*k. Suppose -4*r + 82 = -0*r + 2*q, 2*r - 38 = b*q. Suppose -7 = 3*p + r. Do p and -9 have the same value?
True
Let t = -8303 - -8328. Which is greater: t or -1/57?
t
Suppose -23*d + 7 = 30. Which is smaller: d or -2/8035?
d
Suppose -49*p + 59*p - 5370 = 0. Is p at least as big as 538?
False
Let h = -1116 + 797. Let s = 312.2 + h. Which is smaller: s or -0.1?
s
Let w = 20.5 + -31. Let j = w - -1.5. Let v = -0.06 - -0.26. Is v greater than j?
True
Let q = -3776.6 + 3778. Is q at most 0.037?
False
Let l(i) = -735*i + 2177. Let x be l(3). Which is bigger: x or 4?
4
Suppose 7*r - 296 = -303. Which is bigger: r or 3/7?
3/7
Let b = -6200 + 6199.985. Which is smaller: 2.2 or b?
b
Let j = 2321328/16421453 - -6/29803. Let n = j - -2/29. Let g = 3 - 2. Is g less than n?
False
Suppose -125 = 7*z + 50. Let w be 432/20 + 3/(-5). Let h = w + z. Is -19/6 > h?
True
Suppose 128040 = 254*t + 134*t. Which is bigger: 11 or t?
t
Suppose 5*d - 5*p + 25 = 0, -2*p + 7 = -d - 3. Which is bigger: -6/565 or d?
d
Let v = 14 + -28. Let c(s) = -3*s**2 + 16*s + 131. Let x be c(-6). Let t = x - -58. Which is greater: t or v?
v
Suppose 20 = 2*i - 5*b, 81 = 3*i + 5*b + 26. Which is bigger: 54 or i?
54
Let l = -80805 - -80793. Suppose 0 = -2*h - 26 - 0. Which is smaller: h or l?
h
Let p(h) = -7*h**2 + 76*h + 1. Let o be p(17). Let t = -2254/3 - o. Which is greater: t or -21?
-21
Let b(u) = -11*u - 86. Let g be b(0). Let j = g + 84. Let d be ((-3)/3)/(21/66). Which is greater: j or d?
j
Let g(m) = 4*m**2 + 116*m - 9. Let h be g(-29). Suppose 0 = z - 19 - 21. Let f be (1 - -1)*4/z. Which is greater: f or h?
f
Let t(q) = -q**3 + 11*q**2 + 5*q - 11. Let v be t(11). Let u(j) = -5*j + 209. Let r be u(v). Is -15 at most as big as r?
True
Let u(i) be the second derivative of i**4/12 - 10*i**3/3 + 11*i**2 - 3*i - 4. Let c be u(13). Which is smaller: c or -68?
c
Let f = -5503.01 - -5420. Let g = f - -83. Is -12 less than or equal to g?
True
Let w be (-159 - -159)/(3/(6/(-4))). Is w not equal to -1/5934?
True
Let u(a) = -6*a**2 + 2*a + 7. Let s be (6 - 0)*(-4)/16*2. Let d be u(s). Is -53 equal to d?
True
Suppose -4*x - 28 = -4*k, -k - x = -5*k + 28. Suppose 2*l - 65 + 59 = 0, 0 = 4*n + 5*l - 3631. Suppose -n = -k*p - p. Are -1 and p nonequal?
True
Let t = -7845 - -17189. Let n = 56269/6 - t. Let s = 92/3 - n. Is s < -4?
False
Let f(w) = -67*w - 4315. Let i be f(-80). Is 1044 smaller than i?
True
Let m be ((-16)/20)/((-6)/(-30)*(2 - 16)). Is m < 1181?
True
Let q be 1/((-1)/(-1) + -2). Let n be 55 - (0 - 1)/q. Suppose -462*l = -456*l + 4*c - 350, 0 = -2*l - 4*c + 138. Is l greater than or equal to n?
False
Suppose -23*f + 37 + 78 = 0. Suppose 14 + 32 = -v - 2*h, 2*v + f*h = -92. Which is greater: -43 or v?
-43
Let p = -45.0312 + -0.0688. Let z = p - -45.2. Does 2/13 = z?
False
Let c = 4835 - 135369/28. Does c = 1/2?
False
Suppose x - 72 = -11*x. Let h be (105/14 - x)/(6/8). Let c be h/(-2)*(-280)/10. Is 29 smaller than c?
False
Let i = 185 - 150. Suppose i = -3*k + 23. Let h be (-78)/27 - 3/27 - k. Which is smaller: -6/41 or h?
-6/41
Let f = -63 - -66. Suppose -8*y = -f*y - t - 1892, 0 = -2*y + 3*t + 762. Suppose -12*m + y = 6*m. Does 22 = m?
False
Let h be ((-36)/1 - -2) + (-28)/(-7). Let n be (-4)/h*35/14. Is n smaller than -11/3?
False
Suppose 0 = -3*c + w, -42*w + 12 = -38*w. Do c and -1/5394 have different values?
True
Let q be (386/200 + -2)/(5 - 696/144). Which is smaller: -1 or q?
-1
Let r = 298 - 290. Let s be (-14)/(-49) + r/70. Is -2 smaller than s?
True
Let c be (-1)/(-18)*8/18. Let l be (-8 - (-9 - 4))/(3/(-345)). Let y = 576 + l. Are c and y equal?
False
Let k(l) = 2*l**2 + 12*l - 8. Let q be k(-7). Let a be 14/42*q/2. Is 21/13 at most as big as a?
False
Let x(f) = -f**2 - 25*f - 74. Let s be x(-18). Let m be (-79)/s - 27/(-36). Which is smaller: 0 or m?
m
Let f = -5 + 10. Let y be (192/24 + (-118)/15)*30. Let c be (-1)/y*(f/(-10) + 0). Which is greater: c or 0.1?
c
Let o be (27407/29 - -14) + 6/(-87). Which is smaller: 955 or o?
955
Let r be -1*(-5)/2*(0 + 10). Let k be (-5)/1*-1*10/r. Suppose -4*l - 12 = 0, k*l + 95 = 5*h - 6. Is 19 less than h?
False
Let y = -1130 + 3442/3. Suppose -10 - 109 = -7*t. Which is bigger: t or y?
y
Let b be 4 + 0 - 9392/696*(-9 - -6). Is b bigger than 45?
False
Let k = -606 - -497. Suppose -a + 4*f - 118 = 0, -5*f - 328 = 3*a - 4*f. Is k less than or equal to a?
False
Let p = -3073395/247544 - -15/8536. Is p at least -13?
True
Let q(r) = 475*r - 2409. Let j be q(5). Which is smaller: 51 or j?
j
Let b be ((-4)/(-3) + 40/(-60))/((-8)/108). Is -325/31 > b?
False
Let p = -11523 + 11623. Is p < -25?
False
Let f = 571 - 769. Which is smaller: -206 or f?
-206
Suppose -s - 58 - 3 = 5*k, 5*k = s - 69. Let h be (-49)/(-46) - (-12 + 13). Let t = 29/92 - h. Is t greater than or equal to k?
True
Let k = -33 + 40. Suppose -k*y = 4*y + 176. Let x be y/(-24)*423/6. Is x at most 48?
True
Let o(s) = 8*s + 639. Let a be o(-73). Which is greater: 81 or a?
81
Let z = 30225 + -29180. Is z less than or equal to 1045?
True
Let x = 13867 - 4539. Which is greater: 0.1 or x?
x
Let v = -246 + 250. Suppose 19*l = v*l. Is l at most as big as 21/26?
True
Let b be (-460)/69*9/(-5). Let m be (-30)/b*(-15)/35. Let i(v) = -v + 4. Let s be i(2). Is s at least as big as m?
True
Suppose -4*n = -h + 5, -48*h - 2 = -52*h - 2*n. Is -3/317 != h?
True
Suppose 3 = -6*n + 7*n. Let w = -1 + n. Let l be ((-24)/(-10))/w*-1. Which is bigger: 3 or l?
3
Let b = -8/2527 + -42599/113715. Which is smaller: 1 or b?
b
Let i = -1778 + 1770.6. Let u = -34 + 26.4. Let t = i - u. Is -41 at most as big as t?
True
Let i = 1542.5 - 2487.6. Let n = i - -945. Which is smaller: n or -116?
-116
Let x = -36697 - -36699. Is x smaller than -4.242?
False
Let n = 144 + -147.4. Let p = n + 2.4. Is -39 less than or equal to p?
True
Suppose 67*y - 20 = 62*y. Suppose 0 = -2*r + y + 172. Which is greater: r or 89?
89
Let j(k) = -k**2 + 14*k - 28. Let t be j(9). Let l(s) = s**2 - 19*s + 36. Let u be l(t). Let b be 0 + 5/(105/66). Are b and u non-equal?
True
Let a = -1071.1 + 1182. Let f = 111 - a. Which is bigger: f or -82?
f
Let d(r) = -9*r**3 - 163*r**2 - 17*r. Let n be d(-18). Which is bigger: n or -25?
n
Suppose -3*s - j + 9 + 30 = 0, 2*s + 2*j = 30. Let q be -4 - -2*s/8. Which is greater: q or -1/68?
-1/68
Let c(n) = -162*n - 485. Let a be c(-3). Which is smaller: 14/45 or a?
14/45
Suppose 0 = j - 2*m - 1284, 5045 = -80*j + 84*j + 5*m. Is j > 1270?
False
Let o = -179 + 183. Suppose -4*j + o = 5*n - 4*n, -n = 5*j - 4. Does -7/10 = j?
False
Let o = -3790 - -4674. Is 8 at most o?
True
Let w = 27.7 - -41.3. Let k = 243 - w. Are -1 and k nonequal?
True
Suppose 2*s + 8 = 4*h, 4*s - s = 5*h - 9. Let z = h + -6. Suppose 3173 - 2953 = 22*a. Which is greater: a or z?
a
Suppose -5*k - 270 = -11*k. Let x = k - 40. Suppose x*j + 9 = 109. Is 20 smaller than j?
False
Suppose 4 = -6*v + 8 + 2. Is -1/1710 greater than or equal to v?
False
Let h(r) = 4*r + 15. Let k be h(-6). Let g(u) = -4*u - 25. Let x be g(-6). Let y be (-17)/(-34) - x/(-2)*2. Which is greater: y or k?
y
Let v = 22 + -22.16. Let f(m) = -m**2 - 10*m + 29. Let a be f(-12). Suppose 0 = 9*b - a*b. Is v greater than or equal to b?
False
Let s = -11263.2 + 11261. Is -31 > s?
False
Suppose -4*w + b = 18, 4*b - 20 = 3*w - 0*b. Let c be -5*w/6*12/260. Which is smaller: -8 or c?
-8
Suppose p = -2*o + 3, 0 = -2*p - o - 4*o + 8. Let h be 44/104 - (1 - p - 1). Which is smaller: -1 or h?
-1
Let q be 0/(4 + (1 - 3)). Let w = -18502 + 1202626/65. Which is greater: q or w?
q
Let a = 17.533 - -1197.467. Is 2 greater than or equal to a?
False
Let j = 3/3763 - 26569/285988. Let n = -857/11780 - j. Which is smaller: 1 or n?
n
Suppose 0 = -4*y - r + 490, -4*r - 9 = -1. Let c = 110 - y. Is -64/5 at most c?
False
Let k = -0.3875 + 1297.3875. Is -7 at most k?
True
Let s(d) = 87*d - 94*d + 3*d**2 - 5 + 6. Let u be s(3). Suppose 5*i + 73 = 4*x, -2*x + u = -i - 10. Which is smaller: -4 or i?
i
Suppose -26*d + 15 = -41*d. Let t be 222/15 + d + 24/(-6). Which is greater: 11 or t?
11
Suppose -4*v + 5 = -11. S