 as -0.02?
True
Suppose -15*g + 6*n = -13*g + 30, 15 = 3*g + n. Is 22 >= g?
True
Let y be -3*2/15 + 502/5. Suppose -2*p - 9 = 4*j - 5*j, -5*j + y = p. Which is smaller: j or 14?
14
Let z = -9073/1138490 - 1/3145. Which is smaller: z or 1?
z
Suppose -7*k = -28*k + 1029. Suppose k*m = 522 - 3266. Suppose -t = t + 2. Which is bigger: m or t?
t
Let v be 21 + -15 - 957/(-132)*(-1 + 407). Is 2949 != v?
True
Let x = 8 + -11. Let r be (((-629)/74)/17)/(61/(-4)). Is x bigger than r?
False
Suppose 7 + 12 = 65*a - 46. Which is smaller: a or 19/21?
19/21
Let w = -3686 - -11059/3. Is w smaller than -0.0055?
False
Suppose 8 - 4 = 2*n. Let i = 67/42 + 3/14. Which is smaller: n or i?
i
Suppose i + 4*d - 25 = 0, 138 = 4*i - 0*i - 3*d. Let w = i + -31. Suppose -g - 2*f = -23, 2*g + w*f - 49 = -3*f. Which is smaller: 16 or g?
16
Let d = 211.38 + 3.62. Let o = 232 - d. Is o not equal to 0.2?
True
Let u be (-400)/(-23840)*(-24)/10. Is u < 0?
True
Let q(f) = f - 5. Let u be q(7). Suppose 2*i + 4 = 3*j, -j + u*j - 4 = -2*i. Suppose 24*w - 23*w = -j. Which is smaller: w or -18/11?
w
Let o(i) = -42*i - 4. Let c be o(-3). Let d = c - 110. Suppose w - d = 2*q, 20 = -2*q - 4*w - 12. Which is smaller: q or -63/8?
q
Suppose 2*o = -2*l + 276, -2*o - 3*l + 696 = 3*o. Suppose -4*g + o = -39. Let n be (g/12)/(12/(-64)*-2). Is 12 > n?
True
Let n be (-1127)/9 + (-112)/63 + 2. Let c be ((-9)/(-15))/(5/n). Suppose 0 = -3*j + 3*r - 48, j + 6 = -4*r - 5. Is c at most as big as j?
True
Let l(d) = 2*d. Let t be l(1). Let n be (3 - 15/9)*(-27)/t. Let y be ((-2)/n)/((-1)/4). Are 0 and y unequal?
True
Let l be 1 - 1974/35 - 9/15. Let k be (-6)/((-9)/(-8)*l/12). Which is bigger: k or 1/5?
k
Let j = 4866 + -4872. Is 3/7 less than j?
False
Let p = 135/4 + -34. Let n = 48.3 - 28.8. Let a = n - 6.5. Which is smaller: a or p?
p
Let m = 8862.6 + -8861. Are 0.8 and m unequal?
True
Let s(c) = -c**2 + 302*c - 2350. Let u be s(8). Which is smaller: 1749 or u?
u
Let r be ((-6332)/(-28) + 2)*28. Is r at least 6388?
True
Let a be -4*2/(-4) - (-12 - -16). Let v be (0 + a/(-4))/(2/12). Let m be ((-2)/v)/((-10)/42). Which is smaller: 4 or m?
m
Let b be ((-229)/421818)/(1/4). Which is bigger: b or -14?
b
Suppose -4*i - 41 - 19 = 0. Let f be i*2/(-4) - 6. Is -1 greater than or equal to f?
False
Suppose -5*v + 2*y + 3 - 1 = 0, -4*v + 5*y + 5 = 0. Suppose -7*g - 548 = -3*g + 5*t, 5*g + 4*t + 685 = v. Which is smaller: -136 or g?
g
Let g = 25.789608 + 0.146992. Let q = -0.0366 + g. Is -1 <= q?
True
Let z(s) = -s + 10. Let u be z(5). Let k = -3632 + 3622. Is k greater than u?
False
Suppose -4*v = -n - 21, 0*v - 15 = -v - 3*n. Let s be ((-8)/36*-10)/(28/v). Is s at least as big as -1?
True
Let n be (3 - (-74)/(-24))/(-11 - (-691)/58). Which is smaller: 0 or n?
n
Let u be (-26)/(-3)*(-2)/6. Suppose m - 1 = 0, -m + 32 = -2*c + 385. Suppose -5*z - 187 = -c. Is u not equal to z?
True
Let m = 1.146 + -53.046. Let h = -36 - m. Let c = h - 15. Which is bigger: c or -2?
c
Let y be (-6*(-3)/3)/(-1 - -3). Let f be 0/(y - (0 + 2)). Suppose -5*r - 18 - 2 = f. Which is greater: r or -5?
r
Suppose -9*k + 1366 + 821 = 0. Let q be k/(-2)*66/(-99). Is q less than or equal to 81?
True
Let t(v) = v**2 + 7*v + 6. Let u be t(-4). Suppose 3*s = 3 + 3. Let p be (-273)/52 - 1/4*s. Is u != p?
True
Let z be (-7)/(14/(-8))*(-2 + 3). Let p(y) = -32*y + 23. Let u be p(z). Which is greater: u or -107?
u
Let f = -1527/143824 - 1/1616. Is -10 < f?
True
Let q be (6/15)/((-2)/20). Let b = -1117/90 - -123/10. Which is smaller: q or b?
q
Suppose 0 = -14*x - 15 - 27. Let z be (-2 + (-13)/(-3))/(1/x). Let v be 4*(z/2 + 4). Is v <= 5/4?
False
Let f = 5.0874 + -0.0874. Is f less than or equal to -1/704?
False
Suppose -22*o = 2*s - 32*o - 312, -s + 144 = o. Which is bigger: s or 138?
s
Suppose 21*f = 144 + 234. Suppose 4*w - f - 980 = -u, -u = -w + 252. Are w and 250 equal?
True
Suppose 2*o - 2512 = 3*y, -o - 4*y - 488 = -1744. Is o > -0.1?
True
Let m(f) = -f**3 + 2*f**2 - 2*f + 38. Let h be m(0). Suppose h*u - 88 = 34*u. Which is smaller: 19 or u?
19
Let w be (-2)/(-8) - (-262)/(-984). Let r be 4/(-40)*5*-2 + 0. Is w != r?
True
Let m be ((-9)/(-18))/((-2)/12). Let c be 5 + -3*(-1)/m. Suppose q + 3*q = 8. Which is greater: c or q?
c
Suppose 8*x - 432 = -0*x. Let n be x/36*(-104)/(-3). Let u = -56 + 107. Which is greater: u or n?
n
Let a = -3205 + 4204. Which is greater: 1 or a?
a
Let i = -20.8717 - 0.1283. Let y = -4.092 + -16.878. Let m = i - y. Which is smaller: 0 or m?
m
Let r be (-6)/(-2) + (3/(-2))/(235/305030). Are r and -1943 equal?
False
Suppose 4*r + 73 = 3*h, 2*r = 2*h - 6*h - 20. Let n be (4/r)/((65/12)/13). Which is bigger: n or -2/7?
-2/7
Let w = -34.2 + -2037.8. Are 1 and w nonequal?
True
Let j = -49.9 - 29.95. Let a = j + 123.9. Let x = 44 - a. Which is bigger: x or 0?
0
Let t be 3526/(-1759) - (6 + -8). Let d = t - 473131/8795. Let i = d - -15607/290. Which is greater: i or 1?
1
Suppose 0 = -6*y + 34 + 26. Let b be 0 - (y/2 + -6). Is b < 2/17?
False
Let w = 7532/117 + -614/9. Are -5 and w non-equal?
True
Let d = -221 + 229. Let k be d/24 - 1024/3036. Is 0 smaller than k?
False
Let t = -461 - -886. Let l = t + -405. Which is smaller: l or 0.09?
0.09
Let u(q) = q**3 + 14*q**2 + 21*q + 29. Let j be u(-8). Let o be (1 + (-217)/j)*25/10. Is -3/58 at most o?
True
Let x = -18596/9 + 2066. Which is bigger: x or 99/7?
99/7
Suppose -3*m + z - 14 + 15 = 0, 20 = 4*z. Let q be (-9*14)/1 - (m + -6). Are q and -243/2 nonequal?
True
Let x(z) = -3*z - 16. Let i be x(-8). Suppose -j = 3*r - i, -4*j + 8 = -2*j + 2*r. Suppose -10 = -2*v, -a + 3*a + 26 = -j*v. Which is bigger: -16 or a?
-16
Let j(p) = 16*p**3 - 2*p**2 - 3*p + 16. Let r be j(3). Suppose -3*v + w + r = 0, -4*v + 572 = -3*w - w. Suppose x - 174 + v = 0. Is x less than or equal to 33?
False
Let i = -17 - -9. Let o = -1974 - -1972. Let u be 4 + (-8 - o) + i. Does -9 = u?
False
Let y = -2185 + 2184. Which is greater: 169 or y?
169
Let m(a) be the third derivative of a**4/12 + 7*a**3/6 - 6*a**2. Let p(w) = -2*w**2 - 9*w - 1. Let x be p(-5). Let u be m(x). Does -8 = u?
False
Let y = 0.111 + -0.112. Let k = y + -0.099. Let m = 0.58 + 48.42. Which is greater: m or k?
m
Let u = 2267 - 3198. Which is smaller: 0.1 or u?
u
Let h(c) = 3*c - 6. Let u be h(-2). Let l be (2/(-98))/(6/u). Which is smaller: 0 or l?
0
Let i be 8905*((-13)/(-26))/(2/(-4)). Do -8904 and i have the same value?
False
Let w(b) = -b**3 + 26*b**2 + 29*b - 54. Let j be w(27). Let o be 10*(-2)/(-5) - (4 - j). Which is bigger: o or -1/109?
o
Let f be (18/105)/(1365/(-637)). Let d be (-2 - 2*-4)*-1. Let w = d + 5. Which is smaller: f or w?
w
Suppose -139*g = -144*g + 270. Let c be ((-2)/12 - (-18)/g)*6. Which is bigger: 18/11 or c?
18/11
Let m = 61124 + -794158/13. Which is smaller: 34 or m?
34
Suppose a = -4*a + 1140. Let k be (-7)/28 - a/(-784). Is 0.06 < k?
False
Suppose 12*j + 16 = 13*j. Suppose -14*m = -j*m. Is m > -16/19?
True
Let s(j) = 2*j**2 - 13*j + 45. Let m be s(5). Suppose r = 46 - m. Is r < -10?
False
Let u = -0.0654 - 0.2216. Let a = 0.387 + u. Is a greater than -73?
True
Let o = -10251 - -10372. Is o equal to 134?
False
Suppose 3 = 73*y - 83*y - 7. Which is smaller: 2/251 or y?
y
Let v(z) = -z**2 - 75*z + 6075. Let a be v(49). Are 1290/7 and a equal?
False
Let u = -86 + 78. Let a = u + 9.2. Let v = -1.3 + a. Which is greater: -2/19 or v?
v
Let k = -24804678027/3560 + 6967606. Let j = k - -10/89. Let r be (-3 - 6/(-3) - -2) + -2. Is r greater than j?
False
Suppose 9*p - 169*p = 31*p + 3820. Is p > 177?
False
Let b(n) = 137*n - 5294. Let l be b(33). Is -773 != l?
False
Let s(p) = p**2 + 3*p. Let g be s(-6). Let u = g + -5. Let z = 7349/633 + 12/211. Which is greater: u or z?
u
Let z(s) = 3*s + 36. Let u be z(-12). Suppose -10*o + o = u. Suppose o = 13*l - 18*l + 70. Is 12 <= l?
True
Let q be ((-31590)/91 - -10) + 18/(-21). Which is greater: -337 or q?
-337
Let a be (-4)/(16/(-603))*(22 + 122)/(-12). Is a < -1811?
False
Let g = 10708 - 10691. Are -50 and g nonequal?
True
Suppose -3*r - 16 = -4*r. Suppose r - 12 = 2*i. Suppose -3*f = f, i*p = -3*f + 26. Which is smaller: p or 12?
12
Let p = -27.516 - 0.084. Let m = -31 - p. Let z = m - 2.6. Which is smaller: z or 0?
z
Let u = -359 - -186. Let c = u - -177. Does 17 = c?
F