 t?
False
Suppose 5*q = -4*c - 2244, -3*q - 4*c - 982 - 366 = 0. Which is greater: q or -450?
q
Let x = -0.0165623 + -29.0365377. Let j = 0.0531 + x. Which is smaller: j or 2/3?
j
Let z(j) = -j**3 + 10*j**2 + 26*j - 27. Let m be z(13). Let x = -165 - m. Which is bigger: -6 or x?
x
Let a be 410/(-394) - (20/(-28) + 18/(-63)). Which is greater: a or 1?
1
Suppose 180 = -g - 3*g. Let h = 170 - 173. Let x be (1/(h/(-2)))/(43/(-2967)). Are x and g equal?
False
Let c = 39 + -40. Suppose 2*o - 3*o + 60 = 0. Let r be -2 - (c + o/5). Which is smaller: -11 or r?
r
Let f be (72/774)/(((-4)/6)/(-1)). Let n(h) = -h**3 + 16*h**2 - 15*h + 2. Let u be n(15). Let g be (u/7)/(18/63). Is g at least f?
True
Let g = 840 - 724. Suppose 2*f - 3*u = 3*f - 126, -5*f + 3*u + 558 = 0. Is f at least g?
False
Suppose x + 42 = 6*f, 2*x = 3*f - 77 + 56. Is x at least 12/3113?
False
Let r = 1575 - 302401/192. Do r and -1 have the same value?
False
Let s be (-42*11/33 - -11)/((-274)/70). Is -0.1 less than or equal to s?
True
Let g = 2507/14 - 179. Let r = 5/21 - g. Is r at most 3?
True
Let u = -331 - -333. Suppose -17 = -3*v - g + 17, u*v - 16 = -4*g. Is v smaller than 14?
True
Let a(m) = -8*m + 206. Suppose -6*y = 59 + 61. Let q be a(y). Is q >= 366?
True
Suppose 0 = -s - s - 258. Let f = s + -13. Let w = f - -553/4. Is -5 greater than w?
False
Let b = 203026 + -363213528/1789. Is b greater than 1?
False
Let x = 82 + -106.5. Let y = 24 + x. Which is smaller: 3/2 or y?
y
Suppose -42*r + 6 = -40*r. Let m be (454/4)/(r/(-12)) - -1. Is -453 less than m?
False
Suppose 2*b + 7 = -3*i - 2*i, 2*i + 4*b = -6. Suppose 13*o + 80 = 15*o. Let q be ((-1)/(-118))/(o/(-32) - -1). Is i bigger than q?
False
Let u = -3933/17 + 231. Let t(g) be the first derivative of -g**4/4 - 8*g**3/3 - 5*g**2 + 12*g + 32. Let l be t(-6). Which is smaller: u or l?
u
Suppose -3842 = 15*s - 482. Let z be 2/(-7)*s/8544. Which is greater: z or 0?
z
Let b(a) = a**3 - 5*a**2 + 12*a - 12. Let c be b(4). Suppose -7*r + 11*r = c. Is r > -5?
True
Suppose 1024 - 1036 = -6*z. Is z less than or equal to 31/47?
False
Let p be (-2436)/(-1170) + -1 + -1. Let z = -485 - -7282/15. Let a = p - z. Are 1 and a equal?
False
Suppose -f - f = 22. Let w = f + 15. Let v = 1/121 + -370/847. Is w at most as big as v?
False
Let m be (-8)/6*(-72)/362640. Is -1 > m?
False
Suppose -4*n + 2*n - 6 = 0. Let d be (11 - 22 - -25)/(-20 + 12). Is d less than or equal to n?
False
Let s = -3118 + 3237. Which is smaller: -0.2 or s?
-0.2
Let d = -1344 - -1335. Is d equal to -19?
False
Suppose 9*r + 8551 + 476 = 3*m, -1017 = r - 5*m. Which is smaller: r or -995?
r
Let k = -850.62 + -2.38. Is k greater than or equal to -2/11?
False
Let d = -920.9819 + 920. Is d < -1?
False
Let h be (816/(-238))/(2/(-399)). Suppose 0 = -36*j - h - 900. Do j and -45 have the same value?
False
Let i = -5209792259/180625017 - -2/3541667. Let c = 86/3 + i. Which is bigger: c or 1?
1
Let z = 25524 + -25523.8. Suppose 0 = g - 63 + 6. Which is smaller: g or z?
z
Let w = -1 - -11. Suppose -r = 3*z - 28, 7*z - 26 = 4*z - 2*r. Let v be (z - 4)/3 + 0/3. Is w != v?
True
Let u = 0.04156 - 0.04156. Which is smaller: 1457 or u?
u
Let n(x) = -x**3 + 11*x**2 - 17*x + 131. Let f be n(10). Is f at most as big as 74?
True
Let y be -2 - (225/(-7) + 1/7). Suppose -3*t + 27 = -51. Which is greater: t or y?
y
Let q = -127 - -216. Let x = 81 - q. Let d = -4 - -6. Which is greater: d or x?
d
Let k be (9 - -1)/2 - 1. Let f be (6/27)/(k/(-12)*2). Let j = -3 + 4. Which is bigger: f or j?
j
Suppose -2*b - r + 2268 = -1582, 5808 = 3*b - 4*r. Which is bigger: 1929 or b?
1929
Let z = -2/5363 - -3662935/16089. Which is smaller: z or 228?
z
Let c(b) = -b**3 + 2*b**2 + b + 1. Let a be c(-2). Suppose a*o - 18*o - 96 = 0. Which is bigger: -29 or o?
-29
Let h = 193724 + -766647/4. Which is greater: h or 2062?
h
Let j(c) = -c**3 - 21*c**2 - 25*c - 25. Let z be j(-20). Let s = -74 + z. Let a = 167/26 - 82/13. Is s != a?
True
Let m = 48.8 + -47.8. Let h = -236.77 + -5.23. Is h equal to m?
False
Let q = -179.6 + 234. Let r = 54.3 - q. Which is smaller: 0.21 or r?
r
Suppose -5*i = -0*i - 10. Let l(n) = 1 - 2 - n - 2 + i. Let d be l(-2). Which is bigger: 6 or d?
6
Let u(k) = -356*k - 282. Let v be u(8). Are -3130 and v unequal?
False
Let y be (5 + -1)*-1*(-2)/36. Let u = -37.0484 - 0.0516. Let l = -37 - u. Which is smaller: l or y?
l
Let z = 11 + 7. Suppose -33 = 15*w - z*w. Let r be (-774)/(-84) - 4/(-14). Is w >= r?
True
Suppose -7*f + 2*p = 7, 5*f + 51 = p + 46. Is -3/641 > f?
True
Let x be ((-100)/(-24) - 4)/((-29352)/48). Is x >= -1?
True
Let x = -326.9 + 375. Let u = -161 + 113. Let a = u + x. Is a equal to 3.8?
False
Let k = -1856 + 3715. Is 1860 less than or equal to k?
False
Let j be 42*(-41)/(-861)*(-3)/161. Is j smaller than 0.4?
True
Let a = 112469/11 + -113694/11. Which is smaller: -111 or a?
a
Suppose 501 = -6*v - 555. Let k = v + 290. Let y = k - 112. Which is smaller: y or 9/14?
9/14
Let o be (-4)/(-3) + 0 - (-3601)/(-39). Which is greater: o or -41?
-41
Suppose 5*m + k - 473 = -152, -3*m = -3*k - 207. Suppose 5*c - m = -2*h, 5*h + 0*h + 2*c - 110 = 0. Let n = 23 - 3. Is h greater than n?
False
Let t(c) = 104*c**3 + 4*c**2 - 2*c - 2. Let f be t(1). Suppose -53 - 302 = -5*v. Suppose 3*k + f = 2*d, v = -0*k - 2*k + 3*d. Is k equal to -33?
False
Let f = -0.246 + 2.186. Let n = f + -2. Does -0.3 = n?
False
Let o = 2.9914 + 0.0086. Is 0.2 equal to o?
False
Let c = 0.098 + -0.488. Let w = -0.11 - c. Which is bigger: w or -0.06?
w
Let b(i) = -3*i**2 + 24*i - 1. Suppose h + 7 = 3*j, 4*j - 5 = h + 6. Let d be (-6)/j*((-112)/(-21))/(-1). Let r be b(d). Does 3 = r?
False
Suppose 4*t - 4 = -2*k, -5*t = -0*k - k + 9. Suppose -2*p - k*a + 0 - 2 = 0, 4*p - 2*a - 6 = 0. Which is smaller: 1/41 or p?
1/41
Let m = 540.53742 - -2.65058. Let r = -526.2 + m. Let j = r + 0.012. Which is smaller: j or -1?
-1
Let c(n) = 20*n + 18. Let r be c(0). Let h be (192/(-84) - -7)/(r/(-4)). Is -1 > h?
True
Let i be 19/(-1) + 267244/13916. Which is smaller: i or 48?
i
Suppose -2*p = 4*p - 144. Let n be (p/(-2))/(12/(-16)). Let m be 3 + n/(-5) + 3/5. Which is smaller: -38 or m?
-38
Let r be ((-2)/(-6))/((-17)/((-816)/(-64848))). Which is smaller: 1 or r?
r
Suppose 26 + 18 = 11*r. Suppose -2*o + 5*k = o + 229, k = -r*o - 336. Are -83 and o nonequal?
False
Suppose 0 = -4*i - 2*n - 28, -2*n + 6 = -i + 14. Let b be 6/(-5)*(-16)/(-6). Which is bigger: b or i?
b
Let o = -300 - -260. Let v be (o/16)/((-15)/6). Do v and -2/187 have the same value?
False
Let k = -37 - -40. Suppose 0*u - 47 = -k*p - u, p - 25 = -5*u. Are p and 9 equal?
False
Let x be (-108)/180*(-260)/4. Which is smaller: x or -9/4?
-9/4
Suppose -4*o = 3*t + 33, 2*o = 5*o + 5*t + 33. Let p be (4 + o)/(3/((-1134)/4)). Let y be ((-6)/p*3)/(18/42). Which is smaller: 9 or y?
y
Let a(t) = 2*t**2 + 66*t + 325. Let r be a(-6). Which is smaller: r or -3474?
-3474
Let l be 185130/(-1224) + (-15)/4. Which is smaller: l or -147?
l
Suppose 5*r + 20628530 = -5*q, 7*r = 2*r. Let f = q - -1967962459/477. Let k = -5/53 - f. Do 1 and k have different values?
True
Let q = 44 + -52. Let n(y) = -4*y - 28. Let v be n(q). Let b be 1/(-3) + v/12. Does 8/13 = b?
False
Suppose 436*h = -1375*h - 5433. Let k = -29.3 + 24. Is h > k?
True
Suppose -4 = 2*f, 6*o = 7*o - 2*f - 16. Suppose b - 4*p = -20, -b - p - o = -3*p. Is b at least 0?
False
Let c(m) = m**3 + 3*m**2 + 2*m + 1. Let a be c(-2). Let z be (-6)/3 + 6/((-750)/4745). Let v = z - -40. Which is greater: a or v?
a
Suppose -2*k = t + 15, -t + k - 7 + 4 = 0. Let s(a) = a**3 + 7*a**2 - 25. Let l be s(t). Is -23 at most as big as l?
False
Let j be (0 - 1)*63/(-7). Let o be ((-11)/5)/((-3)/15) + 4. Is o greater than j?
True
Let g = 159 - 160. Let l(i) = 25*i + 1. Let f be l(g). Let a be 16/10*(-2 + -13). Is a not equal to f?
False
Let k(v) = -v**3 + 22*v**2 - 14. Let d be k(22). Let w be (66/d - -5)/(95/7). Is w bigger than -1?
True
Let w = 6.468 + -6.7. Let l = w + 0.132. Let o = -3 - -2.98. Which is smaller: l or o?
l
Suppose -3*y = -4*t + 30 - 231, 0 = -3*t. Let k = y + -61. Is k greater than -7?
True
Let k = -1040 + 1039. Let y = 1 - 5. Let a be y/14*(-8)/(-56). Which is smaller: k or a?
k
Let o = -181 - -241. Suppose 0 = 4*g - 4*r - o, g + 10*r -