-4937.397. Is b smaller than 1?
False
Let u = 275 - 598. Let a = 313 + u. Is a bigger than -3?
False
Let q be 7/1*690/(-6279). Which is smaller: q or 2.2?
q
Let i = 19625 - 1446. Are i and -0.1 nonequal?
True
Suppose 113 = 5*z + 98. Suppose -z*y - 18 = 3*y. Let h be (3/(-4))/((-4)/(-8)). Is h greater than y?
True
Let m(v) = -92*v + 166. Let z(g) = -11*g + 95. Let y be z(8). Let r be m(y). Is -478 smaller than r?
False
Let j(m) = -m + 20. Let r = 26 - 19. Let f be j(r). Suppose f = -4*z - 71. Do -21 and z have the same value?
True
Suppose 0 = 2*s - 11*s - 432. Let k = s - -29. Let f be ((5/6)/5)/(k/(-57)). Is -2/3 < f?
True
Let u = -10692 + 10980. Are u and 573/2 nonequal?
True
Suppose s + 37 = 39. Suppose -4*m + 8 = -4*v, 2*v + m = -s*v + 2. Is -16/31 at least v?
False
Let s = -5097 + 5096. Let t = 0.3 - -0.2. Let z = t - 8.5. Which is greater: z or s?
s
Suppose -2*h + 4*d + 64 = 0, 0 = -2*h + 6*h + 3*d - 84. Suppose f + 4*v - h = -4, 121 = 5*f - v. Which is greater: f or 26?
26
Let p be 8307/(-247) + (-15)/1. Which is bigger: -48 or p?
-48
Let s = -21221 - -16229. Is -4992 > s?
False
Let p(j) = 4*j - 15. Let m be p(3). Let i be (3/9)/((-7)/m + -2). Let n be i - (-2 - 52/(-20)). Is 15 greater than n?
True
Let n be ((-3)/2)/(15/(-4)). Let r be (48/36)/(4/(-54)). Let f be 2/(((-12)/18 + 0)*r). Which is greater: n or f?
n
Let n = -35.58 + 36.27. Which is smaller: n or 0.05?
0.05
Suppose 2*r = -6 - 10. Let c = -942 + 928. Does c = r?
False
Let v be (42/(-15) + 4)/(33/10). Suppose -4 = -13*t + 11*t. Suppose -t*o = -3*o. Is v at least o?
True
Let b be (12 - 5) + -3 + 0. Suppose -b*c = -12, 4*c - 17 = -0*r + 5*r. Which is greater: 2/91 or r?
2/91
Let b = -0.034 - -1.334. Let v = -33 - -31.7. Let p = v + b. Is p bigger than 3?
False
Let h = 0 + -2. Let o = 63/4154 - 32477/18693. Do h and o have the same value?
False
Suppose 8*r - 17*r - 81 = 0. Let z be r/(-18)*(222 - 0). Which is greater: -2 or z?
z
Suppose 4*r - 1 = -3*m, 2*m - 1 = 4*r - 7. Let x = -20209/192 - -421/4. Do m and x have different values?
True
Let v be (-4 - -1)/(-1) - 1. Let l be (v + -3 - 2) + 1 + 0. Let u be ((-3)/l)/(9/12). Do u and 2 have the same value?
True
Suppose 0 = -4*c - 5*u + 628, 4*c = -c - 4*u + 794. Let q = -35825/2 - -180757/10. Is q <= c?
False
Let c be (-21679)/(-5377) + -5 + 1. Which is smaller: c or 0?
0
Let n = 6 + -4. Suppose 0 = -573*r + 568*r - 30. Let q be r/21 + (-171)/105 + n. Is 1 equal to q?
False
Let b(a) = -34*a**3 - 12*a**2 + a - 1. Let i be b(-3). Let z = 7196/9 - i. Which is greater: -6 or z?
-6
Let j = -3968 - -3950. Which is smaller: j or -1.1?
j
Suppose 5*s - 5*x + 1320 = 0, 98 - 362 = s - 5*x. Let r = s - -163. Which is bigger: r or -100?
-100
Let w = -6565315/849 - -7733. Is w greater than or equal to 2/11?
False
Let k be (-37)/105 - 2/(-7). Suppose -5*z + 18 - 21 = -o, -z + 3*o = 9. Which is smaller: k or z?
k
Let j = 5886 - 5521. Is 365 at most j?
True
Let x(q) = 601*q - 2914. Let s be x(6). Are s and 693 equal?
False
Let f(z) = z**3 - 16*z**2 + z. Let r be f(16). Suppose m = -j - m + 30, 5*j - 90 = 2*m. Is j > r?
True
Let g be (-549)/147803*(-4)/6. Let i = g + 234995/14538. Are 17 and i non-equal?
True
Suppose -2*q - 2 = -2*f, -2*f = -91*q + 90*q. Which is smaller: -162/173 or f?
f
Let h = 1139/2 + -595. Suppose 59*m + 3000 = m - 62*m. Are m and h equal?
False
Let g = -18 + 16. Let o = 1.61 + 23.39. Which is smaller: o or g?
g
Let c be (-37)/((-999)/267516) - (0 - -6). Which is bigger: c or 9901?
c
Suppose 3*p = -2*j + 28, 0 = 3*j + 5*p - 345 + 302. Which is bigger: 69/7 or j?
j
Let t be (-5 - (-3 - 1))/((-6)/(-36)). Let a be (-5 - -7)/(-2)*58/t. Are a and 10 unequal?
True
Suppose -2*l + 3*g = -109, 168 = 7*l - 3*l + 4*g. Let k be (-6)/l*(-18)/(-9). Let y = k - -208/1551. Is 0 <= y?
False
Let y = 29 - 71. Let i = -23 - y. Let a be 5/(-30)*(-8)/(-4). Is i greater than or equal to a?
True
Let l = -83 + 353. Let h = 214 - l. Are h and -56 equal?
True
Let j be -16*12/6064*(-58)/(-8). Is 0 < j?
False
Suppose 0 = -4*f - 2*z + 110, 9*f - 137 = 4*f - 3*z. Let j be (27/(-12) - -3)/((-7)/f). Is j less than or equal to -1?
True
Let a be (-7 - -27276)*-3*(-1)/3. Let t be (-1)/3 + 9065/a. Is t bigger than 0?
False
Let d = 104.22 + -104.32. Which is smaller: d or 1520?
d
Let n = 4.506 + 0.494. Do -3/316 and n have the same value?
False
Let o = 0.4986 + -0.4484. Is o less than -2?
False
Let d(v) = -v**3 + 16*v**2 + 79*v - 276. Let j be d(13). Is 1257 at most j?
True
Suppose 3*j + 2191 = m - 2030, 2*j = 0. Is m <= 0?
False
Let w = 0.0429 - -1.0471. Let l = 10.3 + -9.89. Let x = w - l. Is x less than -1?
False
Suppose 0 = -4*q + 176 + 448. Suppose -11*u = -37*u + 4030. Is u at most as big as q?
True
Let t = -35 - -35.34. Let k = t - 0.4. Let o = k + 0.16. Which is smaller: o or 22?
o
Let p = 14218 + -25019. Is p bigger than -10800?
False
Suppose -2*r = -2*o - 54, 4*r - 5*o + 2*o = 105. Suppose 3*j - r = -204. Do -56 and j have different values?
True
Let x be (-1 + -4)*(-65)/15. Which is smaller: 22 or x?
x
Suppose 115*p = -139*p + 66*p + 188. Let y be (-21)/4 + (-2)/(-8). Is y smaller than p?
True
Let l(f) = -f**3 + f**2 - f + 4. Let j be l(0). Suppose a - 9 = j*i + 39, -i = 3*a + 25. Which is greater: i or -14?
i
Suppose 0 = 3*f - 1 + 4. Let w = -5578950/133 + 41947. Do w and f have the same value?
False
Let d(p) = -p**2 + 19. Let y be d(4). Suppose 0 = -u + t - y*t + 219, -3*t - 3 = 0. Suppose 5*z = 4*s - u, 0 = 2*s - 2*z + 3*z - 93. Is s >= 48?
True
Let q = 0.3 - 0.4. Let z = -185.45 - 43.65. Let w = z - -228. Which is smaller: q or w?
w
Let o(u) = -2*u**3 + u**2 + 4*u - 3. Let c be o(-2). Suppose c = 2*l + 17. Is l not equal to -5?
True
Suppose 0 = 3*n + 3*l - 2*l - 12, -2*n = -4*l - 22. Let o = n + 0. Suppose 0*p = -3*i + 3*p + 90, -4*i = o*p - 147. Is 33 > i?
False
Let f = 18837 + -1450480/77. Which is greater: 0 or f?
0
Suppose -2*s + 4*d = -7*s + 881, d + 532 = 3*s. Let n = s + -178. Is -3 greater than n?
False
Suppose 6 = -3*u + s, -u - 12 = -216*s + 214*s. Is -0.0534 at least u?
False
Let p = -3033/173 + 287035/11764. Let w = p - 27/4. Let l(z) = z**2 - 14*z. Let b be l(14). Which is smaller: b or w?
b
Suppose 4*p = 3*t - 33, 15 = t + 3*p - 9. Suppose 7*g + t = 2*g. Let b be (g - (-14)/6)/((-2)/142). Which is smaller: 48 or b?
b
Let q(g) = g**2 + 4*g - 36. Let i be q(5). Suppose 6*w + 4*h + 24 = 2*w, -w = -2*h - 6. Let m be ((-14)/21)/(w/27). Is m greater than i?
False
Let i = -729 + 521. Let b = -198 - i. Which is bigger: 9 or b?
b
Let o(z) = 36*z**2 - 7*z - 32. Let n be o(-4). Let u = 571 - n. Which is greater: -344 or u?
u
Let t = -0.106 + -0.009. Let p = t - -0.075. Is 1/3 at least p?
True
Let o = 0.86 - 0.03. Let s = o - -19.17. Let q = 22 - s. Is q >= -0.06?
True
Suppose 2*u + 5661 = -3*y, 4*y - 4*u + 4513 + 3035 = 0. Which is greater: y or -1886?
-1886
Let o be -19 + (-28)/(-35)*20. Suppose 0 = -i - 2*i + 66. Let p be (-2)/4 - i/4. Is o greater than p?
True
Let w = 2581 + -2578. Which is greater: 153/89 or w?
w
Let y be (-9)/(-6) - (-33)/6. Suppose -o + 24 = -y*o. Let k be (4 - 6/4)*o/(-165). Which is smaller: 2/7 or k?
k
Let l(u) = u**3 + 28*u**2 - 14*u + 434. Let q be l(-29). Let p be ((-2)/16)/(58/(-4)). Which is smaller: p or q?
q
Let c = 3292/15 - 1590046/7245. Do c and 7 have different values?
True
Let c = 3 + -2. Let a = -11783/9 + 1335. Let i = a - 21335/828. Which is smaller: i or c?
i
Let z = 2516 + -2515. Let g(j) = -6*j + 4. Let f be g(-3). Let o be 546/f - 6/(-33). Is z bigger than o?
False
Let c = 138 + -77. Let x = c + -61. Which is smaller: -2/411 or x?
-2/411
Suppose -q + 5*n = 3, 4*q + 14 = 2*q + 2*n. Let r be 1/60 - 2/q. Suppose 86*x + 92 = 146 - 140. Do x and r have different values?
True
Suppose 6*l + l = 0. Suppose 4*z + 1336 = -4*c, 2*c = 2 + 2. Let q be 6/32*z/(-108). Which is smaller: l or q?
l
Let m be 3/(11/26004*6). Which is smaller: 1180 or m?
1180
Let n(d) = -44*d + 2071. Let f be n(65). Is -777 bigger than f?
True
Let a be 1*(9 + -7 + 8). Let j = 13 - 12.2. Let b = j + 2.2. Which is greater: a or b?
a
Let d be 39/13 + -1*3. Let a = 3 - d. Suppose 16 = 2*w - 6*w, 2*l + 5*w + 14 = 0. Is a not equal to l?
False
Let y be 1/((-9)/15)*((-735)/(-84))/(-35). Let b(m) = m. Suppose 0*a - 5 = -5*a. Let z be b(a). Which