+ 5*a = -25. Suppose n = -5*f - 2 + 22. Are f and 0.02 unequal?
True
Let l = -215467280/17 + 12634754. Let c = l + 39864. Let z = -72 + c. Are -1 and z unequal?
True
Let s(k) = -2*k**2 - 58*k + 1267. Let f be s(16). Is f greater than -193?
True
Let p(g) = g**3 + 11*g**2 - 28*g + 17. Let i be p(-12). Let x = i + -367. Which is bigger: x or 0.1?
0.1
Suppose 4*v - 3*w - 1448 = -2*w, -v + 367 = w. Suppose -473 = -4*x + i, -i = 3*x + i - v. Are 118 and x equal?
False
Let j = 29.9 - 30. Let a(y) = 5 + 33*y - 3 + 0 + y**2 - 44*y. Let t be a(12). Which is bigger: t or j?
t
Let c(v) = -35*v - 7*v**2 - 4*v**2 - v**3 + 0*v**2 + 28*v + 31. Let o be c(-10). Is 2/115 at most o?
True
Let f = 4 + -4.02. Let u be 3/5 + (-858)/10230. Let l = u - 82/279. Is f smaller than l?
True
Let v(n) = -624*n + 6. Let y be v(6). Let t be (7/y)/(1/3). Which is greater: t or 1?
1
Let x = 4248495/52 - 81702. Let q(u) = u + 6. Let z be q(-5). Do x and z have the same value?
False
Let u = -49 + 49. Let m(s) = -s**3 - s**2 - s + 7. Let z be m(u). Let l be z/9 - (-12)/54. Which is smaller: 2/65 or l?
2/65
Suppose 0 = -323*i + 311*i - 1008. Which is smaller: -22 or i?
i
Let q = 107 + -26. Suppose 0 = -5*p + q - 596. Suppose 57*h = d + 62*h + 39, 4*d + 2*h = -12. Is d > p?
True
Let w = 52.24 - 1.24. Let h = 43 - w. Is h at least -0.8?
False
Let i(c) = 16*c**2 - 4*c + 3. Let w be i(3). Let b = -167 + w. Does -32 = b?
True
Let j = -400.81 - -702.29. Is 1 at most j?
True
Let r(d) = -4*d**3 + d**2 + d + 1. Let b be r(-1). Suppose -4*i = -8*i + h + b, h + 5 = i. Let u = 3880/7 + -23273/42. Are u and i non-equal?
True
Let c = -206 - -196. Let s be ((1 - -4)/c)/((-5)/4). Is 89 at least as big as s?
True
Suppose -10*r + 86*r = -61940. Which is smaller: r or -814?
r
Let n = 2.7 + 61.3. Let t = n - 53. Is t greater than -0.1?
True
Let y = 1.3 - 0.39. Let h be (-10)/8 - -2 - (-96)/(-384). Is y != h?
True
Let h be 2*1 + 752/(-372). Let f = -68/279 - h. Let o = -53755 + 53755. Which is smaller: o or f?
f
Suppose 3*y = -5*u - 14, -2*u = 3*y - 3*u - 10. Suppose 0 = y*p - 2, -2 = l + p - 5*p. Suppose 0 = m - 2*m + 5*f + 41, l*m + 3*f = 17. Which is bigger: m or 15?
m
Let f be 14*(-145)/2436 - (38/12 - -2). Which is smaller: -139/21 or f?
-139/21
Let h be (-9)/(324/1170) + 0. Which is smaller: h or -33?
-33
Let a be (-52)/(-3)*3/(-2). Suppose -4*w + 15 = 4*v - w, -v = 3*w - 6. Suppose 10 = -v*z - 71. Is z less than or equal to a?
True
Let r = -5151.677 + 5152. Do 0.06 and r have the same value?
False
Let c(d) = 3*d + 41. Let r be c(-12). Suppose r*s = -13 + 1503. Let w = s + -874/3. Which is greater: w or 7?
7
Suppose -27*y - 180 = 3*y. Let c(h) = -h**2 + 12*h + 31. Let o be c(y). Is o bigger than -74?
False
Let s be -59*((-2)/4 - 3)/((-12)/(-24)). Is 415 != s?
True
Let w be 122/(-6) + 1/3. Let z = w - 1. Suppose 76524*d - 76523*d + 34 = 4*r, 2*d + 2*r = -38. Is z bigger than d?
True
Let j = 45299/228 - 596/3. Suppose -9*r + 39 = 3. Suppose 7*g - r*g = 0. Is g < j?
True
Let i(b) = 30*b**2 + 236*b - 21. Let a be i(-8). Let f be 0/1 - 56/(-5). Is f <= a?
False
Let w = -1.17 + 0.17. Let p = -2.14 - -2. Let h = -0.05 - p. Which is smaller: w or h?
w
Let v(i) = 4*i**2 - 5*i**2 - 55*i + 18*i + 22 + 3*i**2. Let r be v(18). Suppose -3*q = q - r. Do q and 1/38 have the same value?
False
Let z(s) = -s**3 + 59*s**2 + 146*s - 50. Let v be z(61). Are v and -2 nonequal?
True
Let g be -5*(-3 + -1) + (0 - -3). Let t be (-1359)/(-54) - (13/(-6) - -2). Let n = g - t. Which is greater: -1 or n?
-1
Let j = -608 + 605.69. Let p = j + 2.39. Which is bigger: 3/8 or p?
3/8
Let x be 1270/(-127) + 25/(-8). Let i = -8197787 - -5180993105/632. Let o = x - i. Is -1 at least o?
False
Let d be (-22)/(-5) + -4 - 465/(-25). Which is bigger: -7 or d?
d
Let u = 3665 - 3277. Is u less than or equal to 389?
True
Let p = -9410 + 9507. Is 0.01 < p?
True
Let x = 23 - 28. Let r be (-9 + 4)/x*1. Is 2/257 at least as big as r?
False
Let k = 822 + -37817/46. Suppose -2*q = 3*x - 4*x + 9, -5*x = -5*q - 20. Which is smaller: k or x?
x
Suppose 0 = o + 4*t + 436, 4*o - 268 = -3*t - 2064. Do o and -453 have the same value?
False
Suppose -g + 730 = 5*z, -5*g - 4*z = -3*g - 1490. Suppose -y - 2 = 0, 3*n + 3*y - 8*y = -g. Is n greater than or equal to -255?
True
Let b = -7 + 8. Let q = 312197/183 - 1706. Is b > q?
True
Let t = 0.0008 + 0.052. Let z = -0.1228 + t. Is -2/7 at least z?
False
Let x = -67/2 + 147/4. Let p(a) = 32*a - 72. Let y be p(4). Suppose -y = 12*t - 40*t. Is x less than t?
False
Suppose -3*a = 3*w + 9591 + 939, 17546 = -5*a - w. Which is bigger: a or -3510?
a
Suppose 0 = -2*y - 4008 + 564. Which is smaller: y or -1720?
y
Suppose 0 = -2*h - o - 1, -30*h + 35*h - 11 = 2*o. Which is bigger: 2/25147 or h?
h
Suppose 147*x + 366 = 208*x. Let b = 3 + 17. Let i be (10/15)/(b/x). Which is smaller: 0 or i?
0
Suppose 0 = 3*o + 2*t - 36, -2*o + 18 + 6 = 5*t. Suppose 0 = -7*k + 694 - 1. Let c = k + -87. Is c less than o?
False
Let l = -4510 + 2255001/500. Which is greater: 0.3 or l?
0.3
Let b = -353 + 2491/7. Let d(w) = -w**3 + 6*w**2 + 10*w - 18. Let u be d(7). Which is smaller: b or u?
b
Let h = 3.417 + -3.517. Which is bigger: -0.035 or h?
-0.035
Let t = -240743/31 + 7766. Is t less than or equal to 2/191?
False
Let d = -9067 - -9090. Which is smaller: -1/45 or d?
-1/45
Suppose 4*f - 31*t + 140 = 17*t, f + 2*t = 7. Which is greater: -14/2069 or f?
f
Let g(v) be the first derivative of -v**3/3 - 9*v**2/2 - 5*v + 5. Let q be g(-8). Let i be 0 + -3 - (q + -4 - 12). Is 10 equal to i?
True
Let x = -911 - -913.52. Are x and -0.6 equal?
False
Let g(f) = f**2 - 10*f - 37. Let p be g(13). Suppose 0 = -4*l + 5*j + 4, -p*l + j + 2 = -2*j. Which is smaller: l or 1/71?
1/71
Let n = -0.1 + 0.12. Suppose -102*h + 4*r + 36 = -105*h, -5*h + 9*r - 154 = 0. Which is greater: n or h?
n
Let n = -55201 + 55207. Let y = 5 + 2. Which is smaller: y or n?
n
Let i be 4204*((-75)/20)/(-15). Let o = i - 68323/65. Which is greater: 0 or o?
0
Let j(i) = 156*i - 1414. Let s be j(9). Let u be 2/(-10) - (-12)/10. Let c(v) = -14*v**3 + 2*v**2 - v. Let w be c(u). Is w greater than s?
False
Suppose 0 = -5*m + 5*z, -5*z + 22 = 5*m - 28. Suppose j + m*j = 0. Suppose -4*r + 3*v + 2 = j, -3*r + 2*r - 2*v - 5 = 0. Is r smaller than 3/113?
True
Let j = 2564 + -2566. Which is greater: j or -96.4?
j
Let z = -153/638 - -3/22. Let l be 2/(-6) + 4/12 - 0. Suppose 5*u - 3*m = -12, l = 3*u - u - 5*m + 20. Which is greater: z or u?
u
Let m be 16298/(219/9*8). Let z be (-7049)/76 + (-18)/(-2). Let h = z + m. Which is greater: h or -1?
h
Suppose -3 = -t + 4*t. Let v(q) be the second derivative of -13*q**4/6 - q**3/3 - q**2/2 - 912*q. Let a be v(t). Which is smaller: a or -23?
a
Let o(y) = 34*y**3 + 2*y**2 - 5*y + 2. Let f(z) = z**3. Let u(d) = -6*f(d) + o(d). Let m be u(1). Is 29 less than or equal to m?
False
Let d be -159 + 143 + 110/7. Is 43 bigger than d?
True
Let d(j) = 3*j**2 + 5*j + 1. Let g be d(-6). Suppose 100*z = -131*z + 13485 + 4533. Is z at least g?
False
Let i = 91 + 293. Let h = i - 419. Which is greater: -10 or h?
-10
Suppose -4*p = -4*u + 59 + 53, -4*u = -5*p - 111. Let w = 35 - u. Suppose -k - w = 33. Which is smaller: k or -38?
k
Let c(y) be the first derivative of -y**2 - 90*y - 261. Let n be c(17). Are n and -122 non-equal?
True
Let k(v) = v**2 + 4*v + 5. Let r be k(-3). Suppose f + 2*z + 0*z = -r, 0 = 5*f - 4*z + 24. Let b be (-3)/f*1/(42/(-4)). Is b smaller than 0?
True
Let p = 2/627 - 749/431376. Is p less than 1?
True
Let n = 6.432 + -0.132. Let x = -18.8 + n. Let w = 11.5 + x. Is 7 > w?
True
Suppose 291 = -5*f - 4*o, 3*f + 49*o = 51*o - 201. Is -80 greater than f?
False
Let z be (5 + -6)*4 - -61. Suppose -z*t + 51*t - 636 = 0. Which is smaller: -108 or t?
-108
Suppose -22*i + 26*i = -8. Let u be i/(-2) - (-473)/(-475). Is 0 less than or equal to u?
True
Suppose 0 = -4*t + 16, -10*t + 2325 = -p - 9*t. Is p at least as big as -2322?
True
Let h = -0.283 + -0.117. Let d be (-13)/26 - 107/(-2). Which is smaller: h or d?
h
Let v = -26304285/236 - -111459. Which is smaller: v or 0?
0
Suppose -3*w - 3*s = -449 - 940, -1403 = -3*w + 4*s. Is w <= 465?
True
Suppose 0 = -3*m + 61 - 52. Suppose 4*r + 20 = -4*u, 0 = -27*u + 30*u - m. Is -44/7 at most r?
True
Suppose 169*a - 17