 k equal to o?
True
Let z be 1/13*2 + (-50016)/624. Let d = 70 + z. Let q be 50/(-60)*(-4)/d. Which is greater: q or -5?
q
Let m be 2/8 + 99/36. Suppose 2*b - 11 = a, 2*a + m*a + b = 0. Which is bigger: -1/132 or a?
-1/132
Suppose c = 2*d - 17 + 8, d - 10 = -5*c. Are 26/83 and c non-equal?
True
Let z = -32747 + 32895.99. Let k = z + -149. Which is smaller: 0.1 or k?
k
Let r be 3/(168/(-721)) + 1/(-8). Let z(g) = -14*g - 35. Let u be z(r). Suppose 0*j = 7*j - u. Is 21 greater than j?
False
Let z = 4.87 - 0.87. Let a = 54 - 53.44. Let i = 9.56 - a. Which is smaller: z or i?
z
Let n(o) = -4*o + 16. Let j be n(3). Suppose 0 = j*d - 190 - 190. Is d bigger than 95?
False
Let j = -192 + 949/5. Let z = -0.7 + -1.8. Let y = z - -3.5. Which is greater: j or y?
y
Let y be (-21)/(-126) - 1/6. Is y > 2/62089?
False
Suppose g = 4*g + 54. Let h(u) = 6*u**2 - 777*u**3 + 29*u + 36 + 154 + 778*u**3 + 11*u**2. Let w be h(-16). Is w at most g?
True
Let j be (-6004)/474*1/((-2)/102). Which is smaller: j or 642?
642
Let r = 258 - 307. Let s = r - -51. Which is bigger: s or -0.006?
s
Suppose 4*x + 0*x = 52. Let t be (-2 - (-4 - -1))/x. Is -1 != t?
True
Suppose -124 = -10*z - 534. Suppose 4*p = -l - 169, -2*l - 36 = -26. Are p and z non-equal?
False
Let g = -217 + 223. Suppose -g*r + 7*r = 16. Is 21 smaller than r?
False
Let z = 1029 + -2008. Is 0 at most z?
False
Let s be 5 + -1 + -1 + 3. Suppose 4*v + 20 = s*i - 2*i, 5*i - 23 = 4*v. Suppose -4*b + i - 7 = 0. Is -1/9 not equal to b?
True
Let k = 109.4 - 38.3. Let t = -6.9 - k. Let g = 56 + t. Which is smaller: -0.1 or g?
g
Let l = -23 + 8. Let k be 1*65/l - 2. Let v = 13 + -19. Which is smaller: v or k?
k
Suppose -5*r - 532 = 173. Let c be (270/r + 2)*1. Is c less than 1?
True
Let s = 93 + -91. Suppose 4*h + 5*t = -210, 0 = -s*h + h + t - 48. Is h at least 0?
False
Let j be (-99)/(-44) - (-1)/(-1). Let r = 318 + -316. Is r equal to j?
False
Let y = -0.437 - -0.437. Let c = 545 + -547.5. Is y bigger than c?
True
Suppose 5*l + 92 + 6 = 2*p, 4*l + 52 = -5*p. Is l != -14?
True
Let x = -52708.053 + 52552. Let j = x + 156. Which is bigger: -3/5 or j?
j
Let z(f) = -4*f - 61. Let s(q) = -8*q - 121. Let g(w) = 4*s(w) - 9*z(w). Let n be g(-16). Let d be n/10*-8*(-115)/2. Which is smaller: d or 47?
d
Let j be ((-128)/896)/((-2)/2114). Is -4 at least as big as j?
False
Let a be (-246)/(-57)*(-70 - -68). Which is bigger: a or -9?
a
Let n(w) = -w**2 + 12*w - 21. Let h be n(7). Let s = h + -13. Let m be (-3)/1 + (11 - (s + 4)). Which is bigger: 2 or m?
m
Let d = -87 + 66. Let r = -20 - d. Suppose 4 - r = t. Which is bigger: 2 or t?
t
Let g be (-90)/(-270) - (30/(-303))/((-216)/727). Which is smaller: 1 or g?
g
Suppose -3*w + 4*w = 5*r + 117, -w - 99 = 4*r. Let m be (0 + -1)/(6/r*-4). Let j be ((-45)/33 + 2)/m. Is -2 less than or equal to j?
True
Let z = -7 - -5. Let c be (-265)/16 - 855/(-342) - -13. Is c less than or equal to z?
False
Let z = -198415 - -198421. Let x = -0.36 + 4.46. Which is smaller: z or x?
x
Suppose -3*n + 106 = -y + 3*y, -4*y - n = -212. Suppose -221 + y = -3*j. Suppose j = -27*v + 20*v. Which is smaller: v or -4?
v
Suppose -2*r + 9 = 4*g - 19, 10 = g - r. Suppose 0 = -3*d - g + 416. Suppose -4*z = 3*t + d, -t = -2*z + 4*t - 42. Is -30 greater than z?
True
Let s = 4338747509/93 - 46653759. Let w = s + 560. Is w less than or equal to -1?
False
Let z = -346 + 264. Let c = z + 166/3. Which is smaller: -28 or c?
-28
Let u = -16/485 + 28/3201. Is 0 smaller than u?
False
Let q be (-10 - -131855)/(-7) - (-28)/4. Is -18829 > q?
False
Suppose 82*d = 57*d + 150. Let x be 8 + (-36)/d - -26. Which is greater: x or 26?
x
Let g = 1445.0644 + -1445. Which is bigger: g or -10?
g
Let n be -1 + 75 + (0 - 0/(-3)). Let m = n + -70. Suppose 0 = -4*r - 5*x + 16, -2*x = -x - m. Which is greater: r or 1/19?
1/19
Let s be 7/9 + -1 + (-352)/198. Let h = s + 116. Is h greater than or equal to 115?
False
Let n be (-3)/(-9) - 242*18/12888. Is n at least as big as 1?
False
Let t = 215 - 60. Let l = -180 + t. Which is smaller: l or -1/4?
l
Let i = 8873 - 8920. Which is bigger: i or 0.05?
0.05
Let h = -3/176567 + -110957/3861520290. Is h > 1?
False
Suppose 259*n = 265*n + 21678. Do 1 and n have different values?
True
Suppose 4*d - 18 = 2*y, -5*y + 3*d + 44 = 54. Which is bigger: -34/87 or y?
y
Let h be (3024/30)/24 + (-1)/5. Which is greater: h or 2/15?
h
Let b(t) = 259*t + 2331. Let v be b(-9). Are v and 19918 equal?
False
Let h be 8/(56/(-49)) - -6. Let y be (-8 + -2)*((-42)/(-10))/h. Which is smaller: 44 or y?
y
Let j be (-36)/24*(3 + -7 - 14). Suppose j*x - 48 = 21*x. Is -2.7 at least as big as x?
False
Let o be -3*(-8)/(-108) - (-247)/342. Which is smaller: o or -29.85?
-29.85
Let v be -2 - ((-18)/63 - (-360)/(-14)). Let m(a) = a + 0*a**3 + 14*a - v*a + 5 + 3*a**2 + a**3. Let o be m(-5). Which is greater: 3/80 or o?
3/80
Let g be ((-5)/1375)/(48/159640). Let j = g - -178/15. Suppose -s - 3*s = 0. Which is smaller: s or j?
j
Let j(y) = y**2 + 7*y + 12. Let l be j(-6). Let p(x) = 2*x**3 - 2*x**2 + 8. Let v be p(0). Which is bigger: l or v?
v
Suppose 5*d - 9*d - v = 869, 5*v + 241 = -d. Which is greater: -1086/5 or d?
d
Suppose 45 = -4*r - 4*j + 73, 0 = 4*j - 32. Are r and -2/4977 equal?
False
Let s = -12 - -7. Let r = -493.2 - -436. Let g = -57 - r. Which is smaller: s or g?
s
Let j(k) = k**2 - 20*k + 146. Let r be j(26). Are r and -1/6 equal?
False
Suppose -o = 4*x - 0*x + 25, -o = x + 7. Let c(l) be the third derivative of -l**5/60 - 7*l**4/8 - 115*l**3/6 - 12*l**2 + 8. Let j be c(-10). Is j < x?
False
Let j = -0.1 + -0.4. Suppose -489 - 1473 = 109*h. Which is greater: j or h?
j
Let n(f) = f**2 - 10*f - 11. Let d be n(11). Suppose s + 3*s - 9*s = d. Suppose -5*w + s*w - 5 = 0. Is 1/12 bigger than w?
True
Suppose -h + 27 - 17 = 0. Suppose 6*x = h*x - 20. Suppose 5*u - 7 - 6 = 3*v, v + 3*u = x. Are v and -4 nonequal?
True
Let j = 54240829/1681 + -32267. Is j greater than or equal to 0?
True
Let q be (-9 - 99)/(-3)*4/1. Let v = -143 + q. Which is smaller: 15/23 or v?
15/23
Let v = 408.3964 + 0.2036. Let b = -408 + v. Is -45 at most as big as b?
True
Suppose -6*w - 108 = -18. Let f be (-49)/35 - (-2 + (-24)/w). Is f less than 3/40?
True
Let c be (34/8)/((-2)/(-8)). Let b(d) = -1499*d + 34497. Let s be b(23). Is s >= c?
True
Let o = -7.15 - 2070.85. Which is greater: 1 or o?
1
Let f(r) = -r**3 + 10*r**2 - 8*r - 5. Let y be f(9). Let t be 197/846 - y/18. Let n = -4 - -3. Which is smaller: n or t?
n
Let p be -11 + -4 + 60/75 + 12. Let y be (-5)/(-4) - 2/2. Which is smaller: y or p?
p
Suppose 2*l - 2*p = 2234, -20*p - 1129 = -l - 17*p. Which is bigger: l or -1?
l
Let j = -46.05 - -45.981. Is j bigger than -1?
True
Let u = -7657 + 7977. Which is smaller: 3506/11 or u?
3506/11
Let x = 1.696 - 1.596. Is x at most as big as -0.746?
False
Let h = -2.29 + -8.61. Let g = 11 + h. Let i(k) = -k**2 - 84*k - 1600. Let n be i(-29). Do g and n have the same value?
False
Let q = 11695 - 11657. Which is bigger: -4/9 or q?
q
Let t be (-10)/65 - 446/(-26). Suppose 0 = 3*c - t + 5. Let p be (-10)/25 + (-6)/(-2). Is c at least p?
True
Let t = -166788 + 166788. Let f = 11.8 - 0.8. Is t > f?
False
Let f = -12882 + 12942. Which is smaller: f or 72?
f
Let f(m) = 133*m**2 - 579*m - 1715. Let d be f(-3). Which is bigger: 1216 or d?
d
Let w be 20*(-19)/(-1140)*9/3. Is -630 bigger than w?
False
Let n = 134 + -28. Let a = -108 + n. Is a greater than or equal to 5/3?
False
Let u = -3756 - -5333. Is 1577 equal to u?
True
Let k(q) be the first derivative of 2*q**2 - 90*q + 47. Let u be k(23). Are u and 9/4 non-equal?
True
Suppose -19*v + 6 = -22*v. Let q be 46/23*((-18)/(-4) + v). Suppose -5*x = 5*t + q, -1 = -3*t + 2*t - 3*x. Which is greater: 3/7 or t?
3/7
Let f = -5435 + 6201. Which is bigger: 775 or f?
775
Let w be (84/(-6) - -12) + 1931. Do 1930 and w have the same value?
False
Let u be ((-75)/(-60))/((-85)/102) + 3/6. Let z(t) = -5*t**3 - 2*t**2 + 1. Let x be z(-1). Suppose -x*h = -2*h. Which is smaller: h or u?
u
Let d = -3169 + 2838. Is -332 != d?
True
Let k be 1*8 + 25 + -30. Suppose k*v - 2 = x, 12*v - 11*v - 4*x = 19. Is v != 2/57?
True
Let j(q) = -2*q - 116. Let r be j(-51). Which is bigger: r or 18?
18
Suppose -g + u + 23 = 0, -7 + 22 = -3*u. Suppose -126 =