 Is 0 < a?
True
Let r = 2/4579 + -9380/508269. Let p be 4/(-78)*13/117. Let g = p + -347/702. Which is bigger: g or r?
r
Let i = 5591.14 + -5592. Which is greater: i or 2?
2
Let q be 15/(-6)*(14 + 312/(-20)). Is -1.89 smaller than q?
True
Let a(p) = 1024*p - 1214. Let i be a(5). Is 3907 not equal to i?
True
Let p = 10427 - 10499. Are 17 and p nonequal?
True
Let m = 86 + -58. Let b(t) = -22*t + 292. Let j(i) = 5*i - 58. Let k be j(14). Let x be b(k). Is x smaller than m?
False
Let i(g) = -g**3 + 12*g**2 + 42*g + 48. Let m be i(15). Which is bigger: 11/7 or m?
m
Suppose 97*v = 18*v + 80 - 1. Which is smaller: v or 1/344?
1/344
Let t = 657.2 - 676.1. Is t at most -2/11?
True
Let c(w) = 18*w**2 + 34*w + 0 - 7*w**2 - w**3 - 6 - 5. Let m be c(13). Is m less than or equal to 93?
True
Let r = 199/6923553 + -2/3623. Is r greater than 1/3?
False
Let d(x) = 68*x + 386. Let z be d(-51). Is -3082 < z?
False
Let o be (-2)/(-4) - (-195)/10. Suppose -4*b + 315 = -7*b. Let m = b - -125. Are m and o equal?
True
Let h(g) = g**3 + 7*g**2 + 12*g + 5. Let o be h(-9). Let q = -287 - o. Is q > -2?
False
Let k be (-189)/180*(-76)/(-266). Which is greater: k or -145?
k
Suppose -115*c - 15*c = -602010 + 115160. Which is greater: c or 7489/2?
c
Let b(l) = -341*l**2 - 996*l. Let h be b(-3). Let n = -92 + 12. Is h at most as big as n?
True
Let t be (-14010)/(-20)*10/(-165). Which is smaller: t or -42?
t
Let n = 9993 + -8446. Which is smaller: n or 3/2?
3/2
Suppose -8*s - 70 = -3*s. Let u = -19 - s. Let q be 85/u - (0 - 1). Are -15 and q non-equal?
True
Let a = 179329/4 + -44764. Suppose -d - d = -136. Is a at least d?
True
Let o = 4600 - 4599. Is o greater than -1/102?
True
Let x = 19.31 - 2.61. Let y = 17.7 - x. Which is smaller: 1/16 or y?
1/16
Let c = -69/53 + -5/159. Which is smaller: c or -25/7?
-25/7
Let m = -2.31 - 1.99. Let s = -277.3 - m. Which is smaller: 1 or s?
s
Suppose -3*l - 59205 = 5*x - 8*l, x + 11838 = 4*l. Let p = x - -35855/3. Is p not equal to 110?
True
Suppose -3*x - 26 = -5*s, 76 = 5*s + 4*x + 29. Let p be s/14*(-6)/37. Is p at least 0?
False
Let s be 740/2775 - (-11002)/(-41145). Is 1 < s?
False
Let s be 3/(-2) + -1 + (-75)/(-30). Let m = 1784 - 173046/97. Is s < m?
True
Let j = -112160/13 - -8612. Which is smaller: -16 or j?
-16
Suppose 0 = 5*w + 366 - 21. Let g be w/(-240) - (-7)/(-28). Which is smaller: -1 or g?
-1
Suppose -69*x + 26*x = -20554. Which is smaller: x or 477?
477
Let i = 14/341 - 47/341. Suppose 118 - 49 = 3*r. Suppose 5*w + 15 = -3*q, 5*w - 4*q + 3 = r. Which is bigger: w or i?
w
Suppose 8397*v = 8458*v - 1952. Suppose -m = -0*m - 3*p - 37, 2*p = -m + 22. Are v and m nonequal?
True
Let k = -19 + 13. Suppose 0 = -2*i + 2*w + 48, 0 = 12*i - 7*i - 3*w - 128. Let h be ((-450)/1225)/(k/i). Which is bigger: 2 or h?
2
Let j = -448 + 567. Which is smaller: 120 or j?
j
Suppose -3*h + 34 = 4*o - 1, 10 = 2*h. Which is smaller: o or 6?
o
Let u = 2908639/3 + -958178. Let k = 11485 - u. Do 118 and k have different values?
True
Let b = -1.1 + 4.3. Let i = 48.2 - b. Let r = i - 45.2. Which is greater: r or -16?
r
Let o(a) = -32*a + 143. Let p be o(6). Let r(z) = -z**3 + 4*z**2 + 5*z. Let b be r(5). Suppose b*y + 3*y + 147 = 0. Is y less than p?
False
Suppose 21*a - 140 = 13*a - 2*u, u = 2*a - 38. Suppose -6*v + 4*v = -40. Which is smaller: v or a?
a
Suppose 51*y - 62*y = -99. Let u(d) = -d**3 + 8*d**2 + 10*d - 32. Let q be u(y). Is -3 less than or equal to q?
False
Let d = -0.04 + -13.96. Let a(h) = -6*h + 12. Suppose 5*p = -2*l - 0*l + 2, -12 = 3*l. Let q be a(p). Which is greater: q or d?
q
Let o = -10421 - -531472/51. Is 18/23 smaller than o?
False
Let u be (-31)/55 - (-14)/(-77). Do u and -1 have the same value?
False
Let o = -92 - -92. Suppose -3*g + 14*g - 572 = o. Which is greater: 55 or g?
55
Let a = 1567.3 - 1661. Let i = a + 99. Let y = -4.3 + i. Which is smaller: y or -4/5?
-4/5
Let z(x) be the third derivative of 3*x**4/8 - 85*x**3/3 - 246*x**2. Let q be z(19). Which is smaller: q or 2/199?
2/199
Let i be 2*16/(9984/(-17016)). Which is smaller: -55 or i?
-55
Let g = 213/125 - 17/10. Suppose 4*p + 5 = -2*b - 3*b, -4 = 4*b + 2*p. Is g less than or equal to b?
False
Let i(k) = k**2 - 22*k - 109. Let r be i(53). Do 1533 and r have the same value?
False
Let l(o) = -97*o**2 - 70 + 17*o + 56*o**2 + 40*o**2. Let a be l(10). Which is smaller: a or -1/335?
-1/335
Let w(x) = -x - 1. Let j be w(0). Let a = 35/93 - -5474/1023. Let n = -597/110 + a. Are n and j equal?
False
Let v(i) = 1775*i**3 - 4*i**2 - 7*i - 4. Let h be v(-1). Let k = h + 5230/3. Is -32 <= k?
False
Let r = -0.3839 + 1.0679. Which is bigger: 0 or r?
r
Let o = 86 + -84. Let j(p) = p**2 - p + 2. Let b be j(o). Which is smaller: 38 or b?
b
Let f = -5345330/577 - -9264. Which is smaller: 0 or f?
f
Let k be -7 + (10 + -10 - -798) + 1/(-3). Which is bigger: 792 or k?
792
Let f = 1.266 + -1.366. Is f less than 5182?
True
Suppose 0 = 5*f - 5, -4*f + 3*f = -4*p + 307. Suppose 2*j - p = -49. Suppose -3*b = -j + 14. Which is greater: 10/13 or b?
10/13
Suppose 0 = -2*t - 5*s - 2, -t = t - s - 10. Let z be (-78)/14 + 4 + 6/t. Is 0 != z?
True
Suppose 13*m = 11*m + 270. Let x be (-417)/(-27) - (-30)/m. Which is bigger: 16 or x?
16
Let b = -4.94 - -4. Let i = b - 38.06. Let g = -11 + 12. Which is greater: g or i?
g
Let t be (-5)/((-245)/14)*7/1. Let w be -7 + -2 + (7 - t). Is -3 less than w?
False
Let a = -2 + 1.9. Let v be (8*(460/50 + -9))/(-2 + 2 + -1). Is v smaller than a?
True
Let r(i) = -6*i**2 - 15*i - 7. Let d(o) = -11*o**2 - 29*o - 14. Let w(y) = 4*d(y) - 7*r(y). Let a be w(-4). Does 5 = a?
True
Let z(u) = -2*u**3 + 7*u**2 + 18*u + 23. Let f be z(-2). Which is smaller: f or 35?
f
Let a = 20403 + -20409. Suppose 0 = -0*h - 3*h + 12. Suppose 0 = x + h*x + 15. Which is bigger: a or x?
x
Let l(z) = 20*z**2 - 327*z - 2224. Let f be l(-7). Is f less than 1046?
True
Suppose 46*u - 1284 = -3*n + 50*u, -3*u = -n + 428. Which is smaller: 2998/7 or n?
n
Let p be 1/((-14)/4 + 3). Let z = 110 + -95. Suppose 11*a + z*a = -676. Which is smaller: a or p?
a
Suppose -4*x - 5 = -9*x. Let d be (-39)/(-39)*(0 + x)/(-3). Which is bigger: d or 0.084?
0.084
Suppose l + 13 = 1. Let c = 4 - l. Let r(j) = -j + 13. Let q be r(c). Is q bigger than -4?
True
Let z be -11210 + (12 - (0 + (2 - -2))). Is z >= -11201?
False
Let p be (-13)/(-52) - (1755/(-52) + -29). Let l be (-2 - -1)*-1 - -64. Is l less than or equal to p?
False
Suppose 2*w = -10, 3*g - w = 4*w + 37. Let c = -1989 - -1994. Which is smaller: c or g?
g
Let v be ((-1557)/(-6))/((-249)/(-36) + -7). Let s = v - -12539/4. Which is greater: 20 or s?
s
Suppose -2*x + 303 = -7. Let j be 133*5453/4693 - (-12)/26. Is x at most j?
True
Suppose 103*c = -5*n + 106*c + 12, -2*n + c + 5 = 0. Does 92/49 = n?
False
Suppose -6*y - 1229 = -11*y - z, 5*y = z + 1241. Do y and 21 have different values?
True
Let o = -6 + 16. Let a be (-4)/78*3 + 2214/533. Let v be 12/(-40)*a/(-3). Which is greater: v or o?
o
Let y = -1 - 13. Let a be -3 + (93/21 - 8/y). Suppose -2 = f + f, -4*r = -2*f - a. Which is bigger: 2/17 or r?
2/17
Let s be (5*(-30)/175)/(3/266). Let f = -51 - 25. Is s at least as big as f?
True
Let g = -8 + 4. Let c = -13 - g. Let t = -1356.24 - -1356.14. Is c >= t?
False
Let f = 598121/380 + -1574. Is f at least as big as 1?
False
Suppose 12 = 2*p + 2*p. Let k be (-4)/p - 33/(-99). Which is greater: 2/379 or k?
2/379
Suppose 18 + 144 = m. Suppose 0 = -4*d + 6*d - m. Suppose 138 = -5*c - 5*z + 568, 2*c = -5*z + 187. Is c at most as big as d?
True
Let x = 2267 - 2264. Let p = 1539/664 + -16/83. Is p >= x?
False
Let q = -1225.0577 + 1225. Let h = q + 0.1777. Is -6 greater than h?
False
Let g = -57229/118 - -485. Let l be (-5361)/(-12036)*-2 + 1. Let z = l + g. Are z and 6 unequal?
True
Suppose 0 = 4*k + o - 167 - 829, 0 = k - 2*o - 258. Suppose -517 = -5*q - 2*r, 42 - k = -2*q - 2*r. Is 101 >= q?
False
Let a = -60 - -86. Let h = a - 25.85. Let u = h - 0.15. Which is greater: u or -22?
u
Let c(k) = 385*k**3 - k**2 + k + 1. Let t be c(-1). Let h = 116825 - 117211. Is h greater than or equal to t?
True
Let f = -64 - -63.993. Let b = -5.041 + -5.966. Let o = b - f. Do o and 2/3 have the same value?
False
Let z = 1988845/11 + -180677. Let r = z + -127. Which is greater: -